Results for 'Louise Tait'

1000+ found
Order:
  1.  6
    A Fulfilling Career? Factors Which Influence Women's Choice of Profession.Pauline Lightbody, Gerda Siann, Louise Tait & David Walsh - 1997 - Educational Studies 23 (1):25-37.
    First year university students enrolled on courses which have remained male dominated, including engineering, physics and computer science and two courses, law and medicine, on which females now outnumber males , completed a questionnaire concerned with the reasons why they chose their particular course. Analyses were carried out using a stepwise discriminant function analysis. The results of this study indicate that the reasons women favour law and medicine, rather than more technological courses, is that the former courses are seen as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  36
    Retrospectivity and the Rule of Law / C. Sampford ; with the Assistance of J. Louise, S. Blencowe, and T. Round.C. Sampford, J. Louise, S. Blencowe & T. Round - unknown
    Retrospective rule-making has few supporters and many opponents. Defenders of retrospective laws generally do so on the basis that they are a necessary evil in specific or limited circumstances, for example to close tax loopholes, to deal with terrorists or to prosecute fallen tyrants. Yet the reality of retrospective rule making is far more widespread than this, and ranges from ’corrective’ legislation to ’interpretive regulations’ to judicial decision making. The search for a rational justification for retrospective rule-making necessitates a reconsideration (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  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   20 citations  
  4. Moral Demands and Not Doing the Best One Can.Jennie Louise - 2010 - Ethics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. 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  
  6. Relativity of Value and the Consequentialist Umbrella.Jennie Louise - 2004 - Philosophical Quarterly 54 (217):518–536.
    Does the real difference between non-consequentialist and consequentialist theories lie in their approach to value? Non-consequentialist theories are thought either to allow a different kind of value (namely, agent-relative value) or to advocate a different response to value ('honouring' rather than 'promoting'). One objection to this idea implies that all normative theories are describable as consequentialist. But then the distinction between honouring and promoting collapses into the distinction between relative and neutral value. A proper description of non-consequentialist theories can only (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  7. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
  8. 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  
  9.  54
    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   10 citations  
  10. Truth and Proof: The Platonism of Mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.
  11. I Won’T Do It! Self-Prediction, Moral Obligation and Moral Deliberation.Jennie Louise - 2009 - Philosophical Studies 146 (3):327 - 348.
    This paper considers the question of whether predictions of wrongdoing are relevant to our moral obligations. After giving an analysis of ‘won’t’ claims (i.e., claims that an agent won’t Φ), the question is separated into two different issues: firstly, whether predictions of wrongdoing affect our objective moral obligations, and secondly, whether self-prediction of wrongdoing can be legitimately used in moral deliberation. I argue for an affirmative answer to both questions, although there are conditions that must be met for self-prediction to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  70
    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   34 citations  
  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.  56
    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. The Logic of ADHD: A Brief Review of Fallacious Reasoning.Gordon Tait - 2009 - Studies in Philosophy and Education 28 (3):239-254.
  16. Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics. [REVIEW]W. W. Tait - 1983 - Journal of Philosophical Logic 12 (2):173 - 195.
  17.  43
    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 (11 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18.  40
    Constructing Cardinals From Below.William Tait - manuscript
  19.  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.
  20.  18
    Kurt Godel. Collected Works. Volume IV: Selected Correspondence AG; Volume V: Selected Correspondence HZ.W. W. Tait - 2006 - Philosophia Mathematica 14 (1):76.
  21.  33
    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.
  22.  89
    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  
  23.  63
    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 (11 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24. Functionals Defined by Transfinite Recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
  25. 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.
  26.  34
    The Ethics of Community Empowerment: Tensions in Health Promotion Theory and Practice.A. Braunack-Mayer & J. Louise - unknown
    Copyright © 2008 by International Union for Health Promotion and Education.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  11
    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  
  28. 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  
  29.  16
    The Substitution Method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
  30.  47
    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.
  31.  25
    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  
  32.  18
    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  
  33.  81
    Sumario Analitico/Summary.Blanco Antonio & Cummings Louise - 2001 - Theoria 16 (2):41-331.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34. 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 (7 more)  
     
    Export citation  
     
    Bookmark  
  35.  39
    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  
  36.  15
    " 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).
  37.  24
    Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi.Georg Kreisel & William W. Tait - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):28-38.
  38.  80
    Wittgenstein and the 'Skeptical Paradoxes'.William W. Tait - 1986 - Journal of Philosophy 83 (September):475-488.
  39.  26
    A Counterexample to a Conjecture of Scott and Suppes.W. W. Tait - 1959 - Journal of Symbolic Logic 24 (1):15-16.
  40.  28
    Philosophy of Nursing: Theory and Evidence.De Raeve Louise & Wainwright Paul - 2001 - Nursing Philosophy 2 (1):95–97.
  41.  33
    Scaling Connectionist Compositional Representations.John C. Flackett, John Tait & Guy Littlefair - 2004 - In Simon D. Levy & Ross Gayler (eds.), Compositional Connectionism in Cognitive Science. Aaai Press. pp. 20--24.
  42.  16
    Is Risk Regulation a Strategic Influence on Decision Making in the Biotechnology Industry?Joanna Chataway & Joyce Tait - 1993 - Agriculture and Human Values 10 (2):60-67.
    This paper discusses strategic decision making in firms pursuing biotechnology innovation and the influence of risk regulation on firm strategy. Data from three research projects, involving interviews with over 60 managers from agricultural and food related biotechnology companies and also over 60 key participants in the regulatory process in the UK and EC, shows a diversity of strategy and opinion. While some industry representatives identified new risk regulations governing the release of genetically manipulated organisms (GMOs) as the primary constraint on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  52
    Ethics and Humanity: Themes From the Philosophy of Jonathan Glover * Edited by Nancy Ann Davis, Richard Keshen and Jeff McMahan.J. Louise - 2011 - Analysis 71 (4):788-790.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44.  50
    Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.W. W. Tait - 2011 - History and Philosophy of Logic 32 (2):177 - 183.
    History and Philosophy of Logic, Volume 32, Issue 2, Page 177-183, May 2011.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  55
    Some Recent Essays in the History of the Philosophy of Mathematics: A Critical Review. [REVIEW]William W. Tait - 1993 - Synthese 96 (2):293 - 331.
  46.  40
    Collective Rationality: Equilibrium in Cooperative Games.Jennie Louise - 2012 - Australasian Journal of Philosophy 90 (1):205 - 205.
    Australasian Journal of Philosophy, Volume 90, Issue 1, Page 205, March 2012.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  7
    Review: Steven Orey, On $Omega$-Consistency and Related Properties. [REVIEW]W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):40-41.
  48.  31
    Meeting of the Association for Symbolic Logic: Biloxi, 1979.Daniel Halpern, William Tait & John T. Baldwin - 1981 - Journal of Symbolic Logic 46 (1):191-198.
  49.  20
    The Palmer House Hilton Hotel, Chicago, Illinois April 19–21, 2007.Yiannis Moschovakis, Richmond H. Thomason, Steffen Lempp, Steve Awodey, Jean-Pierre Marquis & William Tait - 2007 - Bulletin of Symbolic Logic 13 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  16
    Of the Association for Symbolic Logic.Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman - 2006 - Bulletin of Symbolic Logic 12 (3-4):503.
1 — 50 / 1000