Logic

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), Merriam-Webster Thesaurus, Visuwords

Glossary

Glossary of First-Order 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

Outline of Logic (Wikipedia)

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

Quotations Page

Museum

The Logic 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

ISBNdb

Government

Document

USA.gov

Expression

Fun



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)

Hobby

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

Poem

OEDILF: The Omnificent English Dictionary In Limerick Form

returntotop

More…

Latest Results The latest content available from Springer

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

  • Rethinking Revision
    on September 15, 2018 at 12:00 am

    Abstract We sketch a broadening of the Gupta-Belnap notion of a circular or revision theoretic definition into that of a more generalized form incorporating ideas of Kleene’s generalized or higher type recursion. This thereby connects the philosophically motivated, and derived, notion of a circular definition with an older form of definition by recursion using functionals, that is functions of functions, as oracles. We note that Gupta and Belnap’s notion of […]

  • Probability for the Revision Theory of Truth
    on September 13, 2018 at 12:00 am

    Abstract We investigate how to assign probabilities to sentences that contain a type-free truth predicate. These probability values track how often a sentence is satisfied in transfinite revision sequences, following Gupta and Belnap’s revision theory of truth. This answers an open problem by Leitgeb which asks how one might describe transfinite stages of the revision sequence using such probability functions. We offer a general construction, and explore additional […]

  • Limits in the Revision Theory
    on September 5, 2018 at 12:00 am

    Abstract We present a new proposal for what to do at limits in the revision theory. The usual criterion for a limit stage is that it should agree with any definite verdicts that have been brought about before that stage. We suggest that one should not only consider definite verdicts that have been brought about but also more general properties; in fact any closed property can be considered. This more general framework is required if we move to considering revision theories for […]

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