Results for 'Ww Tait'

369 found
Order:
  1.  15
    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: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 469.
  2. G ardiomyopathy WW BRIGDEN.Ww Brigden - 1965 - In Karl W. Linsenmann (ed.), Proceedings. St. Louis, Lutheran Academy for Scholarship. pp. 363.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  91
    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   20 citations  
  4.  9
    My Father, Bertrand Russell.Katharine Tait - 1975 - New York: Harcourt Brace Jovanovich.
    Katharine Tait, daughter of Bertrand and Dora Russell, here vividly portrays the extraordinary and stimulating environment she grew up in. In refreshing contrast to the interpretation of Russell as philosopher and public figure, Tait's is a close personal account of her deep love and admiration for her father and its gradual tempering by the imperfections she came to see in him. Touchingly written and beautifully described, the book shows Russell to be a man of great warmth, charm and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  85
    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   8 citations  
  6. Ramon Lull's Epistemological Realism.Ww Artus - 1986 - Studia Lulliana 26 (75):129-141.
     
    Export citation  
     
    Bookmark  
  7. Frege versus Cantor and Dedekind: On the Concept of Number.W. W. Tait - 1996 - In Matthias Schirn (ed.), Frege: importance and legacy. New York: Walter de Gruyter. pp. 70-113.
  8.  14
    Aggression and Theology.Ww Sj - 1986 - Thought: Fordham University Quarterly 61 (1):90-104.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  11
    Jacques Derrida's Apologia.Ww Holdheim - 1989 - Critical Inquiry 15 (4):784-796.
  10.  19
    Early Analytic Philosophy: Frege, Russell, Wittgenstein : Essays in Honor of Leonard Linsky.William W. Tait - 1997 - Open Court Publishing Company.
    These essays present new analyzes of the central figures of analytic philosophy -- Frege, Russell, Moore, Wittgenstein, and Carnap -- from the beginnings of the analytic movement into the 1930s. The papers do not reflect a single perspective, but rather express divergent interpretations of this controversial intellectual milieu.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  21
    Logic's lost genius: The life of Gerhard Gentzen. History of mathematics, vol. 33.W. Tait - 2010 - Bulletin of Symbolic Logic 16 (2):270-275.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  14
    J. P. Mayberry. The foundations of mathematics in the theory of sets. Encyclopedia of mathematics and its applications, vol. 82. Cambridge University Press, Cambridge 2000, New York 2001, etc., xx + 424 pp. [REVIEW]W. W. Tait - 2002 - Bulletin of Symbolic Logic 8 (3):424-426.
  13.  33
    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   2 citations  
  14.  11
    Aspects of Inductive Logic.Foster E. Tait - 1968 - Philosophy and Phenomenological Research 28 (3):456-457.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  6
    Risk regulation and strategic decision making in biotechnology: the political economy of innovation.Joanna Chataway & Joyce Tait - 1993 - Agriculture and Human Values 10 (2):60-67.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  2
    De las virtudes político-epistémicas de los feminismos que germinan en las ruralidades.Márcia Maria Tait Lima - 2024 - Eikasia Revista de Filosofía 121:101-123.
    Este artículo hace una reflexión inspirada en las singularidades y aportes de las praxis feministas latinoamericanas para una filosofía situada a partir de las ruralidades en el marco de las discusiones presentes en el VIII Congreso Sobre Pensamiento Filosófico Contemporáneo: Filosofía y Ruralidades. Buscará poner luz en las potencias político-epistémicas de feminismos que germinan en las ruralidades (de forma plural y en su diversidad) en base a la reelaboración de aspectos no abordados en trabajos de investigación anteriores realizados por la (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    Lectures on the Philosophy of the Mind.Thomas Brown, David Welsh & William Tait - 1851 - William Tait, 107, Prince's Street.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  45
    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.
  19. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
  20.  39
    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.
  21.  11
    Ratios of specific heat and high-frequency viscosities in organic liquids under pressure, derived from ultrasonic propagation.E. G. Richardson & R. I. Tait - 1957 - Philosophical Magazine 2 (16):441-454.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  19
    Book Review:Wittgenstein on Meaning. Colin McGinn. [REVIEW]W. W. Tait - 1987 - Ethics 97 (3):675-.
  23.  38
    Review: J. P. Mayberry, The Foundations of Mathematics in the Theory of Sets. [REVIEW]W. W. Tait - 2002 - Bulletin of Symbolic Logic 8 (3):424-426.
  24.  10
    Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi.Georg Kreisel & William W. Tait - 1967 - Journal of Symbolic Logic 32 (2):270-271.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  40
    The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and its History.William Walker Tait - 2004 - Oxford, England: 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 (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  26. Procedural fairness and jury satisfaction : an analysis of relational dimensions.Jane Goodman-Delahunty, David Tait & Natalie Martschuk - 2021 - In Meyerson Denise, Catriona Mackenzie & Therese MacDermott (eds.), Procedural Justice and Relational Theory: Empirical, Philosophical, and Legal Perspectives. Routledge.
     
    Export citation  
     
    Bookmark  
  27.  41
    Functionals Defined by Transfinite Recursion.R. E. Vesley & W. W. Tait - 1966 - Journal of Symbolic Logic 31 (3):509.
  28. 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   48 citations  
  29.  12
    Review of Colin McGinn: Wittgenstein on Meaning: An Interpretation and Evaluation[REVIEW]W. W. Tait - 1987 - Ethics 97 (3):675-677.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.
  31. 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   20 citations  
  32. 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   22 citations  
  33.  38
    Why (and when) clinicians compel treatment of anorexia nervosa patients.Terry Carney, David Tait, Stephen Touyz & Alice Richardson - unknown
    OBJECTIVE: This paper addresses the question of the circumstances which lead clinicians to use legal coercion in the management of patients with severe anorexia nervosa, and explores similarities and differences between such formal coercion and other forms of 'strong persuasion' in patient management. METHOD: Logistic regression and other statistical analysis was undertaken on 75 first admissions for anorexia nervosa from a sample of 117 successive admissions to an eating disorder facility in New South Wales, Australia, where an eating disorder was (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Telling Tales. Perspectives on Guidance and Counselling in Learning.Richard Edwards, Roger Harrison & Alan Tait - 1999 - British Journal of Educational Studies 47 (3):310-311.
     
    Export citation  
     
    Bookmark  
  35.  36
    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.
  36. Canadian Medical Schools: Two Centuries of Medical History, 1882 to 1992.N. Tait McPhedran & Terrie M. Romano - 1994 - History and Philosophy of the Life Sciences 16 (3):493.
  37. Zermelo's Conception of Set Theory and Reflection Principles.W. W. Tait - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.
  38.  49
    The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
  39.  24
    Intensional Interpretations of Functionals of Finite Type I.W. W. Tait - 1975 - Journal of Symbolic Logic 40 (4):624-625.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  40. Structures of the Sense of Self: Attributes and qualities that are necessary for the ‘self’.Izak Tait - forthcoming - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences.
    The “self” does not exist within a vacuum. For an entity to be considered to have a sense of self, it requires certain characteristics and attributes. This paper investigates these “structures” of the sense of self in detail, which range from a unified consciousness to self-awareness to personal identity. The paper details how each attribute and characteristic is strictly necessary for an entity to be classified as having a self, and how the five structures detailed within may be used as (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  68
    Constructing cardinals from below.William Tait - manuscript
  42. Functionals defined by transfinite recursion.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):155-174.
  43.  35
    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.
  44.  15
    Building the Blocks of Being: The Attributes and Qualities Required for Consciousness.Izak Tait, Joshua Bensemann & Trung Nguyen - 2023 - Philosophies 8 (4):52.
    For consciousness to exist, an entity must have prerequisite characteristics and attributes to give rise to it. We explore these “building blocks” of consciousness in detail in this paper, which range from perceptive to computational to meta-representational characteristics of an entity’s cognitive architecture. We show how each cognitive attribute is strictly necessary for the emergence of consciousness, and how the building blocks may be used for any entity to be classified as being conscious. The list of building blocks is not (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  71
    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 (9 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  46.  73
    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   12 citations  
  47.  23
    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)  
     
    Export citation  
     
    Bookmark   4 citations  
  48. 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   10 citations  
  49. 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   7 citations  
  50.  20
    Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 369