Category:en:Logic
Jump to navigation
Jump to search
| Newest and oldest pages |
|---|
| Newest pages ordered by last category link update: |
| Oldest pages ordered by last edit: |
English terms related to logic.
NOTE: This is a "related-to" category. It should contain terms directly related to logic. Please do not include terms that merely have a tangential connection to logic. Be aware that terms for types or instances of this topic often go in a separate category.
The following label generates this category: logicedit. To generate this category using this label, use {{lb|en|label}}.
| Jump to: Top – A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
Subcategories
This category has the following 3 subcategories, out of 3 total.
Pages in category "en:Logic"
The following 200 pages are in this category, out of 653 total.
(previous page) (next page)A
- A
- abdicative
- abduction
- abductive
- abjunction
- abstract model
- abstract nonsense
- accentus
- accidens
- ad hominem
- adicity
- adjunctive
- ad verecundiam
- affirmative
- affirming the consequent
- alethic
- alethiology
- algebraic normal form
- all-operator
- alternation
- alternative denial
- analogism
- analysis
- analytic
- analytics
- ancestral
- and
- AND
- Andersonian
- antecedent
- antepredicament
- antilogism
- antinomy
- antitheorem
- apagoge
- apagogic
- apodeictic
- apodeictical
- apodictically
- apodicticity
- apodosis
- a posteriori
- a priori
- argument
- argument form
- argument-form
- argumentum
- argumentum ad verecundiam
- Aristotle's dictum
- arithmetical hierarchy
- arithmetical set
- arithmetic hierarchy
- arity
- assertoric
- assumption
- atomic
- atomic formula
- attribute
- axiom
- axiomatic system
- axiomless
- axiom of choice
- axiom of extensionality
- axiom of infinity
- axiom of pairing
- axiom of regularity
- axiom of union
- axiom schema
- axiom scheme
B
C
- canonical conjunctive normal form
- canonical disjunctive normal form
- casus
- categorematic
- categorical
- categorical proposition
- cherry-pick
- chicken-or-egg question
- Church-Rosser property
- circle
- circular argument
- classical logic
- clausal normal form
- clausification
- clausifier
- clausify
- closed
- closed formula
- coalternate
- coextensive
- coinduction
- collectional
- colligation
- common knowledge
- commutant
- comparate
- complement
- complete
- completeness
- comprehension
- computability theory
- conclude
- conclusion
- concrete
- conditional
- conditional proof
- conjunct
- conjunction
- conjunctive
- conjunctive normal form
- connective
- connotation
- consecution
- consensus theorem
- consequent
- conservative extension
- consilience
- consistency
- consistent
- constructive logic
- context
- context-free
- contingency
- contractionless
- contradiction
- contradictionism
- contradictory
- contraponend
- contrapose
- contraposed
- contraposition
- contrapositive
- contrapositively
- contrary
- converse
- conversion
- convert
- convertend
- convertible
- corollary
- counterexample
- counterextension
- counterinduction
- counterlegal
- counterpossible
- counterproof
- crocodile
- crocodility
D
- Davis-Putnam algorithm
- decidability
- decidable
- deduction
- deduction theorem
- deductive
- deep embedding
- defeasible
- defeater
- definee
- definite clause
- deflationary
- degree
- De Morgan's law
- De Morgan's theorem
- denial
- denotation
- deontic logic
- depth
- derive
- description logic
- desitive
- destructive sorites
- determine
- dialetheia
- dialetheism
- dichotomy
- difference
- differentia
- dilemma
- direct