Springer International Publishing (2015)

Authors
Giorgio Venturi
University of Campinas
Marco Panza
Centre National de la Recherche Scientifique
Abstract
In 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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Buy this book $100.45 new (22% off)   $123.41 used (4% off)   $129.00 from Amazon    Amazon page
ISBN(s) 978-3-319-10433-1   9783319104331   3319104330
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,025
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

From the Logic of Labor to the Logic of Practice.Xia Long - 2010 - Modern Philosophy 4:19-23 + 71.
Logic in Theory and Practice.Charles Gray Shaw - 1935 - New York: Prentice-Hall.
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.
On Ramsey's Theorem and the Axiom of Choice.Gabriele Lolli - 1977 - Notre Dame Journal of Formal Logic 18 (4):599-601.
Logic: Theory and Practice.M. K. Rennie - 1973 - Brisbane, University of Queensland Press.
Actual Causation in CP-Logic.Vennekens Joost - 2011 - Theory and Practice of Logic Programming 11:647-662.
Preservation of Suslin Trees and Side Conditions.Giorgio Venturi - 2016 - Journal of Symbolic Logic 81 (2):483-492.

Analytics

Added to PP index
2017-08-23

Total views
6 ( #1,088,410 of 2,439,586 )

Recent downloads (6 months)
2 ( #282,563 of 2,439,586 )

How can I increase my downloads?

Downloads

My notes