Logika filozoficzna

Z Wikipedii, wolnej encyklopedii
Przejdź do nawigacji Przejdź do wyszukiwania

Logika filozoficzna to dział filozofii zajmujący się:

Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5.Chryzyp z Soloi (gr. Χρύσιππος ὁ Σολεύς Chrysippos; ur. 279, zm. między 207 a 204 p.n.e.) – ateński filozof i myśliciel, czołowy przedstawiciel i obrońca stoicyzmu.
  • Filozoficznymi problemami logiki,
  • Zastosowaniem logiki do zagadnień filozoficznych,
  • Zagadnieniami filozofii języka.
  • Dla realizacji pierwszego celu szczególne znaczenie ma badanie i stosowanie niektórych logik nieklasycznych, takich jak logiki modalnej, która bada pojęcia konieczności i możliwości oraz jej wariantu, czyli logiki epistemicznej, która formalizuje pojęcia wiedzy oraz przekonania.

    Teoria mnogości lub inaczej: teoria zbiorów – dział matematyki, a zarazem logiki matematycznej zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Teoria początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła ona pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań.Ruth Barcan Marcus (wcześniejsze prace publikowała pod nazwiskiem panieńskim Barcan; ur. 1921 w Nowym Jorku, zm. 19 lutego 2012) – amerykańska filozof analityczna, logik i filozof logiki. Zajmuje się przede wszystkim logiką modalną i związanymi z nią zagadnieniami filozoficznymi, a także pewnymi szczegółowymi zagadnieniami etycznymi, ontologicznymi i epistemologicznymi.

    Wśród zagadnień podejmowanych w ramach filozofii logiki wymienić można problem właściwości logiki - tj. pytanie o to, która logika jest właściwa.

    Do zagadnień filozofii języka, które leżą w zakresie logiki filozoficznej należy, m.in.:

  • problem formy logicznej zdań języka naturalnego
  • analiza pojęć znaczenia, presupozycji, implikatury.
  • Arystoteles, podjął problemy zaliczane obecnie do logiki. Zajmował się m.in. tym co obecnie nazywa się sylogistyką modalną, stworzył pierwszy systematyczny opis podstawowych praw myślenia oraz podejmował zagadnienia wartości logicznej zdań o przyszłości. Inny grecki filozof - Chryzyp w swoich badaniach nad logiką zdań wprowadził jako pierwszy pojęcie ścisłej implikacji.

    Twierdzenie Gödla to jeden z najbardziej znanych rezultatów logiki matematycznej. W istocie znane są dwa różne twierdzenia Gödla: pierwsze z nich to twierdzenie o niezupełności, drugie zaś to jego wniosek nazywany też twierdzeniem o niedowodliwości niesprzeczności. Oba twierdzenia zostały udowodnione w 1931 roku przez austriackiego matematyka i logika Kurta Gödla. Uważa się również, że twierdzenia te dają negatywną odpowiedź na drugi problem Hilberta, i w ten sposób mają spore znaczenie w filozofii matematyki. Oprócz rozpatrywanych w tym artykule twierdzeń, Gödel udowodnił też twierdzenie o istnieniu modelu i twierdzenie o nierozstrzygalności (patrz: teoria, struktura matematyczna).Jaakko Hintikka (ur. 12 stycznia 1929, w Vantaa w Finlandii) – fiński logik i filozof, profesor Uniwersytetu w Bostonie. Jeden z twórców interrogacyjnego modelu nauki oraz semantyki możliwoświatowej. Jako autor lub współautor 30 książek i 300 artykułów naukowych wniósł wkład do takich dziedzin jak logika matematyczna, logika filozoficzna, filozofia matematyki, epistemologia, filozofia języka i filozofia nauki.

    Logika filozoficzna osiągnęła rozkwit w średniowieczu. Jednak prawdziwy renesans przyniósł jej wiek XX. Pojawiły się pierwsze opracowania logik nieklasycznych (logika wielowartościowa Jana Łukasiewicza i Emila Posta) i systemów Leśniewskiego. Zaczęto badać antynomie semantyczne i rozwijać teorię desykrypcji Russella, teorię mnogości oraz dowiedziono twierdzenia Gödla.

    Emil Leon Post (ur. 11 lutego 1897 w Augustowie, zm. 21 kwietnia 1954 w Nowym Jorku) – amerykański matematyk i logik polskiego pochodzenia.Pozytywizm logiczny – szkoła filozoficzna, która powstała w pierwszej połowie XX wieku w Wiedniu, zwana także neopozytywizmem. W późniejszym czasie z pozytywizmu logicznego wyłonił się nowy nurt w filozofii nauki zwany logicznym empiryzmem, który w swoim ujęciu przyjmował bardziej złagodzone i zliberalizowane poglądy, niż Koło Wiedeńskie.

    Nie bez znaczenia okazał się także wpływ empiryzmu logicznego, który postulował potrzebę logicznej rekonstrukcji wyników nauk przyrodniczych. W związku z tym postulatem, w ramach logiki filozoficznej zaczęto zajmować się zagadnieniem formalizacji teorii naukowych.

    Wielki przełom w logice filozoficznej przyniosły lata pięćdziesiąte XX w. Szczególne znaczenie miało powstanie semantyki indeksowej. Dzięki pracom Ruth Barcan Marcus, Rudolfa Carnapa, Stiga Kangera, Jaakko Hintikki oraz Richarda Montague semantyka indeksowa znalazła zastosowanie w logikach modalnych, logikach temporalnych, logikach epistemicznych oraz w pragmatyce logicznej. Od lat pięćdziesiątych datuje się także rosnące zainteresowanie klasyczną problematyką filozoficzną, która okazuje się być w wielu wypadkach blisko związana z filozofią logiki - warto wspomnieć tu o zagadnienich:

    Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych rozważań nad naturą czasu, dzisiaj jest używana głównie w informatyce.Bertrand Arthur William Russell, 3. hrabia Russell (ur. 18 maja 1872 roku w Ravenscroft (Monmouthshire), zm. 2 lutego 1970 roku w Penrhyndeudraeth, Walia) – brytyjski filozof, logik, matematyk, działacz społeczny i eseista. Laureat Nagrody Nobla w dziedzinie literatury za rok 1950. Zainicjował w 1954 roku kampanię pokojową Pugwash.
  • esencjalizmu,
  • przyczynowości (którą analizuje się często w terminach kontrfaktycznych okresów warunkowych),
  • możliwości redukcji własności mentalnych do własności fizycznych (wykorzystywane jest tu pojęcie superweniencji).
  • Oryginalnym wkładem polskim do logiki filozoficznej jest logika niefregowska Romana Suszki oraz logika pytań Andrzeja Wiśniewskiego. Od kilkudziesięciu lat najważniejsze prace z dziedziny logiki filozoficznej ukazują się w piśmie 'Journal of Philosophical Logic' wydawanym przez Kluwer Academic Publishers.

    Arystoteles (gr. Ἀριστοτέλης, Aristotelēs, ur. 384 p.n.e., zm. 7 marca 322 p.n.e.) – filozof, jeden z trzech, obok Sokratesa i Platona najsławniejszych filozofów starożytnej Grecji. Nazywany też Stagirytą (od miejsca urodzenia), lub po prostu Filozofem (w tekstach średniowiecznych i nowożytnych).Prof. Jan Łukasiewicz (ur. 21 grudnia 1878 we Lwowie, zm. 13 lutego 1956 w Dublinie) – polski logik, matematyk, filozof, rektor Uniwersytetu Warszawskiego.




    Warto wiedzieć że... beta

    Filozofia (gr. φιλοσοφία – umiłowanie mądrości) – rozważania na temat podstawowych problemów takich jak np. istnienie, umysł, poznanie, wartości, język.
    Teoria deskrypcji jest m.in. pewną teorią parafrazowania zdań zawierających deskrypcje określone - czyli takie nazwy, które mogą stać w podmiocie i orzeczeniu zdania o postaci „A jest B” oraz w intencji mówiącego mają odnosić się dokładnie do jednego przedmiotu) np.:
    Presupozycja - w logice presupozycja zdania A to sąd, który musi być prawdziwy, żeby zdaniu A można było przypisać wartość logiczną (prawdę albo fałsz). Innymi słowy, presupozycja to wniosek wynikający zarówno ze zdania A, jak i z jego negacji. Np. presupozycją zarówno zdania "Obecny król Francji jest łysy" jak i zdania "Obecny król Francji nie jest łysy" jest: "Francja ma obecnie króla".
    Richard Merett Montague (ur. 20 września 1930 r. w Stockton, w stanie Kalifornia - zm. 7 marca 1971 r. w Los Angeles) był amerykańskim matematykiem i filozofem.
    Filozofia języka − dział filozofii podejmujący problem natury, pochodzenia oraz użycia języka. Filozofów analitycznych interesują cztery kluczowe problemy: natura znaczenia, użycie języka, rozumienie języka oraz relacja między językiem a rzeczywistością. Dla filozofów kontynentalnych z kolei, filozofia języka rozpatrywana jest nie jako osobne zagadnienie, lecz jako część logiki, historii lub polityki.

    Reklama