Cosma Home > Communication > Knowledge > Form > General > Foundation > Theory > Philosophy > Logic



Philosophy Metaphysics, Logic, Epistemology, Ethics, Aesthetics


These are organized by a classification scheme developed exclusively for Cosma. More…



Logic and Philosophy of Logic (Edited by Aleksandra Samonek, PhilPapers)
Logic Portal (Wikipedia)


logic : a science that deals with the principles and criteria of validity of inference and demonstration — Webster See also Oxford, OneLook, Free Dictionary, Wiktionary, InfoPlease, Word Reference, Urban Dictionary

Dictionary of Philosophical Terms & Names


Roget’s II (Thesaurus.com), Merriam-Webster Thesaurus, Visuwords


|Glossary of First-Order Logic (Peter Suber, Earlham College)


Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science. Logic examines general forms which arguments may take, which forms are valid, and which are fallacies. In philosophy, the study of logic figures in most major areas: epistemology, ethics, metaphysics. In mathematics, it is the study of valid inferences within some formal language. — Wikipedia (Categories, Index of Articles)

Internet Encyclopedia of Philosophy
The Routledge Encyclopedia of Philosophy
Logic (David Darling’s Internet Encyclopedia of Science)
Britannica, Columbia (Infoplease)


Logic (Garth Kemerling, Philosophy Pages)
What is Logic? (Steve Palmquist, Hong Kong Baptist University)
Factasia: Logic (R.B. Jones)
Logic: Finding The Right Patterns (Andrea Borghini, About.com)
Logic for Dummies (Dummies.com)


Outline of Logic (Wikipedia)



The History of Logic from Aristotle to Gödel and Its Relationship with Ontology (Raul Corazzon)
The Oxford Companion to Philosophy (Peter King & Stewart Shapiro)
The history of formal mathematical, logical, linguistic, and methodological ideas (Dictionary of the History of Ideas)
History of Logic (Wikipedia)


Quotations Page Bartlett’s


WorldCat, Library of Congress, UPenn Online Books, Open Library


Logic (Sundar Sarukkai, Oxford Bibliographies)
John Halleck’s Logic Bibliography




OER Commons: Open Educational Resources
Open Education Consortium



Occupational Outlook Handbook


Association for Symbolic Logic
Association for Informal Logic & Critical Thinking


Conference Alerts Worldwide (Conal)






Journal of Philosophical Logic (Association for Symbolic Logic)
Journal of Symbolic Logic (Association for Symbolic Logic)
NPR Archives








The Philosophical Lexicon (Daniel Dennett and Asbjørn Steglich-Petersen)
Philosophical Humor-An Oxymoron? (Cheryl and Michael Patton)
Patton’s Argument 101 (Cheryl and Michael Patton)
Patton’s Argument Clinic (Cheryl and Michael Patton)
The Socrates Argument Clinic (Cheryl and Michael Patton)


OEDILF: The Omnificent English Dictionary In Limerick Form



Latest Results The latest content available from Springer

  • Exclusion Problems and the Cardinality of Logical...
    on December 1, 2017 at 12:00 am

    Abstract Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended (in principle) in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for […]

  • Rosy with Sider? The Case of the Metaphysical Liar
    on September 14, 2017 at 12:00 am

    Abstract An important trend in contemporary metaphysics denies that the structure of natural language is an important datum for investigating fundamental structure. Ted Sider proceeds on this basis to propose a metaphysical semantics for natural language. Within this framework he argues that natural language and a fundamental, ‘jointcarving’, language could be subject to distinct logics. Developing an argument of Hartry Field’s, I show that Sider’s […]

  • On Sahlqvist Formulas in Relevant Logic
    on August 22, 2017 at 12:00 am

    Abstract This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show that some classes of Routley-Meyer frames definable by a relevant formula are not elementary. […]

  • Williamson on Counterpossibles
    on August 16, 2017 at 12:00 am

    Abstract A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections. […]

  • Axiomatic Theories of Partial Ground II
    on August 4, 2017 at 12:00 am

    Abstract This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is a proof-theoretically […]