Cosma Home > Communication > Knowledge > Form > General > Foundation > Theory > Philosophy > Logic
Spotlight
Related
Pages
Philosophy Metaphysics, Logic, Epistemology, Ethics, Aesthetics
Resources
These are organized by a classification scheme developed exclusively for Cosma. More…
General
Portal
Logic and Philosophy of Logic (Edited by Aleksandra Samonek, PhilPapers)
Logic Portal (Wikipedia)
Dictionary
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
Thesaurus
Roget’s II (Thesaurus.com), MerriamWebster Thesaurus, Visuwords
Glossary
Glossary of FirstOrder Logic (Peter Suber, Earlham College)
Encyclopedia
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
Britannica
Introduction
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
Preservation
History
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)
Quotation
Museum
Library
WorldCat, Library of Congress, UPenn Online Books, Open Library
Bibliography
Logic (Sundar Sarukkai, Oxford Bibliographies)
John Halleck’s Logic Bibliography
Participation
Education
Course
A crash course in formal logic (YouTube Channel)
OER Commons: Open Educational Resources
Community
Organization
Association for Symbolic Logic
Association for Informal Logic & Critical Thinking
News
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)
Book
Government
Document
Expression
Fun
Zebra Puzzle (Wikipedia)
Riddles YouTube Channel (TedEd)
The Philosophical Lexicon (Daniel Dennett and Asbjørn SteglichPetersen)
Philosophical HumorAn 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)
Hobby
Logic Puzzle (Wikipedia)
Logic Puzzles.org
Puzzles, Riddles & Brain Teasers (Brain Den)
Poem
OEDILF: The Omnificent English Dictionary In Limerick Form
More…
Latest Results The latest content available from Springer

Algebraic Analysis of Demodalised Analytic...
on February 13, 2019 at 12:00 am
Abstract The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn (and independently investigated by R.D. Epstein) as a variation on a timehonoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both prooftheoretically and modeltheoretically, but no study so far […]

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 […]

Partial Semantics for Quantified Modal Logic
on December 1, 2018 at 12:00 am
Abstract When it comes to Kripkestyle 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 […]

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. […]

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. […]