Dissertation, University of Pittsburgh (2000)

Authors
John MacFarlane
University of California, Berkeley
Abstract
Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say that logic is distinctively formal?
Keywords logic  formality
Categories (categorize this paper)
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: 57,156
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

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Frege, Kant, and the Logic in Logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.

View all 49 citations / Add more citations

Similar books and articles

The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
Transcendental Logic Redefined.Manuel Bremer - 2008 - Review of Contemporary Philosophy 7.
Formal Logic and Formal Ontology in Husserl's Phenomenology.Frederick James Crosson - 1962 - Notre Dame Journal of Formal Logic 3 (4):259-269.
An Introduction to Formal Logic.Peter Smith - 2003 - Cambridge University Press.
The Logic of 'Being Informed' Revisited and Revised.Patrick Allo - 2011 - Philosophical Studies 153 (3):417-434.
Fractal Images of Formal Systems.Paul St Denis & Patrick Grim - 1997 - Journal of Philosophical Logic 26 (2):181-222.
Predicative Logic and Formal Arithmetic.John P. Burgess & A. P. Hazen - 1998 - Notre Dame Journal of Formal Logic 39 (1):1-17.

Analytics

Added to PP index
2009-01-28

Total views
174 ( #54,957 of 2,411,744 )

Recent downloads (6 months)
13 ( #52,174 of 2,411,744 )

How can I increase my downloads?

Downloads

My notes