History and Philosophy of Logic 32 (4):303 - 332 (2011)
AbstractWhat 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
Similar books and articles
What Does It Mean to Say That Logic is Formal?John MacFarlane - 2000 - Dissertation, University of Pittsburgh
The Relation Between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
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.
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
Fractal Images of Formal Systems.Paul St Denis & Patrick Grim - 1997 - Journal of Philosophical Logic 26 (2):181-222.
The Logic of 'Being Informed' Revisited and Revised.Patrick Allo - 2011 - Philosophical Studies 153 (3):417-434.
Logic with Trees: An Introduction to Symbolic Logic.Colin Howson - 1997 - Routledge.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
A Structural Investigation on Formal Topology: Coreflection of Formal Covers and Exponentiability.Maria Emilia Maietti & Silvio Valentini - 2004 - Journal of Symbolic Logic 69 (4):967-1005.
Added to PP
Historical graph of downloads
Citations of this work
A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2021 - Synthese 198 (8):7073-7096.
The Normativity of Kant's Logical Laws.Jessica Leech - 2017 - History of Philosophy Quarterly 34 (4).
Mathematical Inference and Logical Inference.Yacin Hamami - 2018 - Review of Symbolic Logic 11 (4):665-704.
References found in this work
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Change in View: Principles of Reasoning, Cambridge, Mass.Gilbert Harman - 1986 - Behaviorism 16 (1):93-96.