90 found
Order:
  1.  85
    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  
  2. Zarys Logiki Matematycznej.Andrzej Grzegorczyk - 1961 - Pa Nstwowe Wydawn. Naukowe.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   29 citations  
  3. The Classical and the Ω-Complete Arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  4.  54
    The Systems of Leśniewski in Relation to Contemporary Logical Research.Andrzej Grzegorczyk - 1955 - Studia Logica 3 (1):77-95.
  5.  26
    Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.
  6.  70
    Axiomatizability of Geometry Without Points.Andrzej Grzegorczyk - 1960 - Synthese 12 (2-3):228 - 235.
  7.  36
    A Philosophically Plausible Formal Interpretation of Intuitionistic Logic.Andrzej Grzegorczyk - 1971 - Journal of Symbolic Logic 36 (2):329-329.
  8.  17
    An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details.Andrzej Grzegorczyk - 1974 - D. Reidel Pub. Co..
  9.  17
    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  
  10. 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   2 citations  
  11.  47
    Klasyczne, relatywistyczne i konstruktywistyczne sposoby uznawania twierdzeń.Andrzej Grzegorczyk - 1971 - Studia Logica 27 (1):151-159.
  12. Logic: A Human Affair.Andrzej Grzegorczyk - 2000 - Studia Logica 64 (2):298-300.
  13.  38
    On the Concept of Categoricity.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):39 - 66.
  14.  42
    Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych.Andrzej Grzegorczyk - 1967 - Studia Logica 20 (1):117-130.
  15.  17
    Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  16. 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  
  17.  35
    An Approach to Logical Calculus.Andrzej Grzegorczyk - 1972 - Studia Logica 30 (1):33 - 43.
  18.  16
    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.  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  
  20.  17
    A Note on the Theory of Propositional Types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
  21.  31
    Recenzje.Andrzej Grzegorczyk, Marian Przełęcki, Mieczysław Choynowski & Jerzy Łoś - 1958 - Studia Logica 7 (1):277-286.
  22.  4
    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  
  23.  32
    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  
  24.  2
    Granice obowiązku.Henryk Jankowski, Krystyna Starczewska, Andrzej Grzegorczyk, Marian Przełęcki, Mieczysław Michalik, Halina Promieńska, Stanisław Zapaśnik, Jacek Hołówka & Jan Szmyd - 1979 - Etyka 17:209-253.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  33
    Pewne Ujęcie Rachunku Logicznego.Andrzej Grzegorczyk - 1972 - Studia Logica 30 (1):42-42.
  26. Etyka W Do Swiadczeniu Wewnetrznym.Andrzej Grzegorczyk - 1989
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  27.  49
    The Pragmatic Foundations of Semantics.Andrzej Grzegorczyk - 1949 - Synthese 8 (1):300 - 324.
  28.  22
    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  
  29.  46
    Uzasadnianie Aksjomatów Teorii Matematycznych.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):197 - 202.
  30.  35
    Le Traitement Axiomatique de la Notion de Prolongement Temporel.Andrzej Grzegorczyk - 1961 - Studia Logica 11 (1):31-34.
  31. Filozofia Czasu Próby.Andrzej Grzegorczyk - 1984 - Instytut Wydawniczy Pax.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  32.  15
    The Pragmatic Foundations of Semantics.Roderick M. Chisholm & Andrzej Grzegorczyk - 1951 - Journal of Symbolic Logic 16 (4):292.
  33.  18
    Our Eras.Andrzej Grzegorczyk & Franek Lyra - 2006 - Dialogue and Universalism 16 (7-9):155-156.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  12
    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  
  35. Racjonalizm kultury europejskiej.Andrzej Grzegorczyk - 1994 - Przeglad Filozoficzny - Nowa Seria 10 (2):107-136.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  36.  34
    Classical, Relativistic and Constructivistic Ways of Assertion of Theorems.Andrzej Grzegorczyk - 1971 - Studia Logica 27 (1):160-160.
  37.  29
    Aksjomatyczne Badania Pojęcia Przedłużenia Czasowego.Andrzej Grzegorczyk - 1961 - Studia Logica 11 (1):23-30.
  38.  14
    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.
  39.  28
    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  
  40.  27
    O Pojęciu Kategoryczności.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):66-66.
    Pojęcie kategoryczności zostało wprowadzone w początku obecnego wieku, ażeby scharakteryzować teorie, które w intencji ich twórców mają dokładnie jeden model. Dalszy rozwój badań metalogicznych dotyczących modeli doprowadził do spostrezeżenia, że każda teoria matematyczna opisująca pewien model nieskończony, opisuje równocześnie wiele innych modeli z nim nieizomorficznych. Stąd pierwotne pojęcie kategoryczności straciło na znaczeniu. Pojawiły się natomiast badania mające na celu pewne zmodyfikowanie tego pojęcia. Praca niniejsza omawia różne rodzaje pojęcia kategoryczności znane z literatury logicznej i proponuje pewne nowe.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  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  
  42.  10
    My Version of the Christian Vision of Sense.Andrzej Grzegorczyk - 1981 - Dialectics and Humanism 8 (3):51-53.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  12
    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  
  44.  7
    Antropologiczna wizja kondycji ludzkiej.Andrzej Grzegorczyk - 1983 - Roczniki Filozoficzne 31 (3):59-81.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  11
    The Paradox of Grelling and Nelson Presented as a Veridical Observation Concerning Naming.Andrzej Grzegorczyk - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 183--190.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  9
    An Unfinitizability Proof by Means of Restricted Reduced Power.Andrzej Grzegorczyk - 1973 - Journal of Symbolic Logic 38 (1):159-161.
  47.  7
    Fonctions Récursives.Andrzej Grzegorczyk - 1966 - Journal of Symbolic Logic 31 (3):481-483.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  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  
  49.  4
    Review: Maria Kokoszynska, Different Kinds of Statements. [REVIEW]Andrzej Grzegorczyk - 1948 - Journal of Symbolic Logic 13 (3):168-169.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  2
    Bemerkungen Über Das Verstehen Logischer Gesetze.Andrzej Grzegorczyk - 1957 - Journal of Symbolic Logic 22 (3):330-330.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 90