91 found
Order:
  1. Zarys Logiki Matematycznej.Andrzej Grzegorczyk - 1961 - Pa Nstwowe Wydawn. Naukowe.
    No categories
     
    Export citation  
     
    Bookmark   33 citations  
  2.  92
    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   28 citations  
  3.  61
    The Systems of Leśniewski in Relation to Contemporary Logical Research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.
  4.  34
    Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  5.  72
    Axiomatizability of Geometry Without Points.Andrzej Grzegorczyk - 1960 - Synthese 12 (2-3):228 - 235.
  6. The Classical and the Ω-Complete Arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  7.  18
    An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details.Andrzej Grzegorczyk - 1974 - Dordrecht and Boston: D. Reidel Pub. Co..
    Recent years have seen the appearance of many English-language hand books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu tions and also sometimes to largely conceived "mathematical fol klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of the now (...)
  8.  51
    A Philosophically Plausible Formal Interpretation of Intuitionistic Logic.Andrzej Grzegorczyk - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  9.  22
    Some Relational Systems and the Associated Topological Spaces.Andrzej Grzegorczyk - 1969 - Journal of Symbolic Logic 34 (4):652-653.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  10.  40
    On the Concept of Categoricity.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):39 - 66.
  11.  19
    Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  12. Logic: A Human Affair.Andrzej Grzegorczyk - 2000 - Studia Logica 64 (2):298-300.
  13. Filozofia logiki I formalna logika niesymplifikacyjna.Andrzej Grzegorczyk - 2011 - Zagadnienia Naukoznawstwa 47 (190).
    W artykule proponuje się aksjomatyzację fragmentu klasycznej logiki zdań, który zostaje nazwany logiką niesymplifikacyjną. Nazwa pochodzi stąd, że unika się w nim, jak przypuszcza pewna ilość badaczy – wskazanych w tekście – paradoksalnych własności klasycznej implikacji i równoważności. Twierdzenie o niewyprowadzalności tez paradoksalnych nie jest jeszcze definitywnie udowodnione. Ale cały bieg myśli wydaje się interesujący z filozoficznego punktu widzenia ze względu na możliwość odróżnienia kilku rodzajów implikacji i równoważności.
     
    Export citation  
     
    Bookmark   3 citations  
  14.  36
    An Approach to Logical Calculus.Andrzej Grzegorczyk - 1972 - Studia Logica 30 (1):33 - 43.
  15.  18
    A Note on the Theory of Propositional Types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
  16.  14
    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  
  17.  52
    Klasyczne, relatywistyczne i konstruktywistyczne sposoby uznawania twierdzeń.Andrzej Grzegorczyk - 1971 - Studia Logica 27 (1):151-159.
  18.  45
    Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych.Andrzej Grzegorczyk - 1967 - Studia Logica 20 (1):117-130.
  19. Errata Do Artykułu Andrzeja Grzegorczyka „Filozofia Logiki I Formalna LOGIKA NIESYMPLIFIKACYJNA”.Andrzej Grzegorczyk - 2012 - Zagadnienia Naukoznawstwa 48 (194).
     
    Export citation  
     
    Bookmark   1 citation  
  20. „Ani Na Górze, Ani W Jerozolimie… Ale W Duchu I W Prawdzie”.Andrzej Grzegorczyk - 2010 - Przeglad Filozoficzny - Nowa Seria 73.
    No categories
     
    Export citation  
     
    Bookmark  
  21. Czy istnieje ścisłość poza wymaganiami logiki?Andrzej Grzegorczyk - 1998 - Studia Semiotyczne 21:47-55.
    No categories
     
    Export citation  
     
    Bookmark  
  22. Czy i jak formalizować filozofię.Andrzej Grzegorczyk - 2002 - Przeglad Filozoficzny - Nowa Seria 41 (1):201-207.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Dialtciics and Humanism No. 1 1987.Andrzej Grzegorczyk - 1987 - Dialectics and Humanism 14:167.
  24. Drobny Komentarz Do Swinburne’A.Andrzej Grzegorczyk - 2010 - Przeglad Filozoficzny - Nowa Seria 73.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Dyskusja z Kazimierzem Ajdukiewiczem.Andrzej Grzegorczyk - 1993 - Przeglad Filozoficzny - Nowa Seria 6 (2):115-116.
    No categories
     
    Export citation  
     
    Bookmark  
  26. Europe: Discovering the Meaning of Existence.Andrzej Grzegorczyk - 2002 - Dialogue and Universalism 12 (6-7):111-126.
     
    Export citation  
     
    Bookmark  
  27. „Etyka przekazu wiedzy”.Andrzej Grzegorczyk - 1993 - Etyka 26:209-210.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. For an Intellectual Dimension of the Dialogue of Conciliation.Andrzej Grzegorczyk - 2002 - Dialogue and Universalism 12 (6-7):97-102.
    No categories
     
    Export citation  
     
    Bookmark  
  29. Komentarz do recenzji Mariana Przełęckiego.Andrzej Grzegorczyk - 2003 - Przeglad Filozoficzny - Nowa Seria 46 (2):113-116.
     
    Export citation  
     
    Bookmark  
  30. Kapłan i błazen - w nowej rzeczywistości.Andrzej Grzegorczyk - 1997 - Przeglad Filozoficzny - Nowa Seria 24 (4):49-66.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Kroniki lwowskie.Andrzej Grzegorczyk - 1997 - Przeglad Filozoficzny - Nowa Seria 24 (4):179-182.
    No categories
     
    Export citation  
     
    Bookmark  
  32. La compréhension des théories abstraites dans les sciences et dans la philosophie.Andrzej Grzegorczyk - 1960 - Atti Del XII Congresso Internazionale di Filosofia 5:195-196.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Leszka Kołakowskiego pytanie o rozum.Andrzej Grzegorczyk - 2004 - Przeglad Filozoficzny - Nowa Seria 50 (2):141-144.
    No categories
     
    Export citation  
     
    Bookmark  
  34. La Position des Valeurs Cognitives Dans la Structure Générale des Valeurs.Andrzej Grzegorczyk - 1983 - Epistemologia 6:35.
  35. Logika rewolucji i polski sprzeciw.Andrzej Grzegorczyk - 1998 - Przeglad Filozoficzny - Nowa Seria 25 (1):193-203.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Metodologiczne pojęcie rozstrzygalności a prawdziwość empiryczna.Andrzej Grzegorczyk - 2007 - Studia Semiotyczne 26:125-150.
    No categories
     
    Export citation  
     
    Bookmark  
  37. New Social Self-Steering.Andrzej Grzegorczyk - 1988 - Dialectics and Humanism 15 (3):251-254.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Odpowiedź dyskutantom.Andrzej Grzegorczyk - 1999 - Przeglad Filozoficzny - Nowa Seria 32 (4):151-153.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Ostrzeżenie przed błędem w podręczniku logiki.Andrzej Grzegorczyk - 2000 - Przeglad Filozoficzny - Nowa Seria 33 (1):184-187.
    No categories
     
    Export citation  
     
    Bookmark  
  40. On the Validation of the Sets of Axioms in Mathematical Theories.Andrzej Grzegorczyk - 1965 - Journal of Symbolic Logic 30 (3):387-387.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Ogólna wizja nowoczesnych studiów filozoficznych.Andrzej Grzegorczyk - 1999 - Przeglad Filozoficzny - Nowa Seria 32 (4):201-209.
    No categories
     
    Export citation  
     
    Bookmark  
  42. Paradoksy i brak porozumienia.Andrzej Grzegorczyk - 2004 - Studia Semiotyczne 25:59-61.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Poglądy na istotę religii.Andrzej Grzegorczyk - 1994 - Przeglad Filozoficzny - Nowa Seria 11 (3):136-137.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Schematy I Czlwiek Szkice Filozoficzne.Andrzej Grzegorczyk - 1963 - Wydawnictwo Znak.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Stosunki polsko-ukraińskie a filozofia.Andrzej Grzegorczyk - 1996 - Przeglad Filozoficzny - Nowa Seria 20 (4):135-146.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Tarski's Conception of Truth and Its Application to Natural Language.Andrzej Grzegorczyk - 1996 - Dialogue and Universalism 6 (1-2):73-89.
     
    Export citation  
     
    Bookmark  
  47. Terroryzm i religia.Andrzej Grzegorczyk - 2002 - Etyka 35:177-181.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. The Philosophy of Fate as the Basis of Education for Peace.Andrzej Grzegorczyk - 1987 - Dialectics and Humanism 14:167.
     
    Export citation  
     
    Bookmark  
  49. Uwagi o przemianach i różnicach w obrębie Szkoły Lwowsko-Warszawskiej.Andrzej Grzegorczyk - 1995 - Przeglad Filozoficzny - Nowa Seria 13 (1):83-89.
    No categories
     
    Export citation  
     
    Bookmark  
  50. Vocation of Intellectuals and Religion in Our Epoch.Andrzej Grzegorczyk - 2003 - Dialogue and Universalism 13 (5):27-32.
     
    Export citation  
     
    Bookmark  
1 — 50 / 91