Notes on the Science of Logic 2009
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Mathematics Calculation Policy ÷
Mathematics Calculation Policy ÷ Commissioned by The PiXL Club Ltd. June 2016 This resource is strictly for the use of member schools for as long as they remain members of The PiXL Club. It may not be copied, sold nor transferred to a third party or used by the school after membership ceases. Until such time it may be freely used within the member school. All opinions and contributions are those of the authors. The contents of this resource are not connected with nor endorsed by any other company, organisation or institution. © Copyright The PiXL Club Ltd, 2015 About PiXL’s Calculation Policy • The following calculation policy has been devised to meet requirements of the National Curriculum 2014 for the teaching and learning of mathematics, and is also designed to give pupils a consistent and smooth progression of learning in calculations across the school. • Age stage expectations: The calculation policy is organised according to age stage expectations as set out in the National Curriculum 2014 and the method(s) shown for each year group should be modelled to the vast majority of pupils. However, it is vital that pupils are taught according to the pathway that they are currently working at and are showing to have ‘mastered’ a pathway before moving on to the next one. Of course, pupils who are showing to be secure in a skill can be challenged to the next pathway as necessary. • Choosing a calculation method: Before pupils opt for a written method they should first consider these steps: Should I use a formal Can I do it in my Could I use -
Logical Truth, Contradictions, Inconsistency, and Logical Equivalence
Logical Truth, Contradictions, Inconsistency, and Logical Equivalence Logical Truth • The semantical concepts of logical truth, contradiction, inconsistency, and logi- cal equivalence in Predicate Logic are straightforward adaptations of the corre- sponding concepts in Sentence Logic. • A closed sentence X of Predicate Logic is logically true, X, if and only if X is true in all interpretations. • The logical truth of a sentence is proved directly using general reasoning in se- mantics. • Given soundness, one can also prove the logical truth of a sentence X by provid- ing a derivation with no premises. • The result of the derivation is that X is theorem, ` X. An Example • (∀x)Fx ⊃ (∃x)Fx. – Suppose d satisfies ‘(∀x)Fx’. – Then all x-variants of d satisfy ‘Fx’. – Since the domain D is non-empty, some x-variant of d satisfies ‘Fx’. – So d satisfies ‘(∃x)Fx’ – Therefore d satisfies ‘(∀x)Fx ⊃ (∃x)Fx’, QED. • ` (∀x)Fx ⊃ (∃x)Fx. 1 (∀x)Fx P 2 Fa 1 ∀ E 3 (∃x)Fx 1 ∃ I Contradictions • A closed sentence X of Predicate Logic is a contradiction if and only if X is false in all interpretations. • A sentence X is false in all interpretations if and only if its negation ∼X is true on all interpretations. • Therefore, one may directly demonstrate that a sentence is a contradiction by proving that its negation is a logical truth. • If the ∼X of a sentence is a logical truth, then given completeness, it is a theorem, and hence ∼X can be derived from no premises. 1 • If a sentence X is such that if it is true in any interpretation, both Y and ∼Y are true in that interpretation, then X cannot be true on any interpretation. -
Pluralisms About Truth and Logic Nathan Kellen University of Connecticut - Storrs, [email protected]
University of Connecticut OpenCommons@UConn Doctoral Dissertations University of Connecticut Graduate School 8-9-2019 Pluralisms about Truth and Logic Nathan Kellen University of Connecticut - Storrs, [email protected] Follow this and additional works at: https://opencommons.uconn.edu/dissertations Recommended Citation Kellen, Nathan, "Pluralisms about Truth and Logic" (2019). Doctoral Dissertations. 2263. https://opencommons.uconn.edu/dissertations/2263 Pluralisms about Truth and Logic Nathan Kellen, PhD University of Connecticut, 2019 Abstract: In this dissertation I analyze two theories, truth pluralism and logical pluralism, as well as the theoretical connections between them, including whether they can be combined into a single, coherent framework. I begin by arguing that truth pluralism is a combination of realist and anti-realist intuitions, and that we should recognize these motivations when categorizing and formulating truth pluralist views. I then introduce logical functionalism, which analyzes logical consequence as a functional concept. I show how one can both build theories from the ground up and analyze existing views within the functionalist framework. One upshot of logical functionalism is a unified account of logical monism, pluralism and nihilism. I conclude with two negative arguments. First, I argue that the most prominent form of logical pluralism faces a serious dilemma: it either must give up on one of the core principles of logical consequence, and thus fail to be a theory of logic at all, or it must give up on pluralism itself. I call this \The Normative Problem for Logical Pluralism", and argue that it is unsolvable for the most prominent form of logical pluralism. Second, I examine an argument given by multiple truth pluralists that purports to show that truth pluralists must also be logical pluralists. -
An Arbitrary Precision Computation Package David H
ARPREC: An Arbitrary Precision Computation Package David H. Bailey, Yozo Hida, Xiaoye S. Li and Brandon Thompson1 Lawrence Berkeley National Laboratory, Berkeley, CA 94720 Draft Date: 2002-10-14 Abstract This paper describes a new software package for performing arithmetic with an arbitrarily high level of numeric precision. It is based on the earlier MPFUN package [2], enhanced with special IEEE floating-point numerical techniques and several new functions. This package is written in C++ code for high performance and broad portability and includes both C++ and Fortran-90 translation modules, so that conventional C++ and Fortran-90 programs can utilize the package with only very minor changes. This paper includes a survey of some of the interesting applications of this package and its predecessors. 1. Introduction For a small but growing sector of the scientific computing world, the 64-bit and 80-bit IEEE floating-point arithmetic formats currently provided in most computer systems are not sufficient. As a single example, the field of climate modeling has been plagued with non-reproducibility, in that climate simulation programs give different results on different computer systems (or even on different numbers of processors), making it very difficult to diagnose bugs. Researchers in the climate modeling community have assumed that this non-reproducibility was an inevitable conse- quence of the chaotic nature of climate simulations. Recently, however, it has been demonstrated that for at least one of the widely used climate modeling programs, much of this variability is due to numerical inaccuracy in a certain inner loop. When some double-double arithmetic rou- tines, developed by the present authors, were incorporated into this program, almost all of this variability disappeared [12]. -
Neural Correlates of Arithmetic Calculation Strategies
Cognitive, Affective, & Behavioral Neuroscience 2009, 9 (3), 270-285 doi:10.3758/CABN.9.3.270 Neural correlates of arithmetic calculation strategies MIRIA M ROSENBERG -LEE Stanford University, Palo Alto, California AND MARSHA C. LOVETT AND JOHN R. ANDERSON Carnegie Mellon University, Pittsburgh, Pennsylvania Recent research into math cognition has identified areas of the brain that are involved in number processing (Dehaene, Piazza, Pinel, & Cohen, 2003) and complex problem solving (Anderson, 2007). Much of this research assumes that participants use a single strategy; yet, behavioral research finds that people use a variety of strate- gies (LeFevre et al., 1996; Siegler, 1987; Siegler & Lemaire, 1997). In the present study, we examined cortical activation as a function of two different calculation strategies for mentally solving multidigit multiplication problems. The school strategy, equivalent to long multiplication, involves working from right to left. The expert strategy, used by “lightning” mental calculators (Staszewski, 1988), proceeds from left to right. The two strate- gies require essentially the same calculations, but have different working memory demands (the school strategy incurs greater demands). The school strategy produced significantly greater early activity in areas involved in attentional aspects of number processing (posterior superior parietal lobule, PSPL) and mental representation (posterior parietal cortex, PPC), but not in a numerical magnitude area (horizontal intraparietal sulcus, HIPS) or a semantic memory retrieval area (lateral inferior prefrontal cortex, LIPFC). An ACT–R model of the task successfully predicted BOLD responses in PPC and LIPFC, as well as in PSPL and HIPS. A central feature of human cognition is the ability to strategy use) and theoretical (parceling out the effects of perform complex tasks that go beyond direct stimulus– strategy-specific activity). -
Expressive Completeness
Truth-Functional Completeness 1. A set of truth-functional operators is said to be truth-functionally complete (or expressively adequate) just in case one can take any truth-function whatsoever, and construct a formula using only operators from that set, which represents that truth-function. In what follows, we will discuss how to establish the truth-functional completeness of various sets of truth-functional operators. 2. Let us suppose that we have an arbitrary n-place truth-function. Its truth table representation will have 2n rows, some true and some false. Here, for example, is the truth table representation of some 3- place truth function, which we shall call $: Φ ψ χ $ T T T T T T F T T F T F T F F T F T T F F T F T F F T F F F F T This truth-function $ is true on 5 rows (the first, second, fourth, sixth, and eighth), and false on the remaining 3 (the third, fifth, and seventh). 3. Now consider the following procedure: For every row on which this function is true, construct the conjunctive representation of that row – the extended conjunction consisting of all the atomic sentences that are true on that row and the negations of all the atomic sentences that are false on that row. In the example above, the conjunctive representations of the true rows are as follows (ignoring some extraneous parentheses): Row 1: (P&Q&R) Row 2: (P&Q&~R) Row 4: (P&~Q&~R) Row 6: (~P&Q&~R) Row 8: (~P&~Q&~R) And now think about the formula that is disjunction of all these extended conjunctions, a formula that basically is a disjunction of all the rows that are true, which in this case would be [(Row 1) v (Row 2) v (Row 4) v (Row6) v (Row 8)] Or, [(P&Q&R) v (P&Q&~R) v (P&~Q&~R) v (P&~Q&~R) v (~P&Q&~R) v (~P&~Q&~R)] 4. -
The Analytic-Synthetic Distinction and the Classical Model of Science: Kant, Bolzano and Frege
Synthese (2010) 174:237–261 DOI 10.1007/s11229-008-9420-9 The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege Willem R. de Jong Received: 10 April 2007 / Revised: 24 July 2007 / Accepted: 1 April 2008 / Published online: 8 November 2008 © The Author(s) 2008. This article is published with open access at Springerlink.com Abstract This paper concentrates on some aspects of the history of the analytic- synthetic distinction from Kant to Bolzano and Frege. This history evinces con- siderable continuity but also some important discontinuities. The analytic-synthetic distinction has to be seen in the first place in relation to a science, i.e. an ordered system of cognition. Looking especially to the place and role of logic it will be argued that Kant, Bolzano and Frege each developed the analytic-synthetic distinction within the same conception of scientific rationality, that is, within the Classical Model of Science: scientific knowledge as cognitio ex principiis. But as we will see, the way the distinction between analytic and synthetic judgments or propositions functions within this model turns out to differ considerably between them. Keywords Analytic-synthetic · Science · Logic · Kant · Bolzano · Frege 1 Introduction As is well known, the critical Kant is the first to apply the analytic-synthetic distinction to such things as judgments, sentences or propositions. For Kant this distinction is not only important in his repudiation of traditional, so-called dogmatic, metaphysics, but it is also crucial in his inquiry into (the possibility of) metaphysics as a rational science. Namely, this distinction should be “indispensable with regard to the critique of human understanding, and therefore deserves to be classical in it” (Kant 1783, p. -
Banner Human Resources and Position Control / User Guide
Banner Human Resources and Position Control User Guide 8.14.1 and 9.3.5 December 2017 Notices Notices © 2014- 2017 Ellucian Ellucian. Contains confidential and proprietary information of Ellucian and its subsidiaries. Use of these materials is limited to Ellucian licensees, and is subject to the terms and conditions of one or more written license agreements between Ellucian and the licensee in question. In preparing and providing this publication, Ellucian is not rendering legal, accounting, or other similar professional services. Ellucian makes no claims that an institution's use of this publication or the software for which it is provided will guarantee compliance with applicable federal or state laws, rules, or regulations. Each organization should seek legal, accounting, and other similar professional services from competent providers of the organization's own choosing. Ellucian 2003 Edmund Halley Drive Reston, VA 20191 United States of America ©1992-2017 Ellucian. Confidential & Proprietary 2 Contents Contents System Overview....................................................................................................................... 22 Application summary................................................................................................................... 22 Department work flow................................................................................................................. 22 Process work flow...................................................................................................................... -
Before Refraining: Concepts for Agency Author(S): Nuel Belnap Source: Erkenntnis (1975-), Vol
Before Refraining: Concepts for Agency Author(s): Nuel Belnap Source: Erkenntnis (1975-), Vol. 34, No. 2 (Mar., 1991), pp. 137-169 Published by: Springer Stable URL: http://www.jstor.org/stable/20012334 Accessed: 28/05/2009 14:40 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=springer. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected]. Springer is collaborating with JSTOR to digitize, preserve and extend access to Erkenntnis (1975-). http://www.jstor.org NUEL BELNAP BEFORE REFRAINING: CONCEPTS FOR AGENCY ABSTRACT. A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as "a sees to it that Q" ([a sur.Q]). -
Ball Green Primary School Maths Calculation Policy 2018-2019
Ball Green Primary School Maths Calculation Policy 2018-2019 Contents Page Contents Page Rationale 1 How do I use this calculation policy? 2 Early Years Foundation Stage 3 Year 1 5 Year 2 8 Year 3 11 Year 4 14 Year 5 17 Year 6 20 Useful links 23 1 Maths Calculation Policy 2018– 2019 Rationale: This policy is intended to demonstrate how we teach different forms of calculation at Ball Green Primary School. It is organised by year groups and designed to ensure progression for each operation in order to ensure smooth transition from one year group to the next. It also includes an overview of mental strategies required for each year group [Year 1-Year 6]. Mathematical understanding is developed through use of representations that are first of all concrete (e.g. base ten, apparatus), then pictorial (e.g. array, place value counters) to then facilitate abstract working (e.g. columnar addition, long multiplication). It is important that conceptual understanding, supported by the use of representation, is secure for procedures and if at any point a pupil is struggling with a procedure, they should revert to concrete and/or pictorial resources and representations to solidify understanding or revisit the previous year’s strategy. This policy is designed to help teachers and staff members at our school ensure that calculation is taught consistently across the school and to aid them in helping children who may need extra support or challenges. This policy is also designed to help parents, carers and other family members support children’s learning by letting them know the expectations for their child’s year group and by providing an explanation of the methods used in our school. -
Yuji NISHIYAMA in This Article We Shall Focus Our Attention Upon
The Notion of Presupposition* Yuji NISHIYAMA Keio University In this article we shall focus our attention upon the clarificationof the notion of presupposition;First, we shall be concerned with what kind of notion is best understood as the proper notion of presupposition that grammars of natural languageshould deal with. In this connection,we shall defend "logicalpresupposi tion". Second, we shall consider how to specify the range of X and Y in the presuppositionformula "X presupposes Y". Third, we shall discuss several difficultieswith the standard definition of logical presupposition. In connection with this, we shall propose a clear distinction between "the definition of presupposi tion" and "the rule of presupposition". 1. The logical notion of presupposition What is a presupposition? Or, more particularly, what is the alleged result of a presupposition failure? In spite of the attention given to it, this question can hardly be said to have been settled. Various answers have been suggested by the various authors: inappropriate use of a sentence, failure to perform an illocutionary act, anomaly, ungrammaticality, unintelligibility, infelicity, lack of truth value-each has its advocates. Some of the apparent disagreementmay be only a notational and terminological, but other disagreement raises real, empirically significant, theoretical questions regarding the relationship between logic and language. However, it is not the aim of this article to straighten out the various proposals about the concept of presupposition. Rather, we will be concerned with one notion of presupposition,which stems from Frege (1892)and Strawson (1952),that is: (1) presupposition is a condition under which a sentence expressing an assertive proposition can be used to make a statement (or can bear a truth value)1 We shall call this notion of presupposition "the statementhood condition" or "the conditionfor bivalence". -
The Development of Mathematical Logic from Russell to Tarski: 1900–1935
The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu Richard Zach Calixto Badesa The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu (University of California, Berkeley) Richard Zach (University of Calgary) Calixto Badesa (Universitat de Barcelona) Final Draft—May 2004 To appear in: Leila Haaparanta, ed., The Development of Modern Logic. New York and Oxford: Oxford University Press, 2004 Contents Contents i Introduction 1 1 Itinerary I: Metatheoretical Properties of Axiomatic Systems 3 1.1 Introduction . 3 1.2 Peano’s school on the logical structure of theories . 4 1.3 Hilbert on axiomatization . 8 1.4 Completeness and categoricity in the work of Veblen and Huntington . 10 1.5 Truth in a structure . 12 2 Itinerary II: Bertrand Russell’s Mathematical Logic 15 2.1 From the Paris congress to the Principles of Mathematics 1900–1903 . 15 2.2 Russell and Poincar´e on predicativity . 19 2.3 On Denoting . 21 2.4 Russell’s ramified type theory . 22 2.5 The logic of Principia ......................... 25 2.6 Further developments . 26 3 Itinerary III: Zermelo’s Axiomatization of Set Theory and Re- lated Foundational Issues 29 3.1 The debate on the axiom of choice . 29 3.2 Zermelo’s axiomatization of set theory . 32 3.3 The discussion on the notion of “definit” . 35 3.4 Metatheoretical studies of Zermelo’s axiomatization . 38 4 Itinerary IV: The Theory of Relatives and Lowenheim’s¨ Theorem 41 4.1 Theory of relatives and model theory . 41 4.2 The logic of relatives .