Idealization, mechanism, and knowability

DOI10.1093/ACPROF:OSO/9780198759591.003.0008zbMATH Open1433.03009OpenAlexW2555862146MaRDI QIDQ5221595FDOQ5221595

Stewart Shapiro

Publication date: 2 April 2020

Published in: Gödel's Disjunction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198759591.003.0008

Recommendations

• Incompleteness, Mechanism, and Optimism
• Intuitionists Are Not (Turing) Machines
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• scientific article; zbMATH DE number 3853029
• Réalisme et antimécanisme chez K. Gödel

zbMATH Keywords

mechanismLucasPenroseabsolute undecidabilityabsolute provability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40) Turing machines and related notions (03D10) Undecidability and degrees of sets of sentences (03D35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cited In (5)

• Title not available (Why is that?)
• Absolute knowledge and scientific knowledge: A computational view
• Labelling ideality and subideality
• Idealizations, Intertheory Explanations and Conditionals
• The explanatory dispensability of idealizations

This page was built for publication: Idealization, mechanism, and knowability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5221595)