Celem pracy jest analiza związków zachodzących między logikami deontycznymi i logikami czasowymi. Punktem wyjścia są znane relacje pojęć modalnych, deontycznych i czasowych. Część I ma charakter wstępny. W części II autor stara się udzielić wyczerpującej odpowiedzi na pytanie, który spośród znanych rodzajów logiki czasu nadaje się do zamierzonej analizy. Wybór pada na logikę dat (temporal logic). Dalej, w części III przedyskutowano trzy możliwe sposoby wiązania pojęć modalnych z pojęciami czasowymi - koncepcje: Diodora Cronosa, szkoły megaryjskiej i W.Occama. Okazało się, (...) że związki modalno-czasowe i deontyczno- czasowe dają się najpełniej wyrazić w obrębie koncepcji occamowskiej - w takich strukturach semantycznych wszystkie trzy rodzaje pojęć dają się dosyć naturalnie powiązać. Część IV jest prezentacją zbudowanego na "occamowski” sposób systemu modalno-deontyczno-czasowego. Na koniec znajdujemy jeszcze dyskusję trudności na jakie napotyka się przy konstruowaniu takich hybrydowych systemów logicznych i przykład ilustrujący zalety tych konstrukcji, w przykładzie posłużono się znanym paradoksem "dobrego Samarytanina". (shrink)

W rozdziale pierwszym, obok niezbędnych ustaleń terminologicznych, przedstawiłem zarys najdawniejszej historii logiki, starając się pokazać w jaki sposób sylogistyka Arystotelesa spełniała wymóg uniwersalności. [ZE WSTĘPU AUTORA].

[ch 1.] Nauka logiki -- ch. 2 Mikro, makro i mega krugovoroty.

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.

Tvrdým jádrem“ logiky je soubor intuitivně uchopitelných fenoménů z oblasti sémantické valuace, který odolává revizím, typicky vynucovaným sémantickými paradoxy. Příspěvek se věnuje revizím logiky vytvořenými Priestem a Swyneshedem. „The hard core“ of logic is a set of intuitively conceivable phenomena regarding semantic evaluation which resists revisions (typically revisions due to semantic paradoxes). The present paper deals with Priest’s and Swyneshed’s revision of logic.

Tyranny is a phenomenon following in the footsteps of politics and contemporary political thought. The aim of this article is an attempt to bring out and – on the basis of Plato’s texts – show the fundamental relationship between tyranny and politeia, which should make a philosopher interested in the foundation of tyranny. The relationship, or better – dependence – is based on the conception that, in my opinion, is fundamental for Platonic philosophy which combines ontological and political investigations that (...) one could call ‘opposition’s transformations’ whose extreme points are the philosopher and the tyrant. They represent two different attitudes towards politics. The article is accompanied by the belief that one cannot practice classical political philosophy, that is a quest for a perfect political system, without incessant dwelling on tyranny. For tyranny is an area where politics comes into being. (shrink)

W tych badaniach logiczno-filozoficznych, w których używał logiki modalnej, Jerzy Perzanowski szczególną uwagę zwracał na miejsce danej logiki modalnej w kracie logik modalnych: ważne dla niego były logiki otaczające daną logikę. Cenił rozważania nad kratą logik modalnych i poświecił jej sporo miejsca w swej naukowej twórczości. Natrafił w szczególności na tzw. logiki anty-monotoniczne; badania nad nimi rozpoczął, ale ich nie ukończył (por. Perzanowski [1989, 1989’], Makinson [1971]). Podał podstawowe fakty syntaktyczne dotyczące tych logik, lecz nie opisał (...) semantyki dla takich logik: ani relacyjnej, ani algebraicznej. Logiki te są o tyle ciekawe, że wyniki badań nad nimi uzupełniają obraz całej kraty logik modalnych. Poniżej uzupełniam rozważania J. Perzanowskiego: podaję semantykę relacyjną i algebraiczną dla takich logik i opisuję strukturę całej kraty logik modalnych. (shrink)

Artykuł prezentuje i komentuje dyskusję pomiędzy J. F. Drewnowskim a S. Kamińskim, której przedmiotem było stosowanie logiki w filozofii, a ściślej w metafizyce ogólnej o orientacji arystotelesowsko-tomistycznej. Drewnowski prezentował w niej stanowisko reprezentatywne dla tzw. Koła Krakowskiego o możliwości stosowania narzędzi logiki formalnej w metafizyce, Kamiński takiej możliwości zaprzeczał. Spróbujemy wskazać pewne wnioski z tej dyskusji przydatne dla dzisiejszego rozumienia stosowania logiki w filozofii. W końcowej partii podjęta jest próba znalezienia przyczyn stanowiska Kamińskiego, które jest reprezentatywne dla (...) przedstawicieli tzw. lubelskiej szkoły filozoficznej. (shrink)

Tom 1. Logicheskie ischisleni͡a, algebry i funkt͡sionalnye svoĭstva.

The text is based on the unpublished notes from the lectures given by Chwistek in 1931 in Lvov.

J. Bigelow and R. Pargetter in their work Science and Necessity put forward a theory of the laws of nature as statements objectively different with respect to their modal qualification both from the laws of logic and from contingent truths. Contrary to the latter ones all laws are characterized by necessity. However, there are various kinds of necessity. The laws of logic are characterized by logical necessity, and the laws of nature - by natural necessity. The objective basis for differentiating (...) modal qualification of statements belonging to the particular classes is that laws are truths about possibilities, also the ones that have not been actualized. The source of difference between logical and natural necessity is the differentiation between the range of possibilities described by respective laws. Hence, laws of nature prove to be - which is not mentioned by the authors - a posteriori necessary statements. The modal character has been the basis of the explanation of other considered properties of scientific laws: certain generality and the so-called range void. (shrink)