A Absorption, 32 Addition, 33 Adequacy Theorem, 80 AEIO, 38 Agreement, 98 Algebra, 7 Argument, 4, 9 Artificial Intelligence

Total Page:16

File Type:pdf, Size:1020Kb

A Absorption, 32 Addition, 33 Adequacy Theorem, 80 AEIO, 38 Agreement, 98 Algebra, 7 Argument, 4, 9 Artificial Intelligence Index A Constructive dilemma, 32 Absorption, 32 Contingent, 28 Addition, 33 Contradiction, 28, 46 Adequacy theorem, 80 Convince, 11 AEIO, 38 Corallary, 8 Agreement, 98 Cryptography, 9 Algebra, 7 Culture of proving, 4 Argument, 4, 9 Artificial Intelligence, 118 Assertions, 4, 19, 26 D Atomic, 60, 95 Data Analyst, 3 Axioms, 15, 93 Data Scientist, 3 Davis, M., 119 Decision Support Systems, 3 B Deduction, 4 Biconditional, 29 Deduction rules, 30, 93 Bill Nye, 11 Deduction theorem, 79, 106 Biology, 3 De Morgan, 29, 39 Bound variables, 98 Derivation, 30 Direct method, 43 Disjunction, 26 C Disjunctive Normal Form (DNF), 83 Calculus, 9 Distribution, 39 Cardinality, 44 Domain, 36, 99 Categorical forms, 38 Double Negation, 29 Categorical syllogism, 36 Dysjunctive syllogism, 32 Combinatorics, 22 Commutativity, 39 Complete, 77 E Completeness, 104 Econometrics, 3 Completeness theorem, 81, 82 Emojies, 16 Conjunction, 26, 33 Engineering, 9 Conjunctive Normal Form (CNF), 83 Entry, 59 Connectives, 26, 62 Euclid, 5 Consequences, 69 Euclidean Division Theorem, 48 Consistency, 77, 104 Euclid’s Theorem, 9 Constants, 36, 94 Ex falso quodlibet, 34 © Springer Nature Switzerland AG 2021 131 L. P. Cruz, Theoremus, https://doi.org/10.1007/978-3-030-68375-7 132 Index Existential generalization, 41 Law of Indentity (LOI), 30 Existential instantiation, 41 Law of Non-Contradiction (LNC), 30 Exists, 23 Leibnitz principle, 103 Exportation, 29 Lemma, 7 Logical equivalence, 98 Logic, equivalence, 29 F Logic, higher order, 93 Fallacy, 12, 42 Logic, non-classical, 30 Fallacy, logic, 25 Logic, propositional, 25 FALSE, 27 Logic, rules, 15 FALSITY, 66 Financial Quant, 3 First-Order Logic (FOL), 36, 39, 93 M First-order theory, 122 Marketing Quants, 3 Fitch Style, 30 Material Implication, 29 FOL, semantics, 99 Mathematical Induction (MI), 49, 51 FOL, syntax, 94 Mathematical induction, strong form, 50 Formulas, 29 Mathematical induction, weak form, 49 Formulas, well-formed, 60 Mathematical logic, 123 Free variables, 98 Model, 82 Functions, 94 Modus ponens, 31, 51 Modus tollens, 32 G Gentzen, Gerhard, 73 N Geometry, 5, 7 Natural deduction, 30, 73 Gödel, Kurt, 106 Notation, 16 Greek, 4 Number theory, 9 Groups, 123 O H Operations Research, 3 Higher Order Logic (HOL), 93 P I Philosophy, 4 Iff, 21 Physics, 9 If-Then, 20 PL, formal system, 59 Implication, 26 PL, semantics, 66 Indirect method, 44 PL, syntax, 60 Individuals, 36 Predicate Logic, 35, 36 Induction Hypothesis (I.H.), 49, 51 Predicates, 37, 94 Inference rules, 30, 41 Premise, 4 Inference rules, Gentzen, 74 Prenex form, 109 Initial formulas, 122 Primitive, 60, 95 Interpretation, 66 Prolog, 122 Proof, 4, 11 Proof, by cases, 48 K Proof, by construction, 54 Knowledge base, 122 Proof by contradiction, 45 Knowledge representation, 122 Proof, left-right, 46 Proof, rigorous, 14 Proof, sound, 15 L Proof, valid, 15 Law of Excluded Middle (LEM), 30 Proper symbols, 122 Index 133 Propositional Logic, 35 Standardizing variables, 108 Propositions, 7, 19 Statement, 4, 19, 98 Psychology, 3 Statements, equational, 21 Putnam, H., 119 Statements, relational, 21 Pythagorean Theorem, 8, 22 Statistics, 3 Structural induction, 64 Substitution, 98, 114 Q Syntax diagram, 61 Quantification rules, 102 Quantifiers, 22, 37, 108 T Tarski, A., 102 R Tautology, 70 RAA, 33, 45 Terms, 94 Rectified form, 108 Theorems, 3 Reduction ad absurdum, 33 Theories, 60, 70, 78 Refutation, 84 Thinking Skills, 5 Relations, 37 Tradition, 4 Resolution, 81, 107 Transposition, 29 Resolution calculus, 84 TRUE, 4, 10, 27 Resolution theorem, 87 TRUTHFULNESS, 66 Resolvents, 84 Truth table, 27 Rings, 124 Robinson, J. A., 91 U Unification, 114 S Universal generalization, 41 Satisfiability, 69 Universal instantiation, 41 Satisfiable, 38, 101 Unsatisfiable, 69, 101 Schemas, 29 Sentence, 19, 98 Sequent calculus, 73 V Simplification, 32 Validity, 11, 69 Skolem normal form, 113 Valuations, 26, 38 Skolem, T., 111 Variables, 36, 93 Skolemization, 113 Variables, propositional, 60 Skolemizing, 111 Velani, C., 127 Socrates, 9, 10, 35 Soundness, 12, 77, 104 Soundness theorem, 78, 104, 106 W Square of Opposition (SoO), 39 Willem de Vlamigh, 11.
Recommended publications
  • Chapter 10: Symbolic Trails and Formal Proofs of Validity, Part 2
    Essential Logic Ronald C. Pine CHAPTER 10: SYMBOLIC TRAILS AND FORMAL PROOFS OF VALIDITY, PART 2 Introduction In the previous chapter there were many frustrating signs that something was wrong with our formal proof method that relied on only nine elementary rules of validity. Very simple, intuitive valid arguments could not be shown to be valid. For instance, the following intuitively valid arguments cannot be shown to be valid using only the nine rules. Somalia and Iran are both foreign policy risks. Therefore, Iran is a foreign policy risk. S I / I Either Obama or McCain was President of the United States in 2009.1 McCain was not President in 2010. So, Obama was President of the United States in 2010. (O v C) ~(O C) ~C / O If the computer networking system works, then Johnson and Kaneshiro will both be connected to the home office. Therefore, if the networking system works, Johnson will be connected to the home office. N (J K) / N J Either the Start II treaty is ratified or this landmark treaty will not be worth the paper it is written on. Therefore, if the Start II treaty is not ratified, this landmark treaty will not be worth the paper it is written on. R v ~W / ~R ~W 1 This or statement is obviously exclusive, so note the translation. 427 If the light is on, then the light switch must be on. So, if the light switch in not on, then the light is not on. L S / ~S ~L Thus, the nine elementary rules of validity covered in the previous chapter must be only part of a complete system for constructing formal proofs of validity.
    [Show full text]
  • The Bounds of Logic Part 2
    To Ik a Logical Term 37 Chapter 3 To Be a Logical Ternl logic; at the same time, the principles developed by Tarski in the 1930s are still the principles underlying logic in the early 1990s. My interest in Tarski is, Ileedless to say, not historical. I am interested in the modern conception of logic as it evolved out of Tarski's early work in semantics. The Task of Logic and the Origins of Semantics In "The Concept of Truth in Formalized Languages" (1933). "On the Concept of Logical Consequence" (1936a), and "The Establishment of Scientific Semantics" (1936b), Tarski describes the semantic project as comprising two tasks: Since the discovery ofgeneralized quantifiers by A. Mostowski (1957), the I. Definition of the gelleral concept of truth for formalized languages question "What is a logical term?" has taken on a significance it did not 2. Dclinition of the logical concepts of truth, consequence, consistency. have before. Are Mostowski's quantifiers Hlogical" quantifiers'! Do they etc. , differ in any significant way from the standard existential and universal The main purpose of (I) is to secure meta logic against semantic para­ I quantifiers? What logical operators, if any, has he left out? What. ill doxes. Tarski worried lest the ullcritical usc of semantic concepts prior to I all, are the first- and second-level predicates and rcla tions that can be his work concealed an inconsistency: a hidden fallacy would undermine construed as logical? the cntire venturc. Be therefore sought precise, materially, as well as One way in which I do not want to ask the question is, "What, ill Ihe formally, correct definitions of "truth" and related notions to serve as a I nature ofthings, makes a property or a relation logical'!" On this road lie hedge against paradox.
    [Show full text]
  • Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Dagstuhl Research Online Publication Server Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus Ryuta Arisaka National Institute of Informatics, Tokyo, Japan [email protected] Abstract Development of a contraction-free BI sequent calculus, be the contraction-freeness implicit or explicit, has not been successful in the literature. We address this problem by presenting such a sequent system. Our calculus involves no structural rules. It should be an insight into non- formula contraction absorption in other non-classical logics. Contraction absorption in sequent calculus is associated to simpler cut elimination and to efficient proof searches. 1998 ACM Subject Classification F.4.1 Mathematical Logic Keywords and phrases cut-elimination, contraction-free, sequent calculus, proof theory, BI, logic combination Digital Object Identifier 10.4230/LIPIcs.FSCD.2016.8 1 Introduction Propositional BI [22] is a combined logic formed from propositional intuitionistic logic IL and propositional multiplicative fragment of intuitionistic linear logic MILL. Recall that IL, and respectively MILL, have the following logical connectives: {>0, ⊥0, ∧2, ∨2, ⊃2} (Cf. any standard text on the mathematical logic for intuitionistic logic; [16] for instance), and 1 respectively, {10, ⊗2, −◦2} (Cf. [11] for linear logic). A rough intuition about BI is that a BI expression is any expression that is constructable from (P, {>0, ⊥0, ∧2, ∨2, ⊃2, 10, ⊗2, −◦2}). P denotes some set of propositional letters. Following the popular convention in BI, we use the symbol ∗ in place of ⊗, and −∗ in place of −◦. In place of 1, we use ∗>, emphasising some link of its to >, as to be shortly stated.
    [Show full text]
  • What Does It Mean to Say That Logic Is Formal?
    WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? by John Gordon MacFarlane A.B., Philosophy, Harvard College, 1991 M.A., Philosophy, University of Pittsburgh, 1994 M.A., Classics, University of Pittsburgh, 1997 Submitted to the Graduate Faculty of Arts and Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2000 i Robert Brandom, Distinguished Service Professor of Philosophy (Director) Nuel Belnap, Alan Ross Anderson Distinguished Professor of Philosophy (Second Reader) Joseph Camp, Professor of Philosophy Danielle Macbeth, Associate Professor of Philosophy, Haverford College (Outside Reader) Kenneth Manders, Associate Professor of Philosophy Gerald Massey, Distinguished Service Professor of Philosophy ii WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? John Gordon MacFarlane, PhD University of Pittsburgh, 2000 Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a pri- ori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say that logic is distinctively formal? Three things: logic is said to be formal (or “topic-neutral”) (1) in the sense that it provides constitutive norms for thought as such, (2) in the sense that it is indifferent to the particular identities of objects, and (3) in the sense that it abstracts entirely from the semantic content of thought.
    [Show full text]
  • Transpositions Familiar to Artists, This Book Shows How Moves Can Be Made Between Established Positions and Completely New Ground
    ORPHEUS New modes of epistemic relationships in artistic research ORPHEUS Research leads to new insights rupturing the existent fabric of knowledge. Situated in the still evolving field of artistic research, this book investigates a fundamental quality of this process. Building on the lessons of deconstruction, artistic research invents new modes of epistemic relationships that include aesthetic dimensions. Under the heading transposition, seventeen artists, musicians, and theorists explain how one thing may turn into another in a spatio- temporal play of identity and difference that has the power to expand into the unknown. By connecting materially concrete positions in a way Transpositions familiar to artists, this book shows how moves can be made between established positions and completely new ground. In doing so, research changes from a process that expands knowledge to one that creatively Aesthetico-Epistemic Operators reinvents it. in Artistic Research Michael Schwab is the founding editor-in-chief of the Journal for Artistic Research (JAR). He is senior researcher of MusicExperiment21 (Orpheus Institute, Ghent) and joint project leader of Transpositions: Artistic Data Exploration (University of Music and Performing Arts Graz; University of Applied Arts Vienna). Transpositions INSTITUTE Edited by Michael Schwab IN ISBN 9789462701410 S TIT U T 9 789462 701410 > E SERIES Transpositions cover final.indd 1 05/07/18 14:38 Transpositions: Aesthetico-Epistemic Operators in Artistic Research TRANSPOSITIONS: AESTHETICO- EPISTEMIC OPERATORS
    [Show full text]
  • MGF1121 Course Outline
    MGF1121 Course Outline Introduction to Logic............................................................................................................. (3) (P) Description: This course is a study of both the formal and informal nature of human thought. It includes an examination of informal fallacies, sentential symbolic logic and deductive proofs, categorical propositions, syllogistic arguments and sorites. General Education Learning Outcome: The primary General Education Learning Outcome (GELO) for this course is Quantitative Reasoning, which is to understand and apply mathematical concepts and reasoning, and analyze and interpret various types of data. The GELO will be assessed through targeted questions on either the comprehensive final or an outside assignment. Prerequisite: MFG1100, MAT1033, or MAT1034 with a grade of “C” or better, OR the equivalent. Rationale: In order to function effectively and productively in an increasingly complex democratic society, students must be able to think for themselves to make the best possible decisions in the many and varied situations that will confront them. Knowledge of the basic concepts of logical reasoning, as offered in this course, will give students a firm foundation on which to base their decision-making processes. Students wishing to major in computer science, philosophy, mathematics, engineering and most natural sciences are required to have a working knowledge of symbolic logic and its applications. Impact Assessment: Introduction to Logic provides students with critical insight
    [Show full text]
  • Propositional Logic
    Propositional Logic Fall 2014 Propositional Logic Fall 2014 1 / 30 Introduction Learning Outcomes for this Presentation Learning Outcomes . In this session we will Define the elements of propositional logic: statements and operations, including implication, and its converse, inverse, and negation. Translate English expressions into logical statements. Use both truth tables and derivations to demonstrate equivalence of logical statements. Define common tautologies, contradictions, and equivalences. Recognize and employ modus ponens and modus tollens and other forms of valid argumentation. Propositional Logic Fall 2014 2 / 30 A formal system for expressing truth and falsity. Provides a method of reasoning from given truths (called axioms) to new truths (called propositions or theorems). Logic is the skeleton that supports mathematical truth-making, i.e., proof-reading and proof-writing. Logic is the glue that holds computers and programs together. Introduction Learning Outcomes for this Presentation It's difficult, and possibly counterproductive, to provide a concise description of logic. What is logic? Why is it important? How will we use it in this class? Propositional Logic Fall 2014 3 / 30 Provides a method of reasoning from given truths (called axioms) to new truths (called propositions or theorems). Logic is the skeleton that supports mathematical truth-making, i.e., proof-reading and proof-writing. Logic is the glue that holds computers and programs together. Introduction Learning Outcomes for this Presentation It's difficult, and possibly counterproductive, to provide a concise description of logic. What is logic? A formal system for expressing truth and falsity. Why is it important? How will we use it in this class? Propositional Logic Fall 2014 3 / 30 Logic is the skeleton that supports mathematical truth-making, i.e., proof-reading and proof-writing.
    [Show full text]
  • Chapter 4, Propositional Calculus
    ECS 20 Chapter 4, Logic using Propositional Calculus 0. Introduction to Discrete Mathematics. 0.1. Discrete = Individually separate and distinct as opposed to continuous and capable of infinitesimal change. Integers vs. real numbers, or digital sound vs. analog sound. 0.2. Discrete structures include sets, permutations, graphs, trees, variables in computer programs, and finite-state machines. 0.3. Five themes: logic and proofs, discrete structures, combinatorial analysis, induction and recursion, algorithmic thinking, and applications and modeling. 1. Introduction to Logic using Propositional Calculus and Proof 1.1. “Logic” is “the study of the principles of reasoning, especially of the structure of propositions as distinguished from their content and of method and validity in deductive reasoning.” (thefreedictionary.com) 2. Propositions and Compound Propositions 2.1. Proposition (or statement) = a declarative statement (in contrast to a command, a question, or an exclamation) which is true or false, but not both. 2.1.1. Examples: “Obama is president.” is a proposition. “Obama will be re-elected.” is not a proposition. 2.1.2. “This statement is false.” is a paradox that many would not consider a proposition. 2.1.3. For ECS 20, we will use p, q, and r to symbolize propositions, subpropositions, or logical variables which take true or false values. 2.2. Compound Proposition = a proposition that has its truth value completely determined by the truth values of two or more subpropositions and the operators (also called connectives) connecting them. 3. Basic Logical Operations 3.1. Conjunction = = “and.” If both p and q are true, then p q is true, otherwise p q is false.
    [Show full text]
  • Logic Chapter 9
    Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9- Sentential Proofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truth-functional arguments. The methods for proving validity are as follows: 1. The Truth Table Method: We can prove that a particular argument is valid if the complete interpretation of the conditional proposition that represents that argument is shown by a truth table to be tautological. 2. The Short-Cut Method of Assigning Truth-Values: We can prove that a particular argument is valid if it is impossible for the antecedent of the conditional proposition that expresses it to be true when the consequent of that proposition is assigned the truth-value of false. 3. The Valid Argument Form Method: We can show that a particular argument is valid if it is a substitution instance of one of the five valid argument forms we have introduced so far (Modus Ponens, Modus Tollens, Hypothetical Syllogism, Disjunctive Syllogism, and Constructive Dilemma). These same three methods can be used for proving invalidity , as follows: 1. The Truth Table Method: We can prove that a particular argument is invalid if the complete interpretation of the conditional proposition that represents that argument is shown by a truth table not to be tautological. 2. The Short-Cut Method of Assigning Truth-Values: We can prove that a particular argument is invalid if it is possible for the antecedent of the conditional proposition that expresses it to be true when the consequent of that proposition is assigned the truth-value of false.
    [Show full text]
  • Common Sense for Concurrency and Inconsistency Tolerance Using Direct Logictm
    Published in ArXiv http://arxiv.org/abs/0812.4852 Common sense for concurrency and inconsistency tolerance using Direct LogicTM Carl Hewitt http://carlhewitt.info This paper is dedicated to John McCarthy. Abstract Transitivity of Argumentation ............................................. 8 Soundness, Faithfulness, and Adequacy .............................. 9 Direct Logic is a minimal fix to classical mathematical logic and statistical probability (fuzzy) inference that meets the requirements Housekeeping ...................................................................... 9 of large-scale Internet applications (including sense making for Self-refutation ...................................................................... 9 natural language) by addressing the following issues: Booleans ............................................................................ 10 inconsistency tolerance, contrapositive inference bug, and direct Two-way Deduction Theorem ........................................... 10 argumentation. Boolean equivalences ........................................................ 11 For example, in classical logic, (not WeekdayAt5PM) can be Splitting ............................................................................. 11 inferred from the premises (not TrafficJam) and Absorption ......................................................................... 12 WeekdayAt5PM infers TrafficJam. However, Direct Logic does Decidability of Inference in Boolean Direct Logic ............ 12 not sanction concluding (not WeekdayAt5PM)
    [Show full text]
  • Formal Logic AKA Symbolic Logic
    Formal Logic AKA Symbolic Logic We will be working problems, so please have paper and a writing instrument on hand. Course Outline Day 1 Day 2 Day 3 ● Housekeeping ● Prepositional Logic ● Logic Problems ● Propositional Logic Scope Informal Logic Set of techniques used to evaluate arguments made in everyday language. Formal Logic Set of formulae used to assign truth values to symbolic equations. Scope Informal Logic Set of techniques used to evaluate arguments made in everyday language. Formal Logic Rules of inference and replacement used to assign truth values to symbolic equations. Why Bother? ● Eliminate ambiguity ● Remove bias ● Nullify uncertainty Transform messy problems of language into clear, elegant, and unambiguous math problems. Abductive, Inductive, and Deductive Reasoning Abductive Start with a concrete instance. Draw a conclusion based on the best explanation. My lettuce plants nearly always die in January after a cold night. I hypothesize frosts in January kill my plants. Abductive, Inductive, and Deductive Reasoning Inductive Start with an hypothesis. Find supporting evidence. Find contradictory evidence. Generalize. Frost kills lettuce plants in January. True in 1970 - 2002, and 2004 - 2021. False in 2003. For practical purposes, assume lettuce will not survive through January. Abductive, Inductive, and Deductive Reasoning Deductive Start with what you know. Draw a conclusion. Frost usually kills lettuce in January. Lettuce takes 60 days to produce a crop. Therefore, for reliable results, plant lettuce no later than October. Abductive, Inductive, and Deductive Reasoning Deductive Start with what you know. Draw a conclusion. Frost usually kills lettuce in January. Lettuce takes 60 days to produce a crop. Therefore, for reliable results, plant lettuce no later than October.
    [Show full text]
  • Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus Ryuta Arisaka
    Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus Ryuta Arisaka To cite this version: Ryuta Arisaka. Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. 2014. hal-00982331 HAL Id: hal-00982331 https://hal.inria.fr/hal-00982331 Preprint submitted on 23 Apr 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus Ryuta Arisaka INRIA Saclay–Ile-de-France,ˆ Campus de l’Ecole´ Polytechnique Abstract. Development of a contraction-free BI sequent calculus, be it in the sense of G3i or G4i, has not been successful in literature. We address the open problem by presenting such a sequent system. In fact our calculus involves no structural rules. 1 Introduction Propositional BI [10] is a conservative extension of propositional intuitionistic logic IL and propositional multiplicative fragment of intuitionistic linear logic MILL (Cf. [6] for linear logic). It is conservative in the sense that all the theorems of IL and MILL are a theorem of BI. But the extension is not the least conservative. That is, there are expressions of BI that are not expressible in IL or MILL [10].
    [Show full text]