Logic and Semantics Series, Entry Directory

by Corry Shores
[Search Blog Here. Index-tags are found on the bottom of the left column.]
[Central Entry Directory]

Entry Directory for the

Logic & Semantics Series

Agler. David Wells Agler

David Agler, entry directory

Argument Diagramming

Entry Directory for the Carnegie Mellon online course: Argument Diagramming (Open + Free)

Brouwer, L.E.J. Brouwer

 Walter P. van Stigt, entry directory
Paolo Mancosu, entry directory

Carroll. Lewis Carroll

Implicit Logical Forces in Carroll's "What the Tortoise Said to Achilles"

Lewis Carroll’s Symbolic Logic book, entry directory

Category Theory

Lawvere & Schanuel’s Conceptual Mathematics: A First Introduction to Categories, entry directory

da Costa. Newton C.A.da Costa

Newton C.A. da Costa, entry directory

Deleuzian Logic and Semantics

Deleuze & Logic Series, Entry Directory

Duffy. Clifford Duffy

Clifford Duffy Entry Directory

Formal Theories of Language

Mathematical Methods in Linguistics, Partee, Meulen, and Wall, Ch 8, Formal Systems Axiomatization, and Model Theory

Mathematical Methods in Linguistics, Partee, Meulen, and Wall, Ch 13, Basic Concepts

Frege. Gottlob Frege

Gottlob Frege, Entry Directory

Griss. George François Cornelis Griss

G.F.C. Griss (George François Cornelis Griss), entry directory

Heyting. Arend Heyting

Arend Heyting, entry directory

Krause. Décio Krause

Décio Krause, entry directory

Intrinsic/Extrinsic

Extrinsic/Intrinsic Distinction according to Brian Garrett

Intuitionism
 

 Walter P. van Stigt, entry directory
 Paolo Mancosu, entry directory
 G.F.C. Griss (George François Cornelis Griss), entry directory
Arend Heyting, entry directory

Kaufmann. Arnold Kaufmann

Arnold Kaufmann, entry directory

Mancosu. Paolo Mancosu

 Paolo Mancosu, entry directory

Nolt. John Nolt

John Nolt, entry directory

Parain. Brice Parain

Brice Parain, entry directory

 

Peirce. C.S. Peirce

 C.S. Peirce, entry directory

Plumwood. Val Plumwood

(formerly Val Routley)

Val Plumwood (FKA Val Routley), entry directory

Priest. Graham Priest

Graham Priest, entry directory

Proof: Rules, Strategies, Formulas

Rules, Formulas, and Strategies for Logical Proofs (Agler, Nolt)

Russell. Bertrand Russell

Bertrand Russell, entry directory

Stigt. Walter P. van Stigt
 

 Walter P. van Stigt, entry directory

Stoics

Stoic Logic and Semantics / Stoicism, Entry Directory

Set Theory

Set Theory, entry directory

Suppes. Patrick Suppes

Patrick Suppes, entry directory 

Sylvan. Richard Sylvan

(formerly Richard Routley)

Richard Sylvan (FKA Francis Routley), entry directory

Tarski. Alfred Tarski

Alfred Tarski, entry directory

Roger Vergauwen's Metalogical Theory of Reference

Vergauwen, Entry Directory, A Metalogical Theory of Reference

.