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:

    There is the falsely mystical view of art that assumes a kind of supernatural inspiration, a possession by universal forces unrelated to questions of power and privilege or the artist’s relation to bread and blood. In this view, the channel of art can only become clogged and misdirected by the artist’s concern with merely temporary and local disturbances. The song is higher than the struggle.
    Adrienne Rich (b. 1929)

    You know there are no secrets in America. It’s quite different in England, where people think of a secret as a shared relation between two people.
    —W.H. (Wystan Hugh)

    A general loathing of a gang or sect usually has some sound basis in instinct.
    Ezra Pound (1885–1972)

    “... We need the interruption of the night
    To ease attention off when overtight,
    To break our logic in too long a flight,
    And ask us if our premises are right.”
    Robert Frost (1874–1963)