What Does It Mean to Say That Logic is Formal?

Dissertation, University of Pittsburgh (2000)
  Copy   BIBTEX

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?

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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 and New York: 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
2009-01-28

Downloads
208 (#59,365)

6 months
11 (#74,711)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John MacFarlane
University of California, Berkeley

Citations of this work

Frege, Kant, and the Logic in Logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
Logical Predictivism.Ben Martin & Ole Hjortland - 2021 - Journal of Philosophical Logic 50 (2):285-318.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.

View all 72 citations / Add more citations

References found in this work

No references found.

Add more references