*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*

Logicis 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 (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

### More…

## Latest Results The latest content available from Springer

- On the Logic of Belief and Propositional...on April 5, 2021 at 12:00 am
Abstract We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is something that I neither believe nor disbelieve.” Our main results are axiomatizations of the logics with propositional quantifiers of natural classes of complete Boolean algebras with an operator (BAOs) validating KD45. Among […]

- De Finettian Logics of Indicative Conditionals...on April 1, 2021 at 12:00 am
Abstract In Part I of this paper, we identified and compared various schemes for trivalent truth conditions for indicative conditionals, most notably the proposals by de Finetti (1936) and Reichenbach (1935, 1944) on the one hand, and by Cooper (Inquiry, 11, 295–320, 1968) and Cantwell (Notre Dame Journal of Formal Logic, 49, 245–260, 2008) on the other. Here we provide the proof theory for the resulting logics DF/TT and CC/TT, using tableau calculi and sequent calculi, […]

- Some Forms of Collectively Bringing About or...on April 1, 2021 at 12:00 am
Abstract One of the best known approaches to the logic of agency are the ‘stit’ (‘seeing to it that’) logics. Often, it is not the actions of an individual agent that bring about a certain outcome but the joint actions of a set of agents, collectively. Collective agency has received comparatively little attention in ‘stit’. The paper maps out several different forms, several different senses in which a particular set of agents, collectively, can be said to bring […]

- Logical Predictivismon April 1, 2021 at 12:00 am
Abstract Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic (AEL), that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with […]

- De Finettian Logics of Indicative Conditionals...on April 1, 2021 at 12:00 am
Abstract This paper explores trivalent truth conditions for indicative conditionals, examining the “defective” truth table proposed by de Finetti (1936) and Reichenbach (1935, 1944). On their approach, a conditional takes the value of its consequent whenever its antecedent is true, and the value Indeterminate otherwise. Here we deal with the problem of selecting an adequate notion of validity for this conditional. We show that all standard validity schemes based on de […]