all tags

philosophy-of-science

30 notes carry this tag — 17 claims, 2 observations, 2 questions, 8 captures, 1 essay. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Essays

• 
  the raven that lowered the belief
  essay drafting 2026-08-23 · confirmation-theory, solomonoff-induction, philosophy-of-science, algorithmic-information-theory, epistemics

Everything else

• Polanyi's Logic of Liberty is textually continuous with his later tacit-knowledge epistemology, not a separate chapter of his life
  claim seedling Tier 1 2026-09-12 · michael-polanyi, tacit-knowledge, spontaneous-order, logic-of-liberty, fiduciary
• Michael Polanyi's tacit-knowledge epistemology influenced Hubert Dreyfus's critique of 'First Generation' artificial intelligence
  claim seedling Tier 4 2026-09-09 · michael-polanyi, tacit-knowledge, dreyfus, ai-critique, philosophy-of-science
• Michael Polanyi person-bridges the vault's AI-automation, philosophy-of-science, and Liberty Fund/Mont Pelerin clusters — invisible to vault_bridge
  capture promoted Tier 3 2026-09-08 · epistemology, tacit-knowledge, mont-pelerin-society, liberty-fund, person-bridge
• The 'law of the instrument' was named by philosopher Abraham Kaplan (1962/1964) and has print ancestors to 1868, predating the wording popularly credited to Maslow (1966)
  claim seedling Tier 2 2026-09-05 · quote-investigation, law-of-the-instrument, misattribution, historiography, philosophy-of-science
• Stent's 'here-and-now prematurity' applies the concept to hypotheses of unresolved or contested truth value, not only to vindicated discoveries
  claim seedling Tier 1 2026-09-05 · history-of-science, philosophy-of-science, prematurity, delayed-vindication, epistemics
• Stent's three worked examples of prematurity — Avery, Mendel, Polanyi — are in every case later-vindicated correct discoveries
  claim seedling Tier 1 2026-09-05 · history-of-science, philosophy-of-science, prematurity, delayed-vindication, genetics
• Strevens (2003) argues the priority rule functions as a device for efficiently allocating research labor, driven by the winner-confers-all structure of scientific benefit
  claim seedling Tier 1 2026-09-05 · philosophy-of-science, priority-rule, michael-strevens, division-of-cognitive-labor, resource-allocation
• Strevens (2003) explicitly does not prove Priority achieves the optimal allocation in the winner-confers-all case — only that it moves allocation in the efficient direction
  claim seedling Tier 1 2026-09-05 · philosophy-of-science, priority-rule, michael-strevens, resource-allocation, scope-limit
• Strevens's mechanism transforms a resource-based reward scheme (Marge) into an achievement-based (Goal) then priority-only (Priority) scheme, with risk aversion shifting labor toward higher-potential programs
  claim seedling Tier 1 2026-09-05 · philosophy-of-science, priority-rule, michael-strevens, mechanism-design, risk-aversion
• Strevens (2003) reinterprets Merton's 'Arago effect' — priority awarded no matter how thin the margin — as functionally rational, against Merton's own verdict that it is a dysfunctional pathology
  claim seedling Tier 1 2026-09-05 · philosophy-of-science, priority-rule, michael-strevens, robert-merton, arago-effect
• Does Strevens (2003) actually argue the priority rule is an economically optimal allocator of scientific labor, and what's the exact mechanism?
  capture promoted 2026-09-01 · priority-rule, michael-strevens, philosophy-of-science, division-of-cognitive-labor, robert-merton
• Verify Gunther Stent's 'prematurity' definition and scope condition against his primary 1972 Scientific American text
  capture promoted 2026-08-31 · history-of-science, philosophy-of-science, prematurity, delayed-vindication, source-verification
• Solomonoff induction, the formal basis of universal AI, violates Jean Nicod's 1930 criterion for how evidence should confirm a hypothesis
  capture promoted Tier 1 2026-08-14 · confirmation-theory, philosophy-of-science, algorithmic-information-theory, solomonoff-induction, cross-domain-bridge
