Results for 'Ww Tait'

368 found
Order:
  1.  14
    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. 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.
  4. Ramon Lull's Epistemological Realism.Ww Artus - 1986 - Studia Lulliana 26 (75):129-141.
     
    Export citation  
     
    Bookmark  
  5. 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.
  6. Constructive Reasoning.W. W. Tait - 1968 - In B. Van Rootselaar & J. F. Staal (eds.), Logic, Methodology and Philosophy of Science III. Amsterdam: North-Holland. pp. 185-99.
  7.  20
    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  
  8.  14
    Aggression and Theology.Ww Sj - 1986 - Thought: Fordham University Quarterly 61 (1):90-104.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  18
    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  
  10.  11
    Jacques Derrida's Apologia.Ww Holdheim - 1989 - Critical Inquiry 15 (4):784-796.
  11. What Hilbert and Bernays Meant by "Finitism".William W. Tait - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 249-261.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  8
    What Hilbert and Bernays Meant by “Finitism”.William Tait - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 249-262.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  12
    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.
  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.  39
    Functionals Defined by Transfinite Recursion.R. E. Vesley & W. W. Tait - 1966 - Journal of Symbolic Logic 31 (3):509.
  16. Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
  17.  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.
  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.  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  
  20.  39
    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  
  21.  9
    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  
  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. 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  
  25. 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  
  26. Popularização da cie̐ncia no Brasil : entrada na agenda política, de que forma?Márcia Tait Lima, Ednalva Felix das Neves & Renato Dagnino - 2010 - In Renato Dagnino & Rafael de Brito Dias (eds.), Estudos sociais da ciência e tecnologia & política de ciência e tecnologia: alternativas para uma nova América Latina. [Campinas, Brazil]: GAPI Unicamp.
    No categories
     
    Export citation  
     
    Bookmark  
  27. 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   47 citations  
  28. Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.
  29.  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.
  30.  20
    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  
  31. 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.
  32.  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  
  33. 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  
  34.  90
    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  
  35. 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   20 citations  
  36. 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.
  37.  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  
  38.  23
    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   16 citations  
  39.  44
    The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.
  40.  98
    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.  67
    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.  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  
  44.  34
    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.
  45.  67
    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.  68
    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.  21
    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.  84
    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  
  49.  19
    Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  50.  32
    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  
1 — 50 / 368