Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/oxford-university-press/analytic-and-synthetic-in-logic-edSxK3m18i
References (9)
-
P. Lincoln (1992)
Linear logicSIGACT News, 23
-
G. Gentzen (1935)
Untersuchungen über das logische Schließen. IMathematische Zeitschrift, 39
-
G. Gentzen (1935)
Untersuchungen über das logische Schließen. IIMathematische Zeitschrift, 39
-
W. Howard (1969)
The formulae-as-types notion of construction -
K. Gödel (1931)
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik und Physik, 38
-
J. Girard (1971)
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des TypesStudies in logic and the foundations of mathematics, 63
-
L. Milne-Thomson (1935)
Grundlagen der MathematikNature, 136
-
M. Nivat (1988)
Fiftieth volume of theoretical computer scienceTheoretical Computer Science, 50
-
(1929)
Über die Vollständigkeit des Logikkalkülus
- Publisher
- Oxford University Press
- Copyright
- © The Author 2016. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oup.com
- ISSN
- 1367-0751
- eISSN
- 1368-9894
- DOI
- 10.1093/jigpal/jzw015
- Publisher site
- See Article on Publisher Site
Abstract
AbstractFirst, I will introduce the distinction between analytic and synthetic as a partition of propositions, proofs, programs and definitions, as an extension of the distinction between analytic categorical propositions and synthetic categorical propositions in ancient Logic. Secondly, I will discuss some logical questions concerning the distinction between analytic and synthetic, and I will present main results obtained in mathematical logic as answers to the logical questions concerning the relationships between analytic and synthetic.
Journal
Logic Journal of the IGPL – Oxford University Press
Published: Aug 1, 2016