91 found
Order:
  1.  91
    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   24 citations  
  2.  30
    Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  3.  59
    The Systems of Leśniewski in Relation to Contemporary Logical Research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.
  4.  70
    Axiomatizability of Geometry Without Points.Andrzej Grzegorczyk - 1960 - Synthese 12 (2-3):228 - 235.
  5.  17
    An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details.Andrzej Grzegorczyk - 1974 - 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  6. The Classical and the Ω-Complete Arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  7.  45
    A Philosophically Plausible Formal Interpretation of Intuitionistic Logic.Andrzej Grzegorczyk - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  8.  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   15 citations  
  9.  39
    On the Concept of Categoricity.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):39 - 66.
  10.  18
    Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  11.  36
    An Approach to Logical Calculus.Andrzej Grzegorczyk - 1972 - Studia Logica 30 (1):33 - 43.
  12.  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  
  13.  51
    Klasyczne, relatywistyczne i konstruktywistyczne sposoby uznawania twierdzeń.Andrzej Grzegorczyk - 1971 - Studia Logica 27 (1):151-159.
  14.  45
    Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych.Andrzej Grzegorczyk - 1967 - Studia Logica 20 (1):117-130.
  15.  18
    A Note on the Theory of Propositional Types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
  16.  33
    Non-Classical Propositional Calculi in Relation to Methodological Patterns of Scientific Investigation.Andrzej Grzegorczyk - 1967 - Studia Logica 20 (1):132-132.
    Modern methodology furnishes two partly competitive and partly complementary views on structure of the development of scientific investigation. According to the first view the development of science consists in enlargement of the set of empirical theorems; according to the other it consists, rather, in the narrowing of the set of possible theoretical hypotheses. A particular kind of assertion is associated with each of these views. The first is associated with the relation of assertion expressed in the statement: “the state α (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  36
    Pewne Ujęcie Rachunku Logicznego.Andrzej Grzegorczyk - 1972 - Studia Logica 30 (1):42-42.
  18.  18
    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  
  19.  10
    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  
  20.  16
    The Pragmatic Foundations of Semantics.Roderick M. Chisholm & Andrzej Grzegorczyk - 1951 - Journal of Symbolic Logic 16 (4):292.
  21.  29
    Aksjomatyczne Badania Pojęcia Przedłużenia Czasowego.Andrzej Grzegorczyk - 1961 - Studia Logica 11 (1):23-30.
  22.  14
    Aksjomatyczne badania pojęcia przedłużenia czasowego / Le traitement axiomatique de la notion de prolongement temporel.Andrzej Grzegorczyk - 1961 - Studia Logica 11:23 - 35.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  5
    An Essay at Founding the Semantics of a Descriptive Language.Andrzej Grzegorczyk - 1950 - Journal of Symbolic Logic 15 (1):64-65.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. „Ani Na Górze, Ani W Jerozolimie… Ale W Duchu I W Prawdzie”.Andrzej Grzegorczyk - 2010 - Przeglad Filozoficzny - Nowa Seria 73.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  24
    A Philosophy for That Time: The Philosophy of Selflessness.Andrzej Grzegorczyk - 2004 - Dialogue and Universalism 14 (5-6):167-172.
    The author reflects on the moral attitudes displayed by Poles fighting in the Warsaw Uprising. He believes that the sacrifice and selflessness with which Varsovians battled for their city had its roots in the general mentality of the Poles, who for generations had been raised in the spirit of “mutual and willing endowment”. He also notes that the noble ideals of the wartime generations have today been largely replaced by mercenary selfishness.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  15
    A Philosophy for That Time: The Philosophy of Selflessness.Andrzej Grzegorczyk & Marek Gołębiowski - 2004 - Dialogue and Universalism 14 (5/6):167-171.
    The author reflects on the moral attitudes displayed by Poles fighting in the Warsaw Uprising. He believes that the sacrifice and selflessness with which Varsovians battled for their city had its roots in the general mentality of the Poles, who for generations had been raised in the spirit of “mutual and willing endowment”. He also notes that the noble ideals of the wartime generations have today been largely replaced by mercenary selfishness.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  9
    An Unfinitizability Proof by Means of Restricted Reduced Power.Andrzej Grzegorczyk - 1973 - Journal of Symbolic Logic 38 (1):159-161.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  7
    Antropologiczna wizja kondycji ludzkiej.Andrzej Grzegorczyk - 1983 - Roczniki Filozoficzne 31 (3):59-81.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  2
    Bemerkungen Über Das Verstehen Logischer Gesetze.Andrzej Grzegorczyk - 1957 - Journal of Symbolic Logic 22 (3):330-330.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Czy istnieje ścisłość poza wymaganiami logiki?Andrzej Grzegorczyk - 1998 - Studia Semiotyczne 21:47-55.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Czy i jak formalizować filozofię.Andrzej Grzegorczyk - 2002 - Przeglad Filozoficzny - Nowa Seria 41 (1):201-207.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  36
    Classical, Relativistic and Constructivistic Ways of Assertion of Theorems.Andrzej Grzegorczyk - 1971 - Studia Logica 27 (1):160-160.
  33.  15
    Classical, Relativistic and Constructivist Ways of Asserting Theorems.Andrzej Grzegorczyk - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 19--31.
  34. Dialtciics and Humanism No. 1 1987.Andrzej Grzegorczyk - 1987 - Dialectics and Humanism 14:167.
  35. Drobny Komentarz Do Swinburne’A.Andrzej Grzegorczyk - 2010 - Przeglad Filozoficzny - Nowa Seria 73.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Dysonans poznawczy. Jak o nim mówić i kto jest jego odkrywcą.Andrzej Grzegorczyk - 1999 - Przeglad Filozoficzny - Nowa Seria 31 (3):153-165.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37. Dyskusja z Kazimierzem Ajdukiewiczem.Andrzej Grzegorczyk - 1993 - Przeglad Filozoficzny - Nowa Seria 6 (2):115-116.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Errata Do Artykułu Andrzeja Grzegorczyka „Filozofia Logiki I Formalna LOGIKA NIESYMPLIFIKACYJNA”.Andrzej Grzegorczyk - 2012 - Zagadnienia Naukoznawstwa 48 (194).
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  39. Europe: Discovering the Meaning of Existence.Andrzej Grzegorczyk - 2002 - Dialogue and Universalism 12 (6-7):111-126.
     
    Export citation  
     
    Bookmark  
  40. „Etyka przekazu wiedzy”.Andrzej Grzegorczyk - 1993 - Etyka 26:209-210.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Etyka W Do Swiadczeniu Wewnetrznym.Andrzej Grzegorczyk - 1989
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  42. 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  
  43. Filozofia Czasu Próby.Andrzej Grzegorczyk - 1979 - Instytut Wydawniczy Pax.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  44. 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.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  45.  10
    Fonctions Récursives.Andrzej Grzegorczyk - 1966 - Journal of Symbolic Logic 31 (3):481-483.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  29
    Individualistic Formal Approach to Deontic Logic.Andrzej Grzegorczyk - 1981 - Studia Logica 40 (2):99 - 102.
    Some people approve of certain general rules of behavior, or some concrete cases. The others disapprove of or are indifferent to them. In this paper I suggest an axiom system which formalizes the use of these utterances. It may be considered as a special (individualistic) approach to deontic logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. Komentarz do recenzji Mariana Przełęckiego.Andrzej Grzegorczyk - 2003 - Przeglad Filozoficzny - Nowa Seria 46 (2):113-116.
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Kapłan i błazen - w nowej rzeczywistości.Andrzej Grzegorczyk - 1997 - Przeglad Filozoficzny - Nowa Seria 24 (4):49-66.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Kroniki lwowskie.Andrzej Grzegorczyk - 1997 - Przeglad Filozoficzny - Nowa Seria 24 (4):179-182.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  9
    Kokoszyńska Maria. O róznych rodzajach zdań . Przeglad filozoficzny, vol. 43 no. 1–4 , pp. 22–51. English summary, ibid., pp. 171–173. [REVIEW]Andrzej Grzegorczyk - 1948 - Journal of Symbolic Logic 13 (3):168-169.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 91