Tags
- A
- Abstract logic
- A. J. Ayer
- Alan Turing
- Aleph number
- Alfred North Whitehead
- Alfred Tarski
- Algebraic logic
- Alphabet
- Ambiguity
- Analog signal
- Analysis
- Analytic philosophy
- Analytic–synthetic distinction
- Anaphora
- An Essay towards a Real Character and a Philosophical Language
- Antinomy
- Aristotle
- Arity
- Artificial Intelligence
- Artificial neural network
- Atomic formula
- Atomic sentence
- Augustus De Morgan
- Automata theory
- Automated theorem proving
- Averroes
- Axiom
- Axiomatic system
- Axiom of Choice
- Axiom schema
- Backus–Naur form
- Banach–Tarski paradox
- Belief
- Benjamin Lee Whorf
- Bernard Bolzano
- Bertrand Russell
- Bijection
- Binary decision
- Binary decision diagram
- Binary number
- Binary operation
- Binding
- Black Box
- Boole
- Boolean algebra
- Boolean data type
- Boolean function
- California Proposition 36
- Canonical normal form
- CANT
- Cantor's diagonal argument
- Cantor's theorem
- Cardinality
- Cartesian product
- Categorical proposition
- Categorization
- Category
- Category of sets
- Category theory
- Chrysippus
- Church encoding
- Church–Turing thesis
- Class
- Classical logic
- Closure
- Codomain
- Coercion
- Commutative property
- Compactness theorem
- Comparator
- Complement
- Complete theory
- Computability theory
- Computable function
- Computational semantics
- Concatenation
- Concept
- Conditional sentence
- Confucius
- Conjunctive normal form
- Conservative extension
- Consistency
- Constructible universe
- Constructive set theory
- Continuation
- Continuum hypothesis
- Conventionalism
- Copula
- Countable set
- Counterfactual conditional
- Cratylism
- Cratylus
- David Hume
- David Lewis
- Decidability
- Decision problem
- Deconstruction
- Dedekind cut
- De dicto and de re
- Deductive reasoning
- Deep learning
- Definite description
- Definiteness
- Delimiter
- Denotation
- De se
- Diagram
- Digital data
- Direct reference theory
- Disjunctive normal form
- Distributional semantics
- Distributive property
- Domain of a function
- Domain of discourse
- Donald Davidson
- Donkey sentence
- Dramatism
- Edward Sapir
- Edward Vermilye Huntington
- Element
- Elementary equivalence
- Elementary function arithmetic
- Elizabeth Anscombe
- Emil Leon Post
- Empiricism
- Empty set
- English language
- Entailment
- Enumeration
- Equiconsistency
- Equivalence relation
- Euclidean geometry
- Euclid's Elements
- Evidentiality
- Expression
- Expressivism
- Extensionality
- Extension by definitions
- False
- Family resemblance
- Ferdinand de Saussure
- Finitary relation
- Finite model theory
- Finite set
- First-order logic
- Flip-flop
- Focus
- Folk psychology
- Forcing
- Formal grammar
- Formal language
- Formal proof
- Formal semantics
- Formal system
- Formation rule
- Formula
- Foundations of mathematics
- Franz Boas
- Free logic
- Free variables and bound variables
- Function
- Functional predicate
- Function application
- Fuzzy set
- General set theory
- Generative grammar
- George Bentham
- George Boole
- George Stibitz
- German language
- Gilbert Ryle
- Givenness
- Gödel numbering
- Gödel's completeness theorem
- Gödel's incompleteness theorems
- Gorgias
- Gottfried Wilhelm Leibniz
- Gottlob Frege
- Gray code
- Grothendieck universe
- Ground expression
- Halting problem
- Hans-Georg Gadamer
- Hasse diagram
- Henri Bergson
- Hereditary set
- Higher-order logic
- Hilary Putnam
- Hilbert's axioms
- Hilbert system
- History of logic
- Homogeneity
- Hypercube
- Hypostatic abstraction
- Ibn Khaldun
- Identity of indiscernibles
- Image
- Impredicativity
- Inaccessible cardinal
- Independence
- Indexicality
- Indicator function
- Inference
- Infimum and supremum
- Infinite set
- Infix notation
- Influence diagram
- Information theory
- Injective function
- Intension
- Intensional logic
- Intentionality
- Internalism and externalism
- International Standard Book Number
- Interpretation
- Intersection
- Intuitionism
- Isomorphism
- Ivor Grattan-Guinness
- Jaakko Hintikka
- Jacques Derrida
- Jean Nicod
- Jean van Heijenoort
- J. L. Austin
- Johann Gottfried Herder
- John Locke
- John Searle
- Karnaugh map
- Kolmogorov complexity
- Kurt Gödel
- Lambda calculus
- Language
- Large cardinal
- Law of excluded middle
- Law of identity
- Law of noncontradiction
- Learning
- Lemma
- Leonard Bloomfield
- Lev Vygotsky
- Lexical semantics
- Limited Inc
- Lindström's theorem
- Linguistic determinism
- Linguistic relativity
- Linguistics
- Linguistics Wars
- Literal
- Logic
- Logical conjunction
- Logical connective
- Logical consequence
- Logical constant
- Logical disjunction
- Logical equality
- Logical equivalence
- Logical Form
- Logical positivism
- Logical truth
- Logic gate
- Logicism
- Ludwig Wittgenstein
- Macintosh
- Map
- Marvin Minsky
- Material conditional
- Mathematical logic
- Mathematical object
- Mathematics
- McCluskey
- Mental representation
- Mereology
- Metalanguage
- Michael Dummett
- Mirative
- Modality
- Model complete theory
- Model theory
- Modus ponens
- Monad
- Monadic second-order logic
- Morse–Kelley set theory
- Multiplexer
- Naive Set Theory
- Natural deduction
- Negation
- New Foundations
- Noam Chomsky
- Nominalism
- Non-cognitivism
- Non-Euclidean geometry
- NP
- Of Grammatology
- On Denoting
- Opaque context
- Open formula
- Ordinal analysis
- Ordinal number
- P
- Paradox
- Partition of a set
- Patrick Suppes
- Paul Grice
- Paul Ricœur
- Paul Tillich
- Paul Watzlawick
- Peano axioms
- Performative utterance
- P. F. Strawson
- Phallogocentrism
- Philosophical Investigations
- Philosophy of information
- Philosophy of language
- Philosophy of mathematics
- Philosophy of mind
- Phrase
- Plato
- Platonism
- Polarity item
- Polish notation
- Possible world
- Power set
- Pragmatics
- Predicate
- Predicate variable
- Presupposition
- Primitive recursive function
- Principia Mathematica
- Principle of compositionality
- Problem of evil
- Programming language
- Proof theory
- Property
- Proposition
- Propositional attitude
- Propositional calculus
- Propositional variable
- Psychology
- P versus NP problem
- Quantification
- Quantifier
- Quantization
- Recursion
- Recursive definition
- Recursive descent parser
- Recursively enumerable set
- Reference
- Register machine
- Relation
- Relevance theory
- Reverse Polish notation
- Rhetoric
- Richard Whately
- Robust statistics
- Rudolf Carnap
- Rule of inference
- Russell's paradox
- Satisfiability
- Saul Kripke
- Scholasticism
- School of Names
- Schröder–Bernstein theorem
- Scope
- Second-order logic
- Semantic Analysis
- Semantics
- Semantics of logic
- Semiotics
- Sense and reference
- Sentence
- Sequent calculus
- Sequential logic
- Set
- Set theory
- Sheffer
- Sigmoid function
- Signature
- Singleton
- Singular term
- Sir William Hamilton, 9th Baronet
- Soundness
- Speech act
- Square of opposition
- State diagram
- Statement
- Stephen Cole Kleene
- Strength
- Strict conditional
- String
- Structuralism
- Structure
- Substitution
- Substructure
- Supertask
- Supposition theory
- Surjective function
- Switch statement
- Syllogism
- Symbol
- Syntax
- Tautology
- Telicity
- Term
- Term logic
- Theorem
- Theory
- Theory of computation
- Theory of descriptions
- Thomas Hobbes
- Three-valued logic
- Tractatus Logico-Philosophicus
- Transfer principle
- Transient state
- Transitive set
- True arithmetic
- Truth
- Truth table
- Truth value
- Turing machine
- Turing test
- Two Dogmas of Empiricism
- Type
- Type theory
- Ultrafilter
- Ultraproduct
- Uncountable set
- Undecidable problem
- Uninterpreted function
- Union
- Uniqueness quantification
- Universal quantification
- Universal set
- Universe
- Urelement
- Use–mention distinction
- Vagueness
- Validity
- Variable
- Venn diagram
- Veridicality
- Verificationism
- Von Neumann universe
- Well-formed formula
- Wikipedia
- Wilhelm von Humboldt
- Willard Van Orman Quine
- William Stanley Jevons
- Wittgenstein on Rules and Private Language
- Xunzi
- Yes–no question
- Zermelo–Fraenkel set theory
- Zhuang Zhou