Results for 'Saskia Tait'

349 found
Order:
  1.  48
    Towards Intercultural Philosophy of Education.Heesoon Bai, Claudia Eppert, Charles Scott, Saskia Tait & Tram Nguyen - 2015 - Studies in Philosophy and Education 34 (6):635-649.
    In this paper, we propose an understanding of philosophy of education as cultural and intercultural work and philosophers of education as cultural and intercultural workers. In our view, the discipline of philosophy of education in North America is currently suffering from measures of insularity and singularity. It is vital that we justly and respectfully engage with and expand our knowledge and understanding of sets of conceptual and life-practice resources, and honor and learn from diverse histories, cultures, and traditions. Such honoring (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  25
    The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History.William Tait - 2005 - Oup Usa.
    William Tait is one of the most distinguished philosophers of mathematics of the last fifty years. This volume collects his most important published philosophical papers from the 1980's to the present. The articles cover a wide range of issues in the foundations and philosophy of mathematics, including some on historical figures ranging from Plato to Gdel.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  3. Schooling and Society: Myths of Mass Education.Gordon Tait - 2017 - Cambridge University Press.
    This new book is a wide-ranging, contemporary and accessible analysis of familiar and recurring myths about mass education in the United Kingdom. Looking at a variety of important issues and problems, each chapter begins by dispelling myths and assumptions about the classroom, going beyond class, race and gender, to offer analysis of topics such as discipline, youth cultures, information technology and globalisation. Utilising an interdisciplinary lens, this book offers knowledge from disciplines as diverse as sociology, philosophy, jurisprudence and cultural studies. (...)
    No categories
     
    Export citation  
     
    Bookmark  
  4. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
  5. Frege Versus Cantor and Dedekind: On the Concept of Number.William Tait - manuscript
    There can be no doubt about the value of Frege's contributions to the philosophy of mathematics. First, he invented quantification theory and this was the first step toward making precise the notion of a purely logical deduction. Secondly, he was the first to publish a logical analysis of the ancestral R* of a relation R, which yields a definition of R* in second-order logic.1 Only a narrow and arid conception of philosophy would exclude these two achievements. Thirdly and very importantly, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  6.  58
    Remarks on Finitism.William Tait - manuscript
    The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that finitist arithmetic coincides with primitive recursive arithmetic, P RA; and in 1981, in “Finitism” [28], I expanded on the argument. But some recent discussions and some of the more recent literature on the subject lead me to think that a few further remarks would be useful.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  7.  40
    Professional Decision-Making in Research : The Validity of a New Measure.James M. DuBois, John T. Chibnall, Raymond C. Tait, Jillon S. Vander Wal, Kari A. Baldwin, Alison L. Antes & Michael D. Mumford - 2016 - Science and Engineering Ethics 22 (2):391-416.
    In this paper, we report on the development and validity of the Professional Decision-Making in Research measure, a vignette-based test that examines decision-making strategies used by investigators when confronted with challenging situations in the context of empirical research. The PDR was administered online with a battery of validity measures to a group of NIH-funded researchers and research trainees who were diverse in terms of age, years of experience, types of research, and race. The PDR demonstrated adequate reliability and parallel form (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  7
    Professional Decision-Making in Research : The Validity of a New Measure.Michael Mumford, Alison Antes, Kari Baldwin, Jillon Vander Wal, Raymond Tait, John Chibnall & James DuBois - 2016 - Science and Engineering Ethics 22 (2):391-416.
    In this paper, we report on the development and validity of the Professional Decision-Making in Research measure, a vignette-based test that examines decision-making strategies used by investigators when confronted with challenging situations in the context of empirical research. The PDR was administered online with a battery of validity measures to a group of NIH-funded researchers and research trainees who were diverse in terms of age, years of experience, types of research, and race. The PDR demonstrated adequate reliability and parallel form (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9. Truth and Proof: The Platonism of Mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.
  10. Gödel's Correspondence on Proof Theory and Constructive Mathematics †Charles Parsons Read Part of an Early Draft of This Review and Made Important Corrections and Suggestions.William W. Tait - 2006 - Philosophia Mathematica 14 (1):76-111.
  11.  71
    Intensional Interpretations of Functionals of Finite Type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  12. Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics. [REVIEW]W. W. Tait - 1983 - Journal of Philosophical Logic 12 (2):173 - 195.
  13. Gödel's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.
    The last section of “Lecture at Zilsel’s” [9, §4] contains an interesting but quite condensed discussion of Gentzen’s first version of his consistency proof for P A [8], reformulating it as what has come to be called the no-counterexample interpretation. I will describe Gentzen’s result (in game-theoretic terms), fill in the details (with some corrections) of Godel's reformulation, and discuss the relation between the two proofs.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  59
    Cantor's Grundlagen and the Paradoxes of Set Theory.William Tait - manuscript
    Foundations of a General Theory of Manifolds [Cantor, 1883], which I will refer to as the Grundlagen, is Cantor’s first work on the general theory of sets. It was a separate printing, with a preface and some footnotes added, of the fifth in a series of six papers under the title of “On infinite linear point manifolds”. I want to briefly describe some of the achievements of this great work. But at the same time, I want to discuss its connection (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  15.  45
    Constructing Cardinals From Below.William Tait - manuscript
  16. The Logic of ADHD: A Brief Review of Fallacious Reasoning.Gordon Tait - 2008 - Studies in Philosophy and Education 28 (3):239-254.
    This paper has two central purposes: the first is to survey some of the more important examples of fallacious argument, and the second is to examine the frequent use of these fallacies in support of the psychological construct: Attention Deficit Hyperactivity Disorder. The paper divides 12 familiar fallacies into three different categories—material, psychological and logical—and contends that advocates of ADHD often seem to employ these fallacies to support their position. It is suggested that all researchers, whether into ADHD or otherwise, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History.William Tait - 2006 - Bulletin of Symbolic Logic 12 (4):608-611.
     
    Export citation  
     
    Bookmark   7 citations  
  18.  36
    The Law of Excluded Middle and the Axiom of Choice.W. W. Tait - 1994 - In Alexander George (ed.), Mathematics and Mind. Oxford University Press. pp. 45--70.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  19.  26
    Proceedings of the 4th World Conference on Research Integrity: Brazil, Rio de Janeiro. 31 May - 3 June 2015.Lex Bouter, Melissa S. Anderson, Ana Marusic, Sabine Kleinert, Susan Zimmerman, Paulo S. L. Beirão, Laura Beranzoli, Giuseppe Di Capua, Silvia Peppoloni, Maria Betânia de Freitas Marques, Adriana Sousa, Claudia Rech, Torunn Ellefsen, Adele Flakke Johannessen, Jacob Holen, Raymond Tait, Jillon Van der Wall, John Chibnall, James M. DuBois, Farida Lada, Jigisha Patel, Stephanie Harriman, Leila Posenato Garcia, Adriana Nascimento Sousa, Cláudia Maria Correia Borges Rech, Oliveira Patrocínio, Raphaela Dias Fernandes, Laressa Lima Amâncio, Anja Gillis, David Gallacher, David Malwitz, Tom Lavrijssen, Mariusz Lubomirski, Malini Dasgupta, Katie Speanburg, Elizabeth C. Moylan, Maria K. Kowalczuk, Nikolas Offenhauser, Markus Feufel, Niklas Keller, Volker Bähr, Diego Oliveira Guedes, Douglas Leonardo Gomes Filho, Vincent Larivière, Rodrigo Costas, Daniele Fanelli, Mark William Neff, Aline Carolina de Oliveira Machado Prata, Limbanazo Matandika, Sonia Maria Ramos de Vasconcelos & Karina de A. Rocha - 2016 - Research Integrity and Peer Review 1 (Suppl 1).
    Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  45
    Godel's Interpretation of Intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.
    Gödel regarded the Dialectica interpretation as giving constructive content to intuitionism, which otherwise failed to meet reasonable conditions of constructivity. He founded his theory of primitive recursive functions, in which the interpretation is given, on the concept of computable function of finite type. I will (1) criticize this foundation, (2) propose a quite different one, and (3) note that essentially the latter foundation also underlies the Curry-Howard type theory, and hence Heyting's intuitionistic conception of logic. Thus the Dialectica interpretation (in (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  9
    Zermelo (1930) is Concerned with Impredicative Second-Order Set Theory. He Treats the General Case of Set Theory with Urelements, but It Will Be Enough to Consider Only the Case of Pure Set Theory, Ie Without Urelements. In This Context, Zermelo's Theory is the Axiomatic Second-Order Theory T2 in the Language of Pure Set Theory Whose Axioms Are Extensionality, Regu. [REVIEW]Ww Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press. pp. 469.
  22.  24
    Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ.W. W. Tait - 2006 - Philosophia Mathematica 14 (1):76.
  23.  72
    Beyond the Axioms: The Question of Objectivity in Mathematics.W. W. Tait - 2001 - Philosophia Mathematica 9 (1):21-36.
    This paper contains a defense against anti-realism in mathematics in the light both of incompleteness and of the fact that mathematics is a ‘cultural artifact.’. Anti-realism (here) is the view that theorems, say, of aritltmetic cannot be taken at face value to express true propositions about the system of numbers but must be reconstrued to be about somctliiiig else or about nothing at all. A ‘bite-the-bullet’ aspect of the defease is that, adopting new axioms, liitherto independent, is not. a matter (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24. Zermelo's Conception of Set Theory and Reflection Principles.W. W. Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.
  25. Functionals Defined by Transfinite Recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
  26.  93
    Gödel on Intuition and on Hilbert's Finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
    There are some puzzles about G¨ odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception of it was unstable, that he oscillated back and forth between different accounts of it. I want to discuss these puzzles and argue that, on the contrary, G¨ odel’s writings represent a smooth evolution, with just one rather small double-reversal, of his view of finitism. He used the term “finit” (in German) or “finitary” or “finitistic” primarily to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Meeting of the Association for Symbolic Logic.John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait - 1976 - Journal of Symbolic Logic 41 (2):551-560.
  28.  4
    Development of a Consensus Operational Definition of Child Assent for Research.Alan R. Tait & Michael E. Geisser - 2017 - BMC Medical Ethics 18 (1):41.
    There is currently no consensus from the relevant stakeholders regarding the operational and construct definitions of child assent for research. As such, the requirements for assent are often construed in different ways, institutionally disparate, and often conflated with those of parental consent. Development of a standardized operational definition of assent would thus be important to ensure that investigators, institutional review boards, and policy makers consider the assent process in the same way. To this end, we describe a Delphi study that (...)
    Direct download (8 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  29.  16
    Vulnerability in Clinical Research with Patients in Pain: A Risk Analysis.Raymond C. Tait - 2009 - Journal of Law, Medicine and Ethics 37 (1):59-72.
    Some have characterized patients living with intractable pain as a vulnerable population in both clinical and research settings. Labeling the population as vulnerable, however, does not provide clarity regarding the potential risks that they face when they participate in research. Instead, research vulnerability for patients in pain is a function of an interaction between their pain conditions and elements of the research enterprise. Therefore, the identification of potential risks requires consideration not only of characteristics of patients with chronic pain, but (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  85
    Proof-Theoretic Semantics for Classical Mathematics.William W. Tait - 2006 - Synthese 148 (3):603-622.
    We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is definable (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. The Completeness of Heyting First-Order Logic.W. W. Tait - 2003 - Journal of Symbolic Logic 68 (3):751-763.
    Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of first-order predicate logic as formalized by Heyting, with one exception: ∃-elimination in the Curry-Howard theory, where ∃x : A.F (x) is understood as disjoint union, are the projections, and these do not preserve firstorderedness. This note shows, however, that the Curry-Howard theory is conservative over Heyting’s system.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Early Analytic Philosophy Frege, Russell, Wittgenstein : Essays in Honor of Leonard Linsky.Leonard Linsky & William W. Tait - 1997
     
    Export citation  
     
    Bookmark   4 citations  
  33.  4
    Vulnerability in Clinical Research with Patients in Pain: A Risk Analysis.Raymond C. Tait - 2009 - Journal of Law, Medicine and Ethics 37 (1):59-72.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  30
    Turning I Into Me: Imagining Your Future Self.C. Neil Macrae, Jason P. Mitchell, Kirsten A. Tait, Diana L. McNamara, Marius Golubickis, Pavlos P. Topalidis & Brittany M. Christian - 2015 - Consciousness and Cognition 37:207-213.
  35.  50
    Noesis: Plato on Exact Science.W. W. Tait - 2002 - In David B. Malament (ed.), Reading Natural Philosophy: Essays in the History and Philosophy of Science and Mathematics. Open Court. pp. 11--31.
  36.  17
    The Substitution Method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
  37. The Myth of the Mind.William W. Tait - 2002 - Topoi 21 (1-2):65-74.
    Of course, I do not mean by the title of this paper to deny the existence of something called.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  9
    Infinitely Long Terms of Transfinite Type.W. W. Tait, J. N. Crossley & M. A. E. Dummett - 1975 - Journal of Symbolic Logic 40 (4):623-624.
  39.  26
    Variable-Free Formalization of the Curry-Howard Theory.William Tait - manuscript
    The reduction of the lambda calculus to the theory of combinators in [Sch¨ onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lambda calculus, where the types are built up from atomic types by means of the operation A −→ B, to show that the lambda operator can be eliminated in favor of combinators K and S of each type A −→ (B −→ A) and (A −→ (B −→ C)) −→ ((A −→ B) −→ (A −→ C)), (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  21
    Plato's Second Best Method.W. W. Tait - 1986 - Review of Metaphysics 39 (3):455 - 482.
    AT PHAEDO 96A-C Plato portrays Socrates as describing his past study of "the kind of wisdom known as περὶ φυσέως ἱστορία." At 96c-97b, Socrates says that this study led him to realize that he had an inadequate understanding of certain basic concepts which it involved. In consequence, he says at 97b, he abandoned this method and turned to a method of his own. But at this point in the dialogue, instead of proceeding immediately to describe his method, Plato has him (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41.  6
    A Daughter's-Eye View [Review of Ronald W. Clark, The Life of Bertrand Russell].Katharine Tait - 2014 - Russell: The Journal of Bertrand Russell Studies.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  44
    Free Will, Moral Responsibility and ADHD.Gordon Tait - 2007 - In Brie Gertler & Lawrence A. Shapiro (eds.), Arguing About the Mind. Routledge. pp. 352--371.
    One of the oldest problems in philosophy concerns the relationship between free will and moral responsibility. If we adopt the position that we lack free will, in the absolute sense—as have most philosophers who have addressed this issue—how can we truly be held accountable for what we do? This paper will contend that the most significant and interesting challenge to the long-standing status-quo on the matter comes not from philosophy, jurisprudence, or even physics, but rather from psychology. By examining this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Frege Versus Cantor and Dedekind: On the Concept of Number.W. W. Tait - 1996 - In Matthias Schirn (ed.), Frege: Importance and Legacy. Berlin: Walter de Gruyter. pp. 70-113.
  44.  23
    Set Existence.R. O. Gandy, G. Kreisel & W. W. Tait - 1962 - Journal of Symbolic Logic 27 (2):232-233.
  45.  17
    " Are There Any Right or Wrong Answers in Teaching Philosophy": Ethics, Epistemology, and Philosophy in the Classroom.Gordon Tait, Clare D. O'Farrell, Sarah Davey Chesters, Joanne M. Brownlee, Rebecca S. Spooner-Lane & Elizabeth M. Curtis - 2012 - Teaching Philosophy 35 (4).
  46.  13
    Should Naturalists Believe in the Anthropocene?Morgan C. Tait - 2019 - Environmental Values 28 (3):367-383.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Early Analytic Philosophy: Frege, Russell, Wittgenstein.William W. Tait (ed.) - 1996 - Open Court.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  48.  22
    Mathematics in Philosophy. Charles Parsons.W. W. Tait - 1986 - Philosophy of Science 53 (4):588-606.
  49.  4
    Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  4
    Wittgenstein and the "Skeptical Paradoxes".W. W. Tait - 1986 - Journal of Philosophy 83 (9):475.
1 — 50 / 349