The aim of this paper is show a global strategy for defining and connecting logical criteria. Three partial criteria are distinguished: transparency for expressions, topic neutrality for consequence relation, and universality for theories. A global criterion is suggested, and proved to be fulfilled by classical and intuionistic logic.

Rozdział szósty podsumowuje całą pracę. Staram się w nim sprecyzować znaczenie terminu "kryterium logiczności" i pokazać jaką budowę powinny mieć takie kryteria. Analizując trzy spośród sformułowanych w poprzednich rozdziałach kryteriów logiczności, podejmuję dyskusję na temat zakresu ich stosowania. Na zakończenie szkicuję sposób konstruowania złożonych kryteriów logiczności i pokazuję, że zaproponowane przeze mnie kryterium jest spełnione przez logikę klasyczną i przez intuicjonistyczny rachunek predykatów. [ZE WSTĘPU AUTORA].

Donald Davidson (1917–2002) is mainly known as a philosopher of language who based his theory of meaning on Tarski's definition of truth. His theory without meanings as entities is the core of a subtle and sophisticated philosophical system that resembles very complicated puzzles. If isolated every part of his system seems arbitrary and not justified. It concerns particularly his metaphysics of events which justification can be found in Davidson's views on language, cognition and psychology. Davidson himself usually applies the term (...) "ontology" but in fact makes some metaphysical presuppositions. These presuppositions do not constitute metaphysical system but rather are used to explain the phenomenon of linguistic communication. The main categories of Davidsonian metaphysic: event, object and causal relation, are irreducible and can be described in various ways. In the paper I reconstruct Davidson's way from his philosophy of language to his metaphysic. I also indicate some consequences of his metaphysical views for his philosophy of science and psychology. (shrink)

Jednym z podstawowych pojęć logiki jest pojęcie kwantyfikacji i związane z nim pojęcie kwantyfikatora. Pierwsze problemy związane z kwantyfikacją pojawiły się wraz z powstaniem sylogistyki Arystotelesa, chociaż nie Istniało wówczas pojęcie kwantyfikatora. Powstanie rachunku predykatów I rzędu oraz wprowadzenie klasycznych kwantyfikatorów ꓯ i ꓱ zmieniło zupełnie sens pojęcia kwantyfikacji. Prace Mostowskiego i Lindströma poświęcone kwantyfikatorom uogólnionym wprowadziły zupełnie nowe rozumienie kwantyfikacji, które zaowocowało wieloma praktycznymi zastosowaniami w lingwistyce logicznej i logice indukcji. Głównym celem pracy jest wykazanie, że koncepcja kwantyfikatorów uogólnionych (...) Lindströma nawiązuje bezpośrednio do intuicji Arystotelesa, zaś spójki "a", “e", "i", "o" występujące w języku sylogistyki mogą być uznane za symbole kwantyfikatorów uogólnionych typu. (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].

W rozdziale piątym analizuję teoriodowodowe kryteria logiczności dla rachunku sekwentów. [ZE WSTĘPU AUTORA].

Analiza zdań psychologicznych stanowi jeden z najważniejszych elementów programu semantycznego zainicjowanego przez Tadeusza Kotarbińskiego, zwanego reizmem w wersji semantycznej. Celem tego programu było wyeliminowanie z języka wyrażeń oraz struktur gramatycznych, które reifikowały relacje, własności, zdarzenia oraz zawartości aktów psychicznych. Aby wyeliminować zawartości aktów psychicznych Kotarbiński zaproponował oryginalną analizę wypowiedzeń zdań psychologicznych parafrazowanych w postaci par wypowiedzeń, eliminując tym samym konieczność wprowadzania wszelkich bytów mentalnych lub intencjonalnych. W artykule przedstawiam krótko rozwiązania problemu zdań psychologicznych autorstwa Fregego i Russella, następnie wskazuję na (...) filozoficzne inspiracje reizmu Kotarbińskiego. Analiza zdań psychologicznych przedstawiona przez Kotarbińskiego nie tylko rozwiązuje problem braku zastępowalności ekstensjonalnej, ale doprecyzowuje również jego poglądy reistyczne. Na koniec dokonuję krótkiego porównania analizy Kotarbińskiego z analogicznym rozwiązaniem autorstwa Donalda Davidsona, znanym jako analiza parataktyczna, które było rezultatem innych założeń filozoficznych, w szczególności zaś odmiennej od Kotarbińskiego wersji monizmu oraz innego podejścia do problemu prawdy. (shrink)