Necessity of thought

DOI10.1007/978-3-319-11041-7_4MaRDI QIDQ5213607zbMATH OpenOpenAlexFDO

Authors Cesare Cozzo

Publication date 4 February 2020

Published in Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11041-7_4

zbMATH Keywords

deductive necessitygroundsinferential compulsionlogical consequencevalid inference

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• A proof-theoretic view of necessity
• Categories for the working mathematician: making the impossible possible
• Grounding grounds necessity
• Possible ideas of necessity in Indian logic
• scientific article; zbMATH DE number 2101954

Cites work

• scientific article; zbMATH DE number 51086 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 761258 (Why is no real title available?)
• scientific article; zbMATH DE number 6130986 (Why is no real title available?)
• Philosophical logic
• The epistemic significance of valid inference
• Truth and proof in intuitionism
• Truth as an epistemic notion

Cited in

(9)

• Game of grounds
• Introduction: Inferences and proofs
• Inference and epistemic transparency
• Dag Prawitz on proofs, operations and grounding
• A notion of \(C\)-justification for empirical statements
• From proof-objects to grounds
• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
• Book review of: G. Lavers, Mathematics Is (mostly) analytic
• Possible ideas of necessity in Indian logic

This page was built for publication: Necessity of thought

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