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 OneLook, Free Dictionary, Wiktionary, 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 (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)


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


The Logic Museum


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


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




A crash course in formal logic (YouTube Channel)
OER Commons: Open Educational Resources



Association for Symbolic Logic
Association for Informal Logic & Critical Thinking


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

PhilPapers: Logic and Philosophy of Logic (Edited by Aleksandra Samonek, Jagiellonian University)
Logic Eprints (arXiv, Los Alamos Mathematical Archive of eprints)








Zebra Puzzle (Wikipedia)
Riddles YouTube Channel (Ted-Ed)

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)


Logic Puzzle (Wikipedia)
Logic Puzzles.org
Puzzles, Riddles & Brain Teasers (Brain Den)


OEDILF: The Omnificent English Dictionary In Limerick Form



Latest Results The latest content available from Springer

  • The Modal Logic of Bayesian Belief Revision
    on December 3, 2018 at 12:00 am

    Abstract In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the […]

  • Stabilizing Quantum Disjunction
    on December 1, 2018 at 12:00 am

    Abstract Since the appearance of Prior’s tonk, inferentialists tried to formulate conditions that a collection of inference rules for a logical constant has to satisfy in order to succeed in conferring an acceptable meaning to it. Dummett proposed a pair of conditions, dubbed ‘harmony’ and ‘stability’ that have been cashed out in terms of the existence of certain transformations on natural deduction derivations called reductions and expansions. […]

  • Partial Semantics for Quantified Modal Logic
    on December 1, 2018 at 12:00 am

    Abstract When it comes to Kripke-style semantics for quantified modal logic, there’s a choice to be made concerning the interpretation of the quantifiers. The simple approach is to let quantifiers range over all possible objects, not just objects existing in the world of evaluation, and use a special predicate to make claims about existence (an existence predicate). This is the constant domain approach. The more complicated approach is to assign a domain of objects to […]

  • Six Problems in Pure Inductive Logic
    on November 19, 2018 at 12:00 am

    Abstract We present six significant open problems in Pure Inductive Logic, together with their background and current status, with the intention of raising awareness and leading ultimately to their resolution. […]

  • Implicit and Explicit Stances in Logic
    on November 16, 2018 at 12:00 am

    Abstract We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide […]