Zeroth-order Logic - Relation To General First-order Logic

Relation To General First-order Logic

At first glance it might appear that by using axiom schemata as in the example any first-order logic can be made zeroth-order. However, in general only universal quantifiers at the outermost level can be eliminated this way.

Logic portal
Logic
Overview
Academic
areas
  • Argumentation theory
  • Axiology
  • Critical thinking
  • Computability theory
  • Formal semantics
  • History of logic
  • Informal logic
  • Logic in computer science
  • Mathematical logic
  • Mathematics
  • Metalogic
  • Metamathematics
  • Model theory
  • Philosophical logic
  • Philosophy
  • Philosophy of logic
  • Philosophy of mathematics
  • Proof theory
  • Set theory
Foundational
concepts
  • Abduction
  • Analytic truth
  • Antinomy
  • A priori
  • Deduction
  • Definition
  • Description
  • Induction
  • Inference
  • Logical form
  • Logical consequence
  • Logical truth
  • Name
  • Necessity
  • Meaning
  • Paradox
  • Possible world
  • Presupposition
  • Probability
  • Reason
  • Reasoning
  • Reference
  • Semantics
  • Statement
  • Strict implication
  • Substitution
  • Syntax
  • Truth
  • Truth value
  • Validity
Philosophical logic
Critical thinking
and
Informal logic
  • Analysis
  • Ambiguity
  • Argument
  • Belief
  • Bias
  • Credibility
  • Evidence
  • Explanation
  • Explanatory power
  • Fact
  • Fallacy
  • Inquiry
  • Opinion
  • Parsimony
  • Premise
  • Propaganda
  • Prudence
  • Reasoning
  • Relevance
  • Rhetoric
  • Rigor
  • Vagueness
Theories of deduction
  • Constructivism
  • Dialetheism
  • Fictionalism
  • Finitism
  • Formalism
  • Intuitionism
  • Logical atomism
  • Logicism
  • Nominalism
  • Platonic realism
  • Pragmatism
  • Realism
Metalogic and metamathematics
  • Cantor's theorem
  • Church's theorem
  • Church's thesis
  • Consistency
  • Effective method
  • Foundations of mathematics
  • Gödel's completeness theorem
  • Gödel's incompleteness theorems
  • Soundness
  • Completeness
  • Decidability
  • Interpretation
  • Löwenheim–Skolem theorem
  • Metatheorem
  • Satisfiability
  • Independence
  • Type–token distinction
  • Use–mention distinction
Mathematical logic
General
  • Formal language
  • Formation rule
  • Formal system
  • Deductive system
  • Formal proof
  • Formal semantics
  • Well-formed formula
  • Set
  • Element
  • Class
  • Classical logic
  • Axiom
  • Natural deduction
  • Rule of inference
  • Relation
  • Theorem
  • Logical consequence
  • Axiomatic system
  • Type theory
  • Symbol
  • Syntax
  • Theory
Traditional logic
  • Proposition
  • Inference
  • Argument
  • Validity
  • Cogency
  • Syllogism
  • Square of opposition
  • Venn diagram
Propositional calculus
and Boolean logic
  • Boolean functions
  • Propositional calculus
  • Propositional formula
  • Logical connectives
  • Truth tables
Predicate
  • First-order
  • Quantifiers
  • Predicate
  • Second-order
  • Monadic predicate calculus
Set theory
  • Set
  • Empty set
  • Enumeration
  • Extensionality
  • Finite set
  • Function
  • Subset
  • Power set
  • Countable set
  • Recursive set
  • Domain
  • Range
  • Ordered pair
  • Uncountable set
Model theory
  • Model
  • Interpretation
  • Non-standard model
  • Finite model theory
  • Truth value
  • Validity
Proof theory
  • Formal proof
  • Deductive system
  • Formal system
  • Theorem
  • Logical consequence
  • Rule of inference
  • Syntax
Computability theory
  • Recursion
  • Recursive set
  • Recursively enumerable set
  • Decision problem
  • Church–Turing thesis
  • Computable function
  • Primitive recursive function
Non-classical logic
Modal logic
  • Alethic
  • Axiologic
  • Deontic
  • Doxastic
  • Epistemic
  • Temporal
Intuitionism
  • Intuitionistic logic
  • Constructive analysis
  • Heyting arithmetic
  • Intuitionistic type theory
  • Constructive set theory
Fuzzy logic
  • Degree of truth
  • Fuzzy rule
  • Fuzzy set
  • Fuzzy finite element
  • Fuzzy set operations
Substructural logic
  • Structural rule
  • Relevance logic
  • Linear logic
Paraconsistent logic
  • Dialetheism
Description logic
  • Ontology
  • Ontology language
Logicians
  • Anderson
  • Aristotle
  • Averroes
  • Avicenna
  • Bain
  • Barwise
  • Bernays
  • Boole
  • Boolos
  • Cantor
  • Carnap
  • Church
  • Chrysippus
  • Curry
  • De Morgan
  • Frege
  • Geach
  • Gentzen
  • Gödel
  • Hilbert
  • Kleene
  • Kripke
  • Leibniz
  • Löwenheim
  • Peano
  • Peirce
  • Putnam
  • Quine
  • Russell
  • Schröder
  • Scotus
  • Skolem
  • Smullyan
  • Tarski
  • Turing
  • Whitehead
  • William of Ockham
  • Wittgenstein
  • Zermelo
Lists
Topics
  • Outline of logic
  • Index of logic articles
  • Mathematical logic
  • Boolean algebra
  • Set theory
Other
  • Logicians
  • Rules of inference
  • Paradoxes
  • Fallacies
  • Logic symbols
Common logical symbols
& ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵
  • Portal
  • Category
  • Outline
  • WikiProject
  • Talk
  • changes

Read more about this topic:  Zeroth-order Logic

Famous quotes containing the words relation to, relation, general and/or logic:

    ... a worker was seldom so much annoyed by what he got as by what he got in relation to his fellow workers.
    Mary Barnett Gilson (1877–?)

    There is undoubtedly something religious about it: everyone believes that they are special, that they are chosen, that they have a special relation with fate. Here is the test: you turn over card after card to see in which way that is true. If you can defy the odds, you may be saved. And when you are cleaned out, the last penny gone, you are enlightened at last, free perhaps, exhilarated like an ascetic by the falling away of the material world.
    Andrei Codrescu (b. 1947)

    If men would avoid that general language and general manner in which they strive to hide all that is peculiar and would say only what was uppermost in their own minds after their own individual manner, every man would be interesting.
    Ralph Waldo Emerson (1803–1882)

    Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.
    Sir Peter Frederick Strawson (b. 1919)