]> 2026-08-02T20:27:06+00:00 Logic 14 en Logic Boolean network 0 en Boolean network Statistical syllogism 0 en Statistical syllogism Inference procedure 0 en Inference procedure Diagrammatic reasoning 0 en Diagrammatic reasoning Intensional definition 0 en Intensional definition Theoretical definition 0 en Theoretical definition Persuasive definition 0 en Persuasive definition Inverse (logic) 0 en Inverse (logic) Insolubilia 0 en Insolubilia Abacus logic 0 en Abacus logic Predicables 0 en Predicables Ostensive definition 0 en Ostensive definition Precising definition 0 en Precising definition Canonical form 0 en Canonical form Lexical definition 0 en Lexical definition Abductive validation 0 en Abductive validation Linear temporal logic 0 en Linear temporal logic Principle of explosion 0 en Principle of explosion Stipulative definition 0 en Stipulative definition Counterfactual conditional 0 en Counterfactual conditional Square of opposition 0 en Square of opposition Law of identity 0 en Law of identity Rule of inference 0 en Rule of inference Truth function 0 en Truth function Proof procedure 0 en Proof procedure Polysyllogism 0 en Polysyllogism Natural kind 0 en Natural kind Conditional proof 0 en Conditional proof Propositional formula 0 en Propositional formula Strict conditional 0 en Strict conditional Structural induction 0 en Structural induction Original proof of Gödel's completeness theorem 0 en Original proof of Gödel's completeness theorem Minor premise 0 en Minor premise Logical reasoning 0 en Logical reasoning Cogency 0 en Cogency Natural deduction 0 en Natural deduction Admissible rule 0 en Admissible rule Apophasis 0 en Apophasis Non-monotonic logic 0 en Non-monotonic logic Abductive reasoning 0 en Abductive reasoning Vacuous truth 0 en Vacuous truth Decidability (logic) 0 en Decidability (logic) Extensional definition 0 en Extensional definition Soundness 0 en Soundness Problem of multiple generality 0 en Problem of multiple generality Logical disjunction 0 en Logical disjunction Logical equivalence 0 en Logical equivalence Reflexive relation 0 en Reflexive relation Downward entailing 0 en Downward entailing Polarity item 0 en Polarity item Cumulativity 0 en Cumulativity Idempotency of entailment 0 en Idempotency of entailment Classical logic 0 en Classical logic Quantization (linguistics) 0 en Quantization (linguistics) Antecedent (logic) 0 en Antecedent (logic) Law of excluded middle 0 en Law of excluded middle Semantics of logic 0 en Semantics of logic Nonfirstorderizability 0 en Nonfirstorderizability Peirce's law 0 en Peirce's law Necessary and sufficient conditions 0 en Necessary and sufficient conditions Is logic empirical? 0 en Is logic empirical? Monotonicity of entailment 0 en Monotonicity of entailment Decision problem 0 en Decision problem As I Was Going to St Ives 0 en As I Was Going to St Ives Principle of distributivity 0 en Principle of distributivity Quantification 0 en Quantification Empty name 0 en Empty name Non-Aristotelian logic 0 en Non-Aristotelian logic Logical conjunction 0 en Logical conjunction Plural quantification 0 en Plural quantification Truth-value semantics 0 en Truth-value semantics Soundness theorem 0 en Soundness theorem Consequent 0 en Consequent Ternary logic 0 en Ternary logic Obversion 0 en Obversion Generalization 0 en Generalization Table of logic symbols 0 en Table of logic symbols Belief revision 0 en Belief revision Pragmatic theory of truth 0 en Pragmatic theory of truth Defeasible reasoning 0 en Defeasible reasoning Hume's principle 0 en Hume's principle Counter-intuitive 0 en Counter-intuitive Defeasible logic 0 en Defeasible logic Multi-valued logic 0 en Multi-valued logic Conversion (logic) 0 en Conversion (logic) Haecceity 0 en Haecceity Proof theory 0 en Proof theory Doxa 0 en Doxa Quasi-syllogism 0 en Quasi-syllogism Laws of Form 0 en Laws of Form Barbershop paradox 0 en Barbershop paradox Sheffer stroke 0 en Sheffer stroke Indirect self-reference 0 en Indirect self-reference Indicative conditional 0 en Indicative conditional Relevance 0 en Relevance Distribution of terms 0 en Distribution of terms Assertoric 0 en Assertoric Apodeictic 0 en Apodeictic One-sided argument 0 en One-sided argument Antinomy 0 en Antinomy RAS syndrome 0 en RAS syndrome Universal logic 0 en Universal logic Logical consequence 0 en Logical consequence Logical graph 0 en Logical graph Commutativity of conjunction 0 en Commutativity of conjunction Supertask 0 en Supertask Condition of possibility 0 en Condition of possibility Accessibility relation 0 en Accessibility relation Case analysis 0 en Case analysis Retroduction 0 en Retroduction Inquiry 0 en Inquiry Antepredicament 0 en Antepredicament Hypostatic abstraction 0 en Hypostatic abstraction Continuous predicate 0 en Continuous predicate Prescisive abstraction 0 en Prescisive abstraction Difference (philosophy) 0 en Difference (philosophy) Finitary boolean function 0 en Finitary boolean function Relative term 0 en Relative term Entitative graph 0 en Entitative graph Philosophy of logic 0 en Philosophy of logic Multiple-conclusion logic 0 en Multiple-conclusion logic Proposition 0 en Proposition Explanandum 0 en Explanandum Misconception 0 en Misconception Intension 0 en Intension Charles Sanders Peirce bibliography 0 en Peirce, Charles Sanders Logical constant 0 en Logical constant Deviant logic 0 en Deviant logic Parametric operator 0 en Parametric operator Multigrade operator 0 en Multigrade operator Minimal negation operator 0 en Minimal negation operator Zeroth-order logic 0 en Zeroth-order logic Chu space 0 en Chu space Term logic 0 en Term logic Relation composition 0 en Relation composition Relation reduction 0 en Relation reduction Pragmatic maxim 0 en Pragmatic maxim End term 0 en End term Major term 0 en Major term Extension (predicate logic) 0 en Extension (predicate logic) Triadic relation 0 en Triadic relation Logical NOR 0 en Logical NOR Minor term 0 en Minor term Material conditional 0 en Material conditional Clause (logic) 0 en Clause (logic) Distribution rule 0 en Distribution rule Pleonasm 0 en Pleonasm Object of the mind 0 en Object of the mind Ariadne's thread (logic) 0 en Ariadne's thread (logic) Logical value 0 en Logical value Testability 0 en Testability Condensed Detachment 0 en Condensed Detachment Common knowledge (logic) 0 en Common knowledge (logic) Probabilistic logic 0 en Probabilistic logic Principle of bivalence 0 en Principle of bivalence Law of thought 0 en Law of thought Third-cause fallacy 0 en Third-cause fallacy Normal form (natural deduction) 0 en Normal form (natural deduction) Drinker paradox 0 en Drinker paradox Negation 0 en Negation History of logic 0 en History of logic Comparability 0 en Comparability Dynamic logic 0 en Dynamic logic Consequence operator 0 en Consequence operator Herbrandization 0 en Herbrandization Propositional representation 0 en Propositional representation Truth condition 0 en Truth condition Axiom independence 0 en Axiom independence Existential graph 0 en Existential graph Well-formed formula 0 en Well-formed formula What the Tortoise Said to Achilles 0 en What the Tortoise Said to Achilles Syllogism 0 en Syllogism First-order logic 0 en First-order logic Transposition (logic) 0 en Transposition (logic) Nixon diamond 0 en Nixon diamond Predicate (logic) 0 en Predicate (logic) Logical implication 0 en Logical implication Deductive reasoning 0 en Deductive reasoning Laws of classical logic 0 en Laws of classical logic Round square copula 0 en Round square copula Noneism 0 en Noneism Definitions of Logic 0 en Definitions of Logic Ontological commitment 0 en Ontological commitment Enumerative definition 0 en Enumerative definition Fitch-style calculus 0 en Fitch-style calculus Axiom 0 en Axiom Intensional statement 0 en Intensional statement Composition of relations 0 en Composition of relations Don't-care (logic) 0 en Don't-care (logic) Deductive closure 0 en Deductive closure Transferable belief model 0 en Transferable belief model Consequentia mirabilis 0 en Consequentia mirabilis Term logic/Danielsavoiu's summary 0 en Term logic/Danielsavoiu's summary Logical harmony 0 en Logical harmony Generalized quantifier 0 en Generalized quantifier Trikonic 0 en Trikonic Colorless green ideas sleep furiously 0 en Colorless green ideas sleep furiously Inconsistent triad 0 en Inconsistent triad Consensus theorem 0 en Consensus theorem Specialization 0 en Specialization Logical extreme 0 en Logical extreme Porphyrian tree 0 en Porphyrian tree Lindström's theorem 0 en Lindström's theorem Digital timing diagram 0 en Digital timing diagram Contraposition (traditional logic) 0 en Contraposition (traditional logic) Tetralemma 0 en Tetralemma Pramāṇa-samuccaya 0 en Pramāṇa-samuccaya Predicate abstraction 0 en Predicate abstraction Supervaluationism 0 en Supervaluationism Anangeon 0 en Anangeon Informal logic 0 en Informal logic Principle of nonvacuous contrast 0 en Principle of nonvacuous contrast Logical biconditional 0 en Logical biconditional Predicate variable 0 en Predicate variable Counterexample 0 en Counterexample Warnier/Orr diagram 0 en Warnier/Orr diagram Analytic philosophy 0 en Analytic philosophy Logical form 0 en Logical form Conditional quantifier 0 en Conditional quantifier Performative contradiction 0 en Performative contradiction Modal logic 0 en Modal logic Redundancy (language) 0 en Redundancy (language) Ceteris paribus 0 en Ceteris paribus Probabilistic argumentation 0 en Probabilistic argumentation Self-refuting idea 0 en Self-refuting idea Practical arguments 0 en Practical arguments Fitch's paradox of knowability 0 en Fitch's paradox of knowability Logica Nova 0 en Logica Nova Cyclic negation 0 en Cyclic negation If and only if 0 en If and only if Composition of Causes 0 en Composition of Causes Operator 0 en Operator Just-so story 0 en Just-so story Formal fallacy 0 en Formal fallacy File:Square of Opposition.png 6 en Square of Opposition.png Tacit assumption 0 en Tacit assumption Predicate logic 0 en Predicate logic Exclusive or 0 en Exclusive or Logical equality 0 en Logical equality Null (SQL) 0 en Null (SQL) Train of thought 0 en Train of thought Realizability 0 en Realizability Predicate (grammar) 0 en Predicate (grammar) Contradiction 0 en Contradiction Intensional fallacy 0 en Intensional fallacy Explanation 0 en Explanation Informal fallacy 0 en Informal fallacy Atomic actions 0 en Atomic actions Gain (information retrieval) 0 en Gain (information retrieval) Logical connective 0 en Logical connective Argumentation theory 0 en Argumentation theory Mathematical logic 0 en Mathematical logic Metamathematics 0 en Metamathematics Association for Symbolic Logic 0 en Association for Symbolic Logic Axiomatic set theory 0 en Axiomatic set theory New Foundations 0 en New Foundations Portal:Logic 0 en Portal:Logic De dicto and de re 0 en De dicto and de re Computability logic 0 en Computability logic Self-reference 0 en Self-reference Affirming the consequent 0 en Affirming the consequent Barcan formula 0 en Barcan formula Biconditional elimination 0 en Biconditional elimination Biconditional introduction 0 en Biconditional introduction Cointerpretability 0 en Cointerpretability Combinational logic 0 en Combinational logic Conjunction elimination 0 en Conjunction elimination Conjunction introduction 0 en Conjunction introduction Conjunctive normal form 0 en Conjunctive normal form Constructive dilemma 0 en Constructive dilemma Contraposition 0 en Contraposition Cotolerant sequence 0 en Cotolerant sequence Curry's paradox 0 en Curry's paradox Deduction theorem 0 en Deduction theorem Degree of truth 0 en Degree of truth Denying the antecedent 0 en Denying the antecedent Disjunction elimination 0 en Disjunction elimination Disjunction introduction 0 en Disjunction introduction Disjunctive syllogism 0 en Disjunctive syllogism Double negative elimination 0 en Double negative elimination Existential fallacy 0 en Existential fallacy Existential quantification 0 en Existential quantification Fallacy of distribution 0 en Fallacy of distribution Fallacy of four terms 0 en Fallacy of four terms First-order predicate 0 en First-order predicate Fluidics 0 en Fluidics Forward chaining 0 en Forward chaining Free variables and bound variables 0 en Free variables and bound variables Game semantics 0 en Game semantics Hypothetical syllogism 0 en Hypothetical syllogism Affine logic 0 en Affine logic Löb's theorem 0 en Löb's theorem Logicism 0 en Logicism Trivialism 0 en Trivialism Epistemic possibility 0 en Epistemic possibility Logic of information 0 en Logic of information Contradictio in terminis 0 en Contradictio in terminis Multimodal logic 0 en Multimodal logic Argument map 0 en Argument map Dialectica space 0 en Dialectica space Grelling–Nelson paradox 0 en Grelling–Nelson paradox Eristic 0 en Eristic Counterpart theory 0 en Counterpart theory Description logic 0 en Description logic Logonym 0 en Logonym Subjective logic 0 en Subjective logic Formal epistemology 0 en Formal epistemology Faceted boolean query 0 en Faceted boolean query Metalanguage 0 en Metalanguage Vagueness 0 en Vagueness Ad captandum 0 en Ad captandum Fallacies of definition 0 en Fallacies of definition Concept 0 en Concept Reasoning 0 en Reasoning Forward thinking 0 en Forward thinking Functional decomposition 0 en Functional decomposition Zhegalkin polynomial 0 en Zhegalkin polynomial Erotetics 0 en Erotetics Circuit minimization 0 en Circuit minimization Logic alphabet 0 en Logic alphabet Perceptual paradox 0 en Perceptual paradox Relation (mathematics) 0 en Relation (mathematics) Meta-sentence 0 en Meta-sentence Connexive logic 0 en Connexive logic List of paradoxes 0 en List of paradoxes Effective method 0 en Effective method Completeness 0 en Completeness Law of noncontradiction 0 en Law of noncontradiction Conditional disjunction 0 en Conditional disjunction Contradictio in adjecto 0 en Contradictio in adjecto Atomic sentence 0 en Atomic sentence Argument (Logic) 0 en Argument (Logic) Entailment 0 en Entailment Middle term 0 en Middle term De Morgan's laws 0 en De Morgan's laws Oxymoron 0 en Oxymoron Naive set theory 0 en Naive set theory Inductive reasoning 0 en Inductive reasoning Formalism (philosophy) 0 en Formalism (philosophy) Analogy 0 en Analogy A fortiori argument 0 en A fortiori argument Boolean logic in computer science 0 en Boolean logic in computer science Inference 0 en Inference Exclusive 0 en Exclusive Modus tollendo ponens 0 en Modus tollendo ponens List of basic topics in logic 0 en List of basic topics in logic Validity 0 en Validity Common sense 0 en Common sense List of topics in logic 0 en List of topics in logic Paradox 0 en Paradox Quantum logic 0 en Quantum logic The chicken or the egg 0 en Chicken or Egg Logic 0 en Logic Sign relational complex 0 en Sign relational complex Mutually exclusive events 0 en Mutually exclusive events Logicians 14 en Logicians Paradoxes 14 en Paradoxes Mathematical logic 14 en Mathematical logic Lemmas 14 en Lemmas Logical fallacies 14 en Logical fallacies Systems of set theory 14 en Systems of set theory Theorems 14 en Theorems Fuzzy logic 14 en Fuzzy logic Modal logic 14 en Modal logic Philosophical logic 14 en Philosophical logic Latin logical phrases 14 en Latin logical phrases Laws of thought 14 en Laws of thought Rules of inference 14 en Rules of inference Proof theory 14 en Proof theory History of logic 14 en History of logic Supertasks 14 en Supertasks Arguments 14 en Arguments Logic Portal 14 en Logic Portal Sentential logic 14 en Sentential logic Dichotomies 14 en Dichotomies A fortiori argument 0 en A fortiori argument Abacus logic 0 en Abacus logic Abductive reasoning 0 en Abductive reasoning Abductive validation 0 en Abductive validation Accessibility relation 0 en Accessibility relation Ad captandum 0 en Ad captandum Admissible rule 0 en Admissible rule Affine logic 0 en Affine logic Affirming the consequent 0 en Affirming the consequent Analogy 0 en Analogy Analytic philosophy 0 en Analytic philosophy Anangeon 0 en Anangeon Antecedent (logic) 0 en Antecedent (logic) Antepredicament 0 en Antepredicament Antinomy 0 en Antinomy Apodeictic 0 en Apodeictic Apophasis 0 en Apophasis Argument (Logic) 0 en Argument (Logic) Argument map 0 en Argument map Argumentation theory 0 en Argumentation theory Ariadne's thread (logic) 0 en Ariadne's thread (logic) As I Was Going to St Ives 0 en As I Was Going to St Ives Assertoric 0 en Assertoric Association for Symbolic Logic 0 en Association for Symbolic Logic Atomic actions 0 en Atomic actions Atomic sentence 0 en Atomic sentence Axiom 0 en Axiom Axiom independence 0 en Axiom independence Axiomatic set theory 0 en Axiomatic set theory Barbershop paradox 0 en Barbershop paradox Barcan formula 0 en Barcan formula Belief revision 0 en Belief revision Biconditional elimination 0 en Biconditional elimination Biconditional introduction 0 en Biconditional introduction Boolean logic in computer science 0 en Boolean logic in computer science Boolean network 0 en Boolean network Canonical form 0 en Canonical form Case analysis 0 en Case analysis Ceteris paribus 0 en Ceteris paribus The chicken or the egg 0 en Chicken or Egg Chu space 0 en Chu space Circuit minimization 0 en Circuit minimization Classical logic 0 en Classical logic Clause (logic) 0 en Clause (logic) Cogency 0 en Cogency Cointerpretability 0 en Cointerpretability Colorless green ideas sleep furiously 0 en Colorless green ideas sleep furiously Combinational logic 0 en Combinational logic Common knowledge (logic) 0 en Common knowledge (logic) Common sense 0 en Common sense Commutativity of conjunction 0 en Commutativity of conjunction Comparability 0 en Comparability Completeness 0 en Completeness Composition of Causes 0 en Composition of Causes Composition of relations 0 en Composition of relations Computability logic 0 en Computability logic Concept 0 en Concept Condensed Detachment 0 en Condensed Detachment Condition of possibility 0 en Condition of possibility Conditional disjunction 0 en Conditional disjunction Conditional proof 0 en Conditional proof Conditional quantifier 0 en Conditional quantifier Conjunction elimination 0 en Conjunction elimination Conjunction introduction 0 en Conjunction introduction Conjunctive normal form 0 en Conjunctive normal form Connexive logic 0 en Connexive logic Consensus theorem 0 en Consensus theorem Consequence operator 0 en Consequence operator Consequent 0 en Consequent Consequentia mirabilis 0 en Consequentia mirabilis Constructive dilemma 0 en Constructive dilemma Continuous predicate 0 en Continuous predicate Contradictio in adjecto 0 en Contradictio in adjecto Contradictio in terminis 0 en Contradictio in terminis Contradiction 0 en Contradiction Contraposition 0 en Contraposition Contraposition (traditional logic) 0 en Contraposition (traditional logic) Conversion (logic) 0 en Conversion (logic) Cotolerant sequence 0 en Cotolerant sequence Counter-intuitive 0 en Counter-intuitive Counterexample 0 en Counterexample Counterfactual conditional 0 en Counterfactual conditional Counterpart theory 0 en Counterpart theory Cumulativity 0 en Cumulativity Curry's paradox 0 en Curry's paradox Cyclic negation 0 en Cyclic negation De Morgan's laws 0 en De Morgan's laws De dicto and de re 0 en De dicto and de re Decidability (logic) 0 en Decidability (logic) Decision problem 0 en Decision problem Deduction theorem 0 en Deduction theorem Deductive closure 0 en Deductive closure Deductive reasoning 0 en Deductive reasoning Defeasible logic 0 en Defeasible logic Defeasible reasoning 0 en Defeasible reasoning Definitions of Logic 0 en Definitions of Logic Degree of truth 0 en Degree of truth Denying the antecedent 0 en Denying the antecedent Description logic 0 en Description logic Deviant logic 0 en Deviant logic INST 102 en INST Subcategory of 102 en Subcategory of