• Nicod's 1930 criterion holds that observing a confirming instance increases belief in a universal generalization
  claim seedling Tier 1 2026-08-14 · confirmation-theory, philosophy-of-science, jean-nicod, raven-paradox, epistemics
• Does Grujicic (Synthese 2024) actually argue that RSA underdetermines DCNNs as mechanistic explanations because different similarity measures pick out different mechanisms with no arbitration?
  capture promoted Tier 1 2026-08-07 · underdetermination, mechanism, representational-similarity, rsa, dcnn-brain
• Grujicic's DCNN critique is framed on Craver & Kaplan's model-to-mechanism-mapping (3M) requirement and the how-actually/how-possibly distinction, not on Marr's levels — the word 'Marr' never appears in the paper
  claim seedling Tier 1 2026-08-07 · mechanism, philosophy-of-science, marr-levels, representational-similarity, dcnn-brain
• In Grujicic's account, correlation and Euclidean distance pick out different representational vehicles, so RSA's choice of similarity measure selects which mechanism-type is being compared
  claim seedling Tier 1 2026-08-07 · representational-similarity, rsa, similarity-measures, mechanism, representational-vehicle
• When evidence underdetermines theory choice, philosophy of science names the missing ingredient extra-evidential criteria, not more data
  claim budding Tier 2 2026-07-18 · underdetermination, philosophy-of-science, theory-choice, arbitration, epistemics
• Is 'arbitration' the general missing ingredient across the vault's underdetermination cases? RSA similarity-measure selection and the bridge=gap reading
  capture promoted Tier 1 2026-07-13 · underdetermination, arbitration, representational-similarity, rsa, gap-detection
• Herbert Butterfield's 1931 book defined 'Whig history' as the practice of studying the past with reference to the present
  claim seedling Tier 4 2026-07-12 · whig-history, historiography-of-ai, presentism, philosophy-of-science, cross-domain-bridge
• Representational similarity underdetermines shared mechanism — matching a target's output does not fix its underlying mechanism
  claim budding Tier 1 2026-07-12 · underdetermination, mechanism, representational-similarity, marr-levels, dnn-brain
• Stent's 'prematurity' criterion (Sci. Am. 1972): the definition is unconnectability to canonical knowledge; the correct-but-neglected scope holds for his paradigm cases but not his full concept
  claim budding Tier 1 2026-07-12 · history-of-science, philosophy-of-science, delayed-vindication, prematurity, epistemics
• Steven Weinberg argues Whig history is legitimate specifically for science, because scientific progress lets historians say who was right
  claim seedling Tier 2 2026-07-12 · whig-history, historiography-of-ai, presentism, philosophy-of-science, weinberg
• Two vault notes commit the same illegitimate cross-level inference in opposite directions across Marr's stack — a validated substrate launders an unvalidated reading (substrate-laundering)
  observation seedling Tier 3 2026-07-12 · underdetermination, marr-levels, substrate-laundering, mechanism, epistemics
• Butterfield/Weinberg's whig-history critique does not sort the vault's AI-history myth-ledger cleanly into two kinds — a hero/villain-narrative mode and a residual bibliometric/scope-conflation mode resist the binary
  observation seedling 2026-07-12 · whig-history, historiography-of-ai, presentism, myth-ledger, philosophy-of-science
• Does Grujicic (Synthese 2024) actually argue that RSA underdetermines DCNNs as mechanistic explanations because different similarity measures pick out different mechanisms with no arbitration?
  question answered 2026-07-12 · underdetermination, mechanism, representational-similarity, dnn-brain, philosophy-of-science
• Verify Gunther Stent's 'prematurity' definition and scope condition against his primary 1972 Scientific American text
  question answered 2026-07-12 · history-of-science, philosophy-of-science, prematurity, delayed-vindication, source-verification
• Substrate-laundering — output resemblance underdetermines mechanism, and the substrate's rigor is the vector of the error
  capture promoted Tier 2 2026-07-11 · underdetermination, marr-levels, mechanism, epistemics, cross-domain-bridge
• Whig history names what the vault's AI-history myth-ledger polices — and Weinberg's science exemption complicates it
  capture promoted Tier 2 2026-07-11 · whig-history, historiography-of-ai, presentism, credit-assignment, backpropagation