A New–old Characterisation of Logical Knowledge

History and Philosophy of Logic 33 (3):245 - 290 (2012)
We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340.2012.675631
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 23,217
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
K. R. Popper (1966). Conjectures and Refutations. Les Etudes Philosophiques 21 (3):431-434.

View all 93 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Ernest Lepore & Kirk Ludwig (2002). What is Logical Form? In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press 54--90.
Kevin C. Klement (2004). Propositional Logic. Internet Encyclopedia of Philosophy.
Nicholas J. J. Smith (2012). Many-Valued Logics. In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. Routledge 636--51.
Peter Mittelstaedt (1978). The Metalogic of Quantum Logic. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:249 - 256.
Kevin C. Klement (2003). Russell-Myhill Paradox. Internet Encyclopedia of Philosophy.
Corine Besson (2009). Logical Knowledge and Gettier Cases. Philosophical Quarterly 59 (234):1-19.
R. Gregory Taylor (2008). Symmetric Propositions and Logical Quantifiers. Journal of Philosophical Logic 37 (6):575 - 591.

Monthly downloads

Added to index


Total downloads

32 ( #148,315 of 1,932,454 )

Recent downloads (6 months)

1 ( #456,114 of 1,932,454 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.