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

Williamson on Counterpossibles
on August 1, 2018 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. […]

On Sahlqvist Formulas in Relevant Logic
on August 1, 2018 at 12:00 am
Abstract This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the RoutleyMeyer 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 Sahlqvistvan Benthem algorithm. Furthermore, we show that some classes of RoutleyMeyer frames definable by a relevant formula are not elementary. […]

Obligation as Optimal Goal Satisfaction
on August 1, 2018 at 12:00 am
Abstract Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in which some worlds are better than others. The main focus in these logics is on inferring logical consequences, for example inferring that the obligation O q is a logical consequence of the obligations O p and O (p → q). In this paper we propose a nonmodal approach in which obligations […]

Emptying a Paradox of Ground
on August 1, 2018 at 12:00 am
Abstract Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction betweenvacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of (reflexive) ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions […]

Some Notes on Truths and Comprehension
on June 1, 2018 at 12:00 am
Abstract In this paper we study several translations that map models and formulae of the language of secondorder arithmetic to models and formulae of the language of truth. These translations are useful because they allow us to exploit results from the extensive literature on arithmetic to study the notion of truth. Our purpose is to present these connections in a systematic way, generalize some wellknown results in this area, and to provide a number of new results. […]