These are organized by a classification scheme developed exclusively for Cosma. More…
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)
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)
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)
Latest Results The latest content available from Springer
on August 16, 2019 at 12:00 am
Abstract I put forward precise and appealing notions of reference, self-reference, and well-foundedness for sentences of the language of first-order Peano arithmetic extended with a truth predicate. These notions are intended to play a central role in the study of the reference patterns that underlie expressions leading to semantic paradox and, thus, in the construction of philosophically well-motivated semantic theories of truth.
A New Game Equivalence, its Logic and Algebra
on August 1, 2019 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.
Six Problems in Pure Inductive Logic
on August 1, 2019 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.
Blame it on me
on June 10, 2019 at 12:00 am
Abstract In this paper, we develop a formalisation of the main ideas of the work of Van de Poel on responsibility. Using the basic concepts through which the meanings of responsibility are defined, we construct a logic which enables to express sentences like “individual i is accountable for φ”, “individual i is blameworthy for φ” and “individual i has the obligation to see to it that φ”. This formalization clarifies the […]
on June 1, 2019 at 12:00 am
Abstract There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.