Concept
First-order logic
Overview
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed First-order logic
- Gottfried Wilhelm Leibniz
- Kurt Gödel
- Jaakko Hintikka
- Frank P. Ramsey
- Susanne Bobzien
- Willard Van Orman Quine
- George Boolos
- Ruth Barcan Marcus
- Stanisław Leśniewski
- Saul Kripke
- Gottlob Frege
- Alfred Tarski
- Philo the Dialectician
- Evert Willem Beth
- Stephen Yablo
- Richard Milton Martin
- Newton da Costa
- Johan van Benthem (logician)
Related ideas
- Method of analytic tableaux
- Exclusive or
- Formal language
- Alan Turing
- Gödel's completeness theorem
- Harvard University Press
- Proof assistant
- Tuple
- Skolem's paradox
- Philosophy
- Springer Science+Business Media
- Interpretation (logic)
- Integer
- Compactness theorem
- Zermelo–Fraenkel set theory
- Propositional variable
- Republic (Plato)
- Negation
- Truth value
- Kurt Gödel
- Intuitionistic logic
- Foundations of mathematics
- London
- Formal grammar
Opposing perspectives
- Propositional variable
- Model theory
- Rule of inference
- Classical logic
- Higher-order logic
- Elementary class
Place in the tradition
Part of Outline of philosophy.
Narrower topics:
- Academic Press
- Algebra
- Arity
- Atomic formula
- Automated theorem proving
- Axiom of extensionality
- Cardinality
- Central processing unit
- Compactness theorem
- Completeness (logic)
- Computably enumerable set
- Computational complexity
- Computational complexity theory
- Consistency
- Context-free grammar
- Countable set
- Currying
- Data type
- Decision problem
- Entscheidungsproblem
- Formal grammar
- Formal language
- Formal verification
- George Boolos