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

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

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

A New Game Equivalence, its Logic and Algebra
on November 9, 2018 at 12:00 am
Abstract We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games. […]

Rosy with Sider? The Case of the Metaphysical Liar
on October 1, 2018 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 […]