Logic Area edited by Jean-Yves Beziau, Federal University of Rio de Janeiro
Joint project with the Encyclopaedia of Logic, College Publication
Desired   In Preparation   Being Reviewed  Covered  
 Logicians / Works /History

Logics/Techniques /Theorems

 Notions/Topics

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

Tarski (Feferman)

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)

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

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

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

Singular term

Slinghshot Argument

Sheffer Stroke (O.Makridis)

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)



eXTReMe Tracker