gozdnica63-blog

[gozdnica63-blog]

Logistyczny antyirracjonalizm

Logistyczny antyirracjonalizm jest terminem, którego użył dla oznaczenia sedna filozoficznej działalności szkoły lwowsko-warszawskiej, Kazimierz Ajdukiewicz podczas kongresu filozoficznego w Pradze w 1934, gdzie wygłosił referat Logistyczny antyirracjonalizm w Polsce, opublikowany później w "Przeglądzie Filozoficznym". Nazwy tej użył Ajdukiewicz m.in. dla odróżnienia osiągnięć szkoły lwowsko-warszawskiej od osiągnięć logicznego empiryzmu, (neopozytywizmu), z którym (błędnie) utożsamiano szkołę lwowsko-warszawską.

Jako rysy charakterystyczne tej postawy należałoby wymienić: po pierwsze antyirracjonalizm, a więc postulat uznawania tylko takich twierdzeń, które są uzasadnione w sposób dostępny kontroli; po wtóre postulat jasności pojęciowej i językowej ścisłości. Oprócz tych dwóch rysów, należałoby szczególnie podkreślić jako trzeci, przyswojenie sobie logistycznego aparatu pojęciowego i wybitny wpływ logiki symbolicznej. Odnośnie zaś do zakresu zagadnień, na plan pierwszy wysuwają się zagadnienia, których przedmiotem jest poznanie naukowe, a więc problematyka tzw. badań metateoretycznych. Wiąże się z tym zainteresowanie semantyką, mające swe źródło w przekonaniu, że samo poznanie daje się badać tylko poprzez rozważenie jego słownego wyrazu. (Logistyczny ..., s. 400).

Termin "logistyczny antyirracjonalizm" potraktować można jako synonim nazwy "szkoła lwowsko-warszawska", którą również określa się mianem "drugiej polskiej filozofii narodowej".

Literatura

Kazimierz Ajdukiewicz, Logistyczny antyirracjonalizm w Polsce, "Przegląd Filozoficzny", Nr. XXXVIII/4, 1934

Witold Mackiewicz [red">, Polska filozofia powojenna, Agencja Wydawnicza Witmark, Warszawa 2001, tom I

#naprawa laptopów warszawa serwis laptopów warszawa serwis komputerowy marki serwis komputerowy ząbki serwis laptopów marki serwis laptopów r

[gozdnica63-blog]

Reguła dedukcyjna

Reguła (dyrektywa) dedukcyjna, także reguła (dyrektywa) inferencyjna, reguła (dyrektywa) dowodzenia - właściwa dla danego systemu dedukcyjnego reguła pozwalająca uznawać zdania o określonej strukturze na podstawie zdań już uprzednio uznanych. Stanowi strukturalną regułę wnioskowania dedukcyjnego.

Każdy sformalizowany system dedukcyjny posiada określony, właściwy sobie zespół reguł dedukcyjnych. Najczęściej występujące reguły dedukcyjne to reguła odrywania, reguła podstawiania i reguła zastępowania. Rachunek kwantyfikatorów zawiera także reguły dołączania i opuszczania kwantyfikatorów.

Przykłady

Przyjmując aksjomaty:

(A1)

(A2)

(A3)

Można udowodnić prawo tożsamości stosując regułę podstawiania dla zmiennych zdaniowych (RP) i regułę odrywania dla zmiennych zdaniowych (RO) w następujący sposób:

(1) (A1)

(2) (RP: 1)

(3) (A3)

(4) (RO: 2, 3)

(5) (RP: 4)

(6) (A2)

(7) (RO: 5, 6)

Stosując reguły dowodzenia można dowodzić twierdzenia nie tylko bezpośrednio z aksjomatów, ale też posługując się twierdzeniami dowiedzionymi z aksjomatów uprzednio.

#serwis laptopów radzymin serwis laptopów marki serwis laptopów ząbki

[gozdnica63-blog]

Artykuły o ciekawych trendach

Już niebawem znajdziesz tu mnóstwo ciekawych artykułów

#gubin gozdnica gniewkowo