Results for 'Christopher Grzegorczyk'

1000+ found
Order:
  1.  27
    [recenzja] Francis Jacques, Logiczna przestrzeń interlokucji, (Dialogiki II), 1985.Christopher Grzegorczyk - 1986 - Zagadnienia Filozoficzne W Nauce 8.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  37
    II—Christopher Shields: The Peculiar Motion of Aristotelian Souls.Christopher Shields - 2007 - Aristotelian Society Supplementary Volume 81 (1):139-161.
  3.  57
    Christopher J. Preston, Wayne Ouderkirk (Eds): Nature, Value, Duty: Life on Earth with Holmes Rolston, III. [REVIEW]Christopher C. Robinson - 2008 - Journal of Agricultural and Environmental Ethics 21 (5):477-484.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  88
    Undecidability Without Arithmetization.Andrzej Grzegorczyk - 2005 - Studia Logica 79 (2):163-230.
    In the present paper the well-known Gödels – Churchs argument concerning the undecidability of logic (of the first order functional calculus) is exhibited in a way which seems to be philosophically interestingfi The natural numbers are not used. (Neither Chinese Theorem nor other specifically mathematical tricks are applied.) Only elementary logic and very simple set-theoretical constructions are put into the proof. Instead of the arithmetization I use the theory of concatenation (formalized by Alfred Tarski). This theory proves to be an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  5.  55
    The Systems of Leśniewski in Relation to Contemporary Logical Research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.
  6.  34
    Reconsidering the Ad Hominem: Christopher M. Johnson.Christopher M. Johnson - 2009 - Philosophy 84 (2):251-266.
    Ad hominem arguments are generally dismissed on the grounds that they are not attempts to engage in rational discourse, but are rather aimed at undermining argument by diverting attention from claims made to assessments of character of persons making claims. The manner of this dismissal however is based upon an unlikely paradigm of rationality: it is based upon the presumption that our intellectual capacities are not as limited as in fact they are, and do not vary as much as they (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  27
    Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  8.  37
    Christopher Janaway.Christopher Janaway - 2006 - Aristotelian Society Supplementary Volume 80 (1):339–357.
  9.  70
    Axiomatizability of Geometry Without Points.Andrzej Grzegorczyk - 1960 - Synthese 12 (2-3):228 - 235.
  10. Our Entitlement to Self-Knowledge: II. Christopher Peacocke: Entitlement, Self-Knowledge and Conceptual Redeployment.Tyler Burge & Christopher Peacocke - 1996 - Proceedings of the Aristotelian Society 96 (1):91-116.
  11.  17
    An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details.Andrzej Grzegorczyk - 1974 - D. Reidel Pub. Co..
  12.  44
    A Philosophically Plausible Formal Interpretation of Intuitionistic Logic.Andrzej Grzegorczyk - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  13.  31
    Teaching Science and Religion in the Twenty‐First Century: The Many Pedagogical Roles of Christopher Southgate.Christopher Corbally & Margaret Boone Rappaport - 2018 - Zygon 53 (3):897-908.
    With the goal of understanding how Christopher Southgate communicates his in-depth knowledge of both science and theology, we investigated the many roles he assumes as a teacher. We settled upon wide-ranging topics that all intertwine: (1) his roles as author and coordinating editor of a premier textbook on science and theology, now in its third edition; (2) his oral presentations worldwide, including plenaries, workshops, and short courses; and (3) the team teaching approach itself, which is often needed by others (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  15
    Virtue and Nature: Christopher W. Gowans.Christopher W. Gowans - 2008 - Social Philosophy and Policy 25 (1):28-55.
    The Neo-Aristotelian ethical naturalism of Philippa Foot and Rosalind Hursthouse purports to establish a naturalistic criterion for the virtues. Specifically, by developing a parallel between the natural ends of nonhuman animals and the natural ends of human beings, they argue that character traits are justified as virtues by the extent to which they promote and do not inhibit natural ends such as self-preservation, reproduction, and the well-being of one’s social group. I argue that the approach of Foot and Hursthouse cannot (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  84
    Discussion of Christopher Peacocke’s A Study of Concepts. [REVIEW]David Papineau & Christopher Peacocke - 1996 - Philosophy and Phenomenological Research 56 (2):425.
    Christopher Peacocke’s A Study of Concepts is a dense and rewarding work. Each chapter raises many issues for discussion. I know three different people who are writing reviews of the volume. It testifies to the depth of Peacocke’s book that each reviewer is focusing on a quite different set of topics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  18
    Some Relational Systems and the Associated Topological Spaces.Andrzej Grzegorczyk - 1969 - Journal of Symbolic Logic 34 (4):652-653.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  12
    II—Christopher Janaway.Christopher Janaway - 2006 - Aristotelian Society Supplementary Volume 80 (1):339-357.
  18.  59
    The Relation Between Self-Interest and Justice in Contractarian Ethics*: CHRISTOPHER W. MORRIS.Christopher W. Morris - 1988 - Social Philosophy and Policy 5 (2):119-153.
    One of the most noteworthy features of David Gauthier's rational choice, contractarian theory of morality is its appeal to self-interested rationality. This appeal, however, will undoubtedly be the source of much controversy and criticism. For while self-interestedness is characteristic of much human behavior, it is not characteristic of all such behavior, much less of that which is most admirable. Yet contractarian ethics appears to assume that humans are entirely self-interested. It is not usually thought a virtue of a theory that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  86
    Deconstruction, Anti–Realism and Philosophy of Science—an Interview with Christopher Norris.Christopher Norris & Marianna Papastephanou - 2002 - Journal of Philosophy of Education 36 (2):265–289.
    In this interview, Christopher Norris discusses a wide range of issues having to do with postmodernism, deconstruction and other controversial topics of debate within present-day philosophy and critical theory. More specifically he challenges the view of deconstruction as just another offshoot of the broader postmodernist trend in cultural studies and the social sciences. Norris puts the case for deconstruction as continuing the 'unfinished project of modernity' and—in particular—for Derrida's work as sustaining the values of enlightened critical reason in various (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  38
    On the Concept of Categoricity.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):39 - 66.
  21.  18
    Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  36
    An Approach to Logical Calculus.Andrzej Grzegorczyk - 1972 - Studia Logica 30 (1):33 - 43.
  23.  92
    The Very Idea of Popular Sovereignty: “We the People” Reconsidered*: CHRISTOPHER W. MORRIS.Christopher W. Morris - 2000 - Social Philosophy and Policy 17 (1):1-26.
    The sovereignty of the people, it is widely said, is the foundation of modern democracy. The truth of this claim depends on the plausibility of attributing sovereignty to “the people” in the first place, and I shall express skepticism about this possibility. I shall suggest as well that the notion of popular sovereignty is complex, and that appeals to the notion may be best understood as expressing several different ideas and ideals. This essay distinguishes many of these and suggests that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  15
    Christopher Winch and Peter Wells,Nene College, Northampton.Christopher Winch & Peter Wells - 1995 - British Journal of Educational Studies 43 (1):75-87.
  25.  6
    Definability of Sets in Models of Axiomatic Theories.A. Grzegorczyk, A. Mostowski & C. Ryll-Nardzewski - 1969 - Journal of Symbolic Logic 34 (1):126-126.
  26.  12
    On the Concept of Categoricity.Andrzej Grzegorczyk & A. Grzegorczyk - 1965 - Journal of Symbolic Logic 30 (3):387-388.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  5
    On Grzegorczyk Induction.Ch Cornaros - 1995 - Annals of Pure and Applied Logic 74 (1):1-21.
    We investigate the “mathematical” strength of the theory I*2. In particular we prove the quadratic reciprocity law and Bertrand's postulate, using fragments of I*2 which employ some well-known number-theoretic functions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  61
    Quantum Information Theory and the Foundations of Quantum Mechanics.Christopher Gordon Timpson - 2013 - Oxford University Press.
    Christopher G. Timpson provides the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. He argues for an ontologically deflationary account of the nature of quantum information, which is grounded in a revisionary analysis of the concepts of information.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  29.  19
    Andrzej Grzegorczyk. Some Relational Systems and the Associated Topological Spaces. Fundamenta Mathematicae, Vol. 60 , Pp. 223–231. [REVIEW]R. A. Bull - 1969 - Journal of Symbolic Logic 34 (4):652-653.
  30.  48
    Klasyczne, relatywistyczne i konstruktywistyczne sposoby uznawania twierdzeń.Andrzej Grzegorczyk - 1971 - Studia Logica 27 (1):151-159.
  31.  45
    Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych.Andrzej Grzegorczyk - 1967 - Studia Logica 20 (1):117-130.
  32.  1
    Grzegorczyk Algebras Revisited.Michał M. Stronkowski - 2018 - Bulletin of the Section of Logic 47 (2):129.
    We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Medical Analogies in Buddhist and Hellenistic Thought: Tranquillity and Anger: Christopher W. Gowans.Christopher W. Gowans - 2010 - Royal Institute of Philosophy Supplement 66:11-33.
    Medical analogies are commonly invoked in both Indian Buddhist dharma and Hellenistic philosophy. In the Pāli Canon, nirvana is depicted as a form of health, and the Buddha is portrayed as a doctor who helps us attain it. Much later in the tradition, Śāntideva described the Buddha’s teaching as ‘the sole medicine for the ailments of the world, the mine of all success and happiness.’ Cicero expressed the view of many Hellenistic philosophers when he said that philosophy is ‘a medical (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  96
    Mathematics and Scientific Representation.Christopher Pincock - 2012 - Oxford University Press USA.
    Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the content of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  35.  6
    A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures.Rafał Gruszczyński & Andrzej Pietruszczak - 2018 - Studia Logica 106 (6):1197-1238.
    This is the first, out of two papers, devoted to Andrzej Grzegorczyk’s point-free system of topology from Grzegorczyk :228–235, 1960. https://doi.org/10.1007/BF00485101). His system was one of the very first fully fledged axiomatizations of topology based on the notions of region, parthood and separation. Its peculiar and interesting feature is the definition of point, whose intention is to grasp our geometrical intuitions of points as systems of shrinking regions of space. In this part we analyze separation structures and (...) structures, and establish their properties which will be useful in the sequel. We prove that in the class of Urysohn spaces with countable chain condition, to every topologically interpreted representative of a point in the sense of Grzegorczyk’s corresponds exactly one point of a space. We also demonstrate that Tychonoff first-countable spaces give rise to complete Grzegorczyk structures. The results established below will be used in the second part devoted to points and topological spaces. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  17
    A Note on the Theory of Propositional Types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
  37.  28
    Cut-Elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
    We present a syntactic proof of cut-elimination for weak Grzegorczyk logic Go. The logic has a syntactically similar axiomatisation to Gödel–Löb logic GL (provability logic) and Grzegorczyk’s logic Grz. Semantically, GL can be viewed as the irreflexive counterpart of Go, and Grz can be viewed as the reflexive counterpart of Go. Although proofs of syntactic cut-elimination for GL and Grz have appeared in the literature, this is the first proof of syntactic cut-elimination for Go. The proof is technically (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  13
    Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point.Loredana Biacino & Giangiacomo Gerla - 1996 - Notre Dame Journal of Formal Logic 37 (3):431-439.
    Whitehead, in his famous book Process and Reality, proposed a definition of point assuming the concepts of "region" and "connection relation" as primitive. Several years after and independently Grzegorczyk, in a brief but very interesting paper, proposed another definition of point in a system in which the inclusion relation and the relation of being separated were assumed as primitive. In this paper we compare their definitions and we show that, under rather natural assumptions, they coincide.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  32
    Deconstruction, Anti–Realism and Philosophy of Science—an Interview with Christopher Norris.Christopher Norris & Marianna Papastephanou - 2002 - Philosophy of Education 36 (2):265-289.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. The Classical and the Ω-Complete Arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  41.  3
    Grzegorczyk A.. An Example of Two Weak Essentially Undecidable Theories F and F*. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 10 , Pp. 5–9. [REVIEW]Raphael M. Robinson - 1962 - Journal of Symbolic Logic 27 (3):358-358.
  42.  12
    Grzegorczyk Andrzej. Undecidability of Some Topological Theories. Fundamenta Mathematicae, Vol. 38 , Pp. 137–152.Hartley Rogers - 1953 - Journal of Symbolic Logic 18 (1):73-74.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Andrzej Grzegorczyk. Axiomatizability of Geometry Without Points. Synthese, Vol. 12 Nos. 2–3 , Pp. 228–233; Also in The Concept and Role of the Model in Mathematics and Natural and Social Sciences, Synthese Library, D. Reidel Publishing Company, Dordrecht 1961, Pp. 104–111. [REVIEW]Wolfram Schwabhäuser - 1972 - Journal of Symbolic Logic 37 (1):201-201.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  22
    Andrzej Grzegorczyk. An Unfinitizability Proof by Means of Restricted Reduced Power. Fundamenta Mathematicae, Vol. 73 No. 1 , Pp. 37–49. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-161.
  45.  4
    Grzegorczyk A.. Some Proofs of Undecidability of Arithmetic. Fundamenta Mathematicae, Vol. 43 , Pp. 166–177.W. W. Tait - 1958 - Journal of Symbolic Logic 23 (1):46-47.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  34
    Review of Christopher Bobonich, Plato's Utopia Recast: His Later Ethics and Politics[REVIEW]Christopher Rowe - 2004 - Notre Dame Philosophical Reviews 2004 (8).
  47.  17
    Is Antipsychologism Still Tenable?Andrzej Grzegorczyk - 1999 - Vienna Circle Institute Yearbook 6:109-114.
    Let us consider an arbitrary semantical relation. It holds between some linguistic entities and pieces of reality referred to. We may call it meaning. The controversy between psychologism and antipsychologism therefore may be exhibited as an ontological dilemma:Antipsychologism PsychologismThe relation of meaning is independent of human beings The relation of meaning is established by human beingsWhen we describe the meaning of words we do not need to refer to human behavior When we describe the meaning of words we need to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  35
    Pewne Ujęcie Rachunku Logicznego.Andrzej Grzegorczyk - 1972 - Studia Logica 30 (1):42-42.
  49.  9
    Decidability Without Mathematics.Andrzej Grzegorczyk - 2004 - Annals of Pure and Applied Logic 126 (1-3):309-312.
    The paper proposes a new definition of the conception of effectiveness . A good name for this version of effectiveness is discernibility. The definition is based on the fact that every computation may be reduced to the operation of discerning the fundamental symbols and concatenation of formulas. This approach to effectiveness allows us to formulate the proof of undecidability in such a way that arithmetization of the syntax may be replaced by the use of concatenation in metalogic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  69
    Aristotle.Christopher Shields - 2007 - Routledge.
    In this excellent introduction, Christopher Shields introduces and assesses the whole of Aristotle’s philosophy, showing how his powerful conception of human nature shaped much of his thinking on the nature of the soul and the mind, ethics, politics and the arts. Beginning with a brief biography, Christopher Shields carefully explains the fundamental elements of Aristotle’s thought: his explanatory framework, his philosophical methodology and his four-causal explanatory scheme. Subsequently he discusses Aristotle’s metaphysics and the theory of categories and logical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
1 — 50 / 1000