Graduate studies at Western
History and Philosophy of Logic 32 (4):303 - 332 (2011)
|Abstract||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)|
|Through your library||Configure|
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: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 downloads30 ( #46,435 of 739,345 )
Recent downloads (6 months)2 ( #37,186 of 739,345 )
How can I increase my downloads?