|
 African Logic (J.Okeke)
 Ajdukiewicz
Apuleius
 Aristotle:Logic (Groarke)
Atomism logic
Avicenna: Logic (Chatti)
Barcan Marcus
 Begriffsschrift (Voizard)
Bernays (W.Sieg)
Blanché
Boethius (Manuel Correia)
Bolzano (LaPointe)
Boole
Bourbaki:Logic (Ph. de Rouilhan)
Bradley:Logic (Maclachlan)
Brower:Logic
Buddhist Logic
Buridan:Logic (S.Read)
Cantor
Carnap:Logic (P.Wagner)
Carnap's inductive logic (Kawalek)
Carnap's modal logic (Cresswell)
Lewis Carroll (Abeles)
Church (Corcoran)
Louis Couturat (Schmid)
Curry (Seldin)
De Morgan
Diodorus (Jarmużek)
Frege (Klement)
Hegel:Logic
Gentzen (von Plato)
God: Proof of Existence (K.Swietorzecka)
Gödel
Henkin (Manzano)
P.Hertz (Legris)
Hilbert:Logic
Hintikka (Rebuschi)
Huserl: Logic
Indian Logic: overview (M.Yazgan)
Jain Logic (Vaidya)
Jaśkowski (Ciuciura)
Jevons:Logic
Kant:Logic (Kovac)
Kleene
Kotarbiński (Czarnota)
Kripke
Lacan:Logic (Grigg)
Leibniz:Logic (Lenzen)
Leśniewski (Pierre Joray)
Lewis, C.I.: Logic (Ed Mares)
Lindenbaum (Woleński)
Łos (Zygmunt)
Łukasiewicz
McColl (Redmond)
Medieval Logic (Julie Brumberg)
Megarian Logic (Massie)
Mill: Logic
Mohist Logic (Fenrong Lui)
Moisil (Solomon)
Mostowski (S.Krajewski)
Nagarjuna: Logic (J.Vallverdú)
Naming and necessity
Ockham
Orlov (Bazhanov)
Peano
Peirce:Logic (Pietarinen/Belucci)
Piaget: Logic
Plato: Logic (Angela Michelis)
Port Royal (John Martin)
Post (Liesbeth De Mol)
Presburger (Zygmunt)
Principia Mathematica
Prior
Quine:Logic
Quine: Philosophy of Logic (Verhaegh)
Ramsey
Rougier (M.Marion)
Russell (G.Landini)
Schröder
Skolem (Fenstad)
Słupekci
Smirnov (Vasyukov)
Stoic logic (Gourinat)
Suszko (Omyla/Zygmunt)
Syllogistic
Alfred Tarski (Woleński)
Tarski's theory of truth (Woleński)
Tichý (P.Materna & P.Cmorej)
Tractatus Logico-Philosophicus
Turing (Jack Copeland)
Vasiliev (Bazhanov)
Venn (Ramos)
Whitehead (Herstein)
Wittgenstein: Logic
|
 Adaptive Logics
Algebraic Logic
Belief Revision
Bisimulation (M.Otto)
Categorical Logic (Paiva/Rodin)
Combinatory Logic (Desclés)
Combination of logics
Compactness Theorem (A.Paseau - R.Leek)
Connexive Logic (Storrs McCall)
Consequence Operator
Cut-Elimination Theorem
Default Logic
De Morgan Logic
Deontic Logic (M.Brown)
Descriptions Logics (Wolter)
Dialogical (Piecha)
Discussive Logic (Pietruszczak /Nasieniewski)
Doxastic Logic (Brian MacPherson)
Dugundji's theorem (Coniglio/Peron)
Dynamic Logic
Dynamic Epistemic Logic (Ditmarsch/Hoek /Kooi)
Epistemic Logic (Audrey Yap)
Epsilon Calculi (Slater)
Erotetic Logic (Wisniewski)
Figural Logic (Harris)
First-Order Logic
Forcing
Free Logic (E.Mörscher)
Fuzzy Logic
Game semantics (Can Baskent)
Gentzen's proof of consistency of arithmetics
Gödel's incompleteness theorems (B.Buldt)
Herbrand's Theorem (Wirth)
Hybrid Logic (Blackburn)
Hypersequents (Poggiolesi)
Illocutionary Logic (Vanderveken)
Hilbert axiomatic systems
Infinitary Logic
Informal Logic
Institutions (Diaconescu)
Intensional Logic
Intermediate Logics
Interpolation Theorem
Intuitionistic Logic
Kripke Models (T.Polacik)
Lambda Calculi (Steinert-Threlkeld)
Lindström theorem (Enqvist)
Linear Logic (Girard)
Labelled Deductive Systems
Lindenbaum Theorem
Logic of Sense and Denotation
Löwenheim-Skolem Theorem
Łukasiewicz Logics
Many Sorted Logic
Many-Valued Logic (G.Malinowski)
Mereology (Max Freund)
Minimal Logic (Vidal-Rosset)
Multiple Conclusion
Modal Logic: a First Introduction
Modal Logic : a Contemporary View (van Benthem)
Multi-modal logic (Carnielli/Pizzi)
Natural Deduction (A.Indrzejczak)
Non-monotonic Logic
Nonsense Logics (T.Ferguson)
 Paracomplete Logic (Colin Caret)
Paraconsistent (Weber)
A.N.Prior's logic (Peter Øhrstrøm, Per Hasle and David Jakobsen)
Probabilistic Logic (Lepage)
Propositional Logic (Klement)
Provability Logic (Urbaniak)
Quantum Logic (de Ronde/ Domenech /Freytes)
Relevant Logic (Brady)
S4
S5
Second Order Logic (Marcus Rossberg)
Sequent Calculus (Sara Negri)
Spatial Logic (Pratt-Hartmann)
Supervaluations (John Martin)
Tableaux (Jarmużek)
Temporal Logic
Translation between logics (D'Ottaviano /Feitosa)
Transparent intensional logic (M.Duzi & J.Raclavsky)
Trees
Truth Logic
Truth-Value semantics
Turing Machine
Type theory
Universal Logic
Venn diagrams
Zero-Order Logic |
Abduction (Nepomuceno / Aliseda)
Antilogy (Marcacci)
Automated Reasoning
Algorithms
Argument(McKeon)
Axiomatic method
Bivalence
Categoricity (Corcoran)
Classification (Parrochia)
Completeness
Compositionality
Computation
Conjunction
Connectives
Contradiction (Berto/Brouwer)
Critical thinking (Jamie Watson)
Decidability
Deduction theorem
Definite description (Millican)
Definition (Koslow)
Disjunction
Duality in Logic and Language (Demey / Smessaert)
Entailment
Equivalence
Excluded Middle (O.Makridis)
Extensionality
Fallacies (Dowden)
Formal Logic
Hypercomputation (Franchette)
Hyperintensionality (B.Jespersen & M.Duzi)
Identity (Jacquette)
Implication (Angelova)
Incompleteness
Incomputability (Barry Cooper)
Induction (Mura)
Infinite (Dowden)
Intensionality
Liar's Paradox (Dowden) Logic and Biology
Logic and Fiction (John Woods)
Logic and Information
Logic and Law (Maranhão)
Logic and Linguistics (Desclés/Pascu)
Logic and Music (Ingolf Max)
Logic and Semiotics
Logic and the Theory of Relativity (Székeli)
Logical Consequence (McKeon)
Logical Content (K.Gemes)
Logical Truth
Logicism (Gallego)
Maximality
Metalogic
Metamathematics (Bovykin)
Modalities
Model
Negation (H.Omori)
Formal Ontology (Kutz)
Paradox of the Many (Gifford)
Paradoxes (Slater)
Paradoxes of Intensionality (D.Tucker)
Philosophical Logic (Grayling)
Possible worlds
Predicate
Proof:Notion
Proof Theory:Overview
Proper names
Proposition
Quantifiers
Rationality
Reasoning (Chevalier)
Reductio ad absurdum (Rescher)
Relation
Russell's paradox (Klement)
Russell-Myhill's paradox (Klement)
Semantics
Sheffer stroke (O.Makridis)
Singular term
Slinghshot Argument
Square of Opposition (Beziau)
Suszko's thesis (S.Molick)
Symbolic Logic
Logical Syntax
Tautology
Truth (Dowden/Swartz)
Truth-Functionality (J.Marcos)
Truth-Table
Truth-Value (S.Robert)
Vagueness
Validity
Variable
Vicious circle
Visual Reasoning
Yablo's Paradox (Cook) |
