Springer International Publishing (2014)
AbstractIn the Tractatus, it is stated that questions about logical formatting cannot be meaningfully formulated, since it is precisely the application of logical rules which enables the formulation of a question whatsoever; analogously, Wittgenstein’s celebrated infinite regress argument on rule-following seems to undermine any explanation of deduction, as relying on a logical argument. On the other hand, some recent mathematical developments of the Curry-Howard bridge between proof theory and type theory address the issue of describing the “subjective” side of logic, that is, the concrete manipulation of rules and proofs in space and time. It is advocated that such developments can shed some light on the question of logical formatting and its apparently unintelligible paradoxes, thus reconsidering Wittgenstein’s verdict.
Added to PP
Historical graph of downloads
Similar books and articles
Foundation of Mathematics Between Theory and Practice.Giorgio Venturi - 2014 - Philosophia Scientae 18:4580.
Johnson, MacIntyre, and the Practice of Argumentation.Tone Kvernbekk - 2008 - Informal Logic 28 (3):262-278.
Ethnomethodology and the Logic of Practice.Michael Lynch - 2001 - In Theodore R. Schatzki, K. Knorr-Cetina & Eike von Savigny (eds.), The Practice Turn in Contemporary Theory. Routledge. pp. 131--148.
CP-Logic: A Language of Probabilistic Causal Laws and Its Relation to Logic Programming.J. Vennekens, M. Denecker & M. Bruynooghe - 2009 - Theory and Practice of Logic Programming 9 (3):245-308.
On Ramsey's Theorem and the Axiom of Choice.Gabriele Lolli - 1977 - Notre Dame Journal of Formal Logic 18 (4):599-601.
On Morality and Logic in Medical Practice: Commentary on 'A Critical Appraisal of Evidence‐Based Medicine: Some Ethical Considerations' (Gupta 2003; Journal of Evaluation in Clinical Practice 9, 111–121). [REVIEW]Eyal Shahar - 2003 - Journal of Evaluation in Clinical Practice 9 (2):133-135.
Argumentation in Theory and Practice: Gap or Equilibrium?Tone Kvernbekk - 2012 - Informal Logic 32 (3):288-305.
Actual Causation in CP-Logic.Vennekens Joost - 2011 - Theory and Practice of Logic Programming 11:647-662.
The Lost Path to Emancipatory Practice: Towards a History of Reflective Practice in Nursing.Sioban Nelson - 2012 - Nursing Philosophy 13 (3):202-213.
An Inquiry Into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino
Defending Maddy’s Mathematical Naturalism From Roland’s Criticisms: The Role of Mathematical Depth.Marina Imocrante
A Geometrical Constructive Approach to Infinitesimal Analysis: Epistemological Potential and Boundaries of Tractional Motion.Pietro Milici
978-3-319-10433-1 3319104330 9783319104331
References found in this work
No references found.
Citations of this work
No citations found.