What Does It Mean to Say That Logic is Formal?

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

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,365
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

Buddhist Philosophy of Logic.Koji Tanaka - 2013 - In Steven Michael Emmanuel (ed.), Blackwell Companion to Buddhist Philosophy. Chichester: Wiley-Blackwell. pp. 320-330.
Frege, Kant, and the Logic in Logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.

View all 38 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
155 ( #49,719 of 2,271,612 )

Recent downloads (6 months)
10 ( #93,190 of 2,271,612 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature