David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 32 (4):303 - 332 (2011)
What does it mean to say that logic is formal? The short answer is: it means (or can mean) several different things. In this paper, I argue that there are (at least) eight main variations of the notion of the formal that are relevant for current discussions in philosophy and logic, and that they are structured in two main clusters, namely the formal as pertaining to forms, and the formal as pertaining to rules. To the first cluster belong the formal as schematic; the formal as indifference to particulars; the formal as topic-neutrality; the formal as abstraction from intentional content; the formal as de-semantification. To the second cluster belong the formal as computable; the formal as pertaining to regulative rules; the formal as pertaining to constitutive rules. I analyze each of these eight variations, providing their historical background and raising related philosophical questions. The significance of this work of ?conceptual archeology? is that it may enhance clarity in debates where the notion of the formal plays a prominent role (such as debates where it is expected to play a demarcating role), but where it is oftentimes used equivocally and/or imprecisely
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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
Gilbert Harman (1986). Change in View. MIT Press.
Stephen Cole Kleene (1952). Introduction to Metamathematics. North Holland.
Peter Smith (2013). An Introduction to Gödel's Theorems. Cambridge University Press.
Béatrice Longuenesse (1998). Kant and the Capacity to Judge: Sensibility and Discursivity in the Transcendental Analytic of the "Critique of Pure Reason". Princeton University Press.
Hartry Field (2009). What is the Normative Role of Logic? Aristotelian Society Supplementary Volume 83 (1):251-268.
Citations of this work BETA
John Corcoran & Hassan Masoud (2014). Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions. History and Philosophy of Logic 36 (1):39-61.
Matthew Duncombe & Catarina Dutilh Novaes (2016). Dialectic and Logic in Aristotle and His Tradition. History and Philosophy of Logic 37 (1):1-8.
Elena Ficara (2013). Dialectic and Dialetheism. History and Philosophy of Logic 34 (1):35-52.
Stephen Read (2015). Semantic Pollution and Syntactic Purity. Review of Symbolic Logic 8 (4):649-661.
Fenner Tanswell (2015). A Problem with the Dependence of Informal Proofs on Formal Proofs. Philosophia Mathematica 23 (3):295-310.
Similar books and articles
John MacFarlane (2000). What Does It Mean to Say That Logic is Formal? Dissertation, University of Pittsburgh
Ralph H. Johnson (1999). The Relation Between Formal and Informal Logic. Argumentation 13 (3):265-274.
Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.
Harry J. Gensler (1996). Formal Ethics. Routledge.
Peter Smith (2003). An Introduction to Formal Logic. Cambridge University Press.
Barry Smith & David Murray (1981). Logic, Form and Matter. Aristotelian Society Supplementary Volume 55 (1):47 - 74.
Paul St Denis & Patrick Grim (1997). Fractal Images of Formal Systems. Journal of Philosophical Logic 26 (2):181-222.
Patrick Allo (2011). The Logic of 'Being Informed' Revisited and Revised. Philosophical Studies 153 (3):417-434.
Emma Borg (2004). Formal Semantics and Intentional States. Analysis 64 (3):215–223.
Giovanni Boniolo & Silvio Valentini (2012). Objects: A Study in Kantian Formal Epistemology. Notre Dame Journal of Formal Logic 53 (4):457-478.
Barry Smith & Kevin Mulligan (1983). Framework for Formal Ontology. Topoi 2 (1):73-85.
Maria Emilia Maietti & Silvio Valentini (2004). A Structural Investigation on Formal Topology: Coreflection of Formal Covers and Exponentiability. Journal of Symbolic Logic 69 (4):967-1005.
Added to index2011-10-19
Total downloads64 ( #69,164 of 1,911,741 )
Recent downloads (6 months)4 ( #180,473 of 1,911,741 )
How can I increase my downloads?