Sidebar

Najnowsze

  • Nowy Traktat Logiczno-Filozoficzny
  • Czas i paradoksy logiczne
  • Wprowadzenie do alternatywnych miar złożoności obliczeniowej
  • Mechanizm wnioskowania w systemach przetwarzania danych
  • Współczesne interpretacje argumentu św Anzelma
  • Cyfrowe oczyszczanie logiki
  • Znaczenie a oznaczanie
  • Informatyka w służbie prawdzie
  • Problemy wirtualnej rzeczywistości
  • Tradycja Szkoły Lwowsko-Warszawskiej

Machine Translation

Polish Polish
pl Polishaf Afrikaanssq Albanianar Arabichy Armenianaz Azerbaijanieu Basquebe Belarusianbg Bulgarianca Catalanzh-CN Chinese (Simplified)zh-TW Chinese (Traditional)hr Croatiancs Czechda Danishnl Dutchen Englishet Estoniantl Filipinofi Finnishfr Frenchgl Galicianka Georgiande Germanel Greekht Haitian Creoleiw Hebrewhi Hindihu Hungarianis Icelandicid Indonesianga Irishit Italianja Japaneseko Koreanlv Latvianlt Lithuanianmk Macedonianms Malaymt Malteseno Norwegianfa Persianpt Portuguesero Romanianru Russiansr Serbiansk Slovaksl Slovenianes Spanishsw Swahilisv Swedishth Thaitr Turkishuk Ukrainianur Urduvi Vietnamesecy Welshyi Yiddish
Polish Logic Polish Logic Polish Logic
  • Najnowsze
  • Konteksty
  • Filozofia
  • Przetwarzanie wiedzy
  • Teoria obliczeń

Nowy Traktat Logiczno-Filozoficzny

Szczegóły
Jerzy Wawro
Filozofia i logika
30 sierpień 2018
Odsłony: 6172
Empty
  •  Drukuj 
  • E-mail

Dla mnie „Traktat Logiczno Filozoficzny”1 to dzieło o granicach racjonalności napisane bez należytej dbałości o precyzję. Na dodatek upływ czasu sprawił, że wiele terminów których Wittgenstein używa bez podania definicji ma dzisiaj bardzo konkretne znaczenie – odmienne od tego jak on je rozumiał. Dlatego Traktat pozostaje żerowiskiem filozofów żyjących z wyjaśniania tego co autor miał na myśli. Natomiast jego przesłanie – aby było żywe – trzeba napisać od nowa. Chcąc podjąć dzieło Wittgensteina, trzeba zacząć od krytycznej analizy tego, co on napisał. Nie chodzi przy tym o interpretację treści, ale o wykorzystanie zestawu poruszonych zagadnień do refleksji nad drogą do wyznaczonego celu.

Pierwsza część tekstu zawiera analizę głównych zagadnień poruszonych w Traktacie. Druga część to podjęcie próby odsłonięcia granic racjonalności przy zastosowaniu wniosków z wykonanej analizy.

Na koniec tego wprowadzenia wyjaśnię krótko dlaczego zdecydowałem się stworzyć niniejszy tekst. Motywacje były trzy:

1) cel jaki postawił sobie Wittgenstein pozostaje aktualny – może teraz w czasach „postprawdy” bardziej niż kiedykolwiek;

2) negatywna ocena środowiska naukowego sprawia, że nie widzę żadnych szans na to, by to potrzebne dzieło zostało przez naukowców i filozofów wykonane (nie spodziewam się też, że moja praca zostanie przez nich dostrzeżona i doceniona);

3) języki programowania pełnią rolę o jakiej marzyli twórcy pozytywizmu logicznego (umożliwiają ścisły opis rzeczywistości); wydaje się ogromnie dziwne, że nie zostało to dostrzeżone przez spadkobierców tej tradycji; nie jestem filozofem (w sensie zawodowym), ale jestem programistą i dostrzegam doniosłość powyższego odkrycia.

Czytaj więcej: Nowy Traktat Logiczno-Filozoficzny

Czas i paradoksy logiczne

Szczegóły
Jerzy Wawro
Filozofia i logika
02 kwiecień 2018
Odsłony: 7647
Empty
  •  Drukuj 
  • E-mail

Czas a logika klasyczna1

Zdania w logice klasycznej opisują fakty (stan), a nie ich zmiany w czasie! Jeśli uznajemy zdanie za prawdziwe (fałszywe), tym samym uznajemy iż jego wartość logiczna nie zmienia się w czasie.
Na przykład zdanie 'jutro będzie padać deszcz' nie jest zdaniem logiki, gdyż nie umiemy ustalić jego wartości logicznej.

Możemy powiedzieć: 'dodając do liczby 2 liczbę 3 otrzymamy 5'. Wydaje się, że wyrażono tu jakiś ciąg czynności w czasie. Ale to jedynie opis zdeterminowanego wyniku działania. Wynik jest z góry przesądzony i dlatego możemy go podać. To, że posługujemy się przy tym czasownikiem jest jedynie środkiem wyrazu. Analogicznie możemy traktować każdy program komputerowy jako sieć logiczną2. Zamiana tego zapisu na instrukcje działania wykonywane w czasie powoduje jedynie zmniejszenie złożoności sieci logicznej na złożoność czasową (zamiast jednego złożonego działania ciąg prostszych wykonywanych w kolejnych chwilach czasu). Trudno więc mówić, że w ten sposób uwzględniono w komputerze czas taki jakim my go rozumiemy (jako doświadczaną zmienność). Prawdą pozostaje teza postawiona na początku: jeśli uznajemy zdanie za prawdziwe/fałszywe, tym samym uznajemy iż jego wartość logiczna nie zmienia się w czasie.

Opis działania komputera jest równoważny opisowi jego struktury, który da się przedstawić jako zbiór wyrażeń logicznych. Zauważmy przy tym, że takie wyrażenia nie są nigdy zapisem zdań fałszywych – nawet gdy dają na wynik 0 (fałsz). Na przykład zdanie: „koniunkcja daje na wynik fałsz, gdy wartości obu czynników koniunkcji (wejście) są fałszywe” jest prawdą! Opis działania komputera jest równoważny ze zbiorem zdań prawdziwych!

Dotyczy to wszystkich układów (maszyn) deterministycznych. Wątpliwości mogą dotyczyć jedynie tego, czy mamy do czynienia z determinizmem (jak w zdaniu 'jutro wzejdzie słońce'). Problemem jest też próba uwzględnienia czasu ciągłego (a nie dyskretnego). Prowadzi to do paradoksów związanych z nieskończonością. Z uwagi na to w tym artykule problem czasu ciągłego nie został poruszony.

Logika modalna i światy możliwe

Na początku tekstu podkreślone zostało to, że zdania logiczne służą do opisu faktów (stanu rzeczy). Kiedy fakty nie są znane w pełni, też możemy je opisać w sposób ścisły - choć niekoniecznie szczegółowy. Na przykład: 'jeśli rzucimy kostką do gry to otrzymamy ilość oczek od 1 do 6'. W tym przypadku można też skorzystać z pewnego rozszerzenia logiki klasycznej, a mianowicie logiki modalnej. W logice tej wprowadza się dwa operatory: jest konieczne oraz jest możliwe. Możemy więc powiedzieć: 'jest możliwe że rzucając kostką do gry otrzymamy 6 oczek'. Nie stanowi to istotnego wyłomu w deterministycznym charakterze logiki. Powszechnie takie zdania modalne interpretuje się w ten sposób, że pojawia się kilka światów możliwych. W każdym z nich wynik jest zdeterminowany. A więc na przykład w jednym ze światów możliwych rzucenie kostką da na pewno wynik 1 a w innym 6. Jeden z tych światów możliwych jest naszym światem realnym (choć możemy nie wiedzieć który). Operator „jest możliwe” oznacza że istnieje co najmniej jeden świat możliwy w którym zdanie jest prawdziwe. Operator „jest konieczne” zaś oznacza, że w każdym świecie możliwym rozważane zdanie jest prawdziwe.

Czytaj więcej: Czas i paradoksy logiczne

Więcej artykułów…

  1. Wprowadzenie do alternatywnych miar złożoności obliczeniowej
  2. Mechanizm wnioskowania w systemach przetwarzania danych
  3. Współczesne interpretacje argumentu św Anzelma
  4. Cyfrowe oczyszczanie logiki
  5. Znaczenie a oznaczanie
  6. Informatyka w służbie prawdzie
  7. Problemy wirtualnej rzeczywistości
  8. Tradycja Szkoły Lwowsko-Warszawskiej
Strona 1 z 5
  • start
  • Poprzedni artykuł
  • 1
  • 2
  • 3
  • 4
  • 5
  • Następny artykuł
  • koniec
Bootstrap is a front-end framework of Twitter, Inc. Code licensed under MIT License. Font Awesome font licensed under SIL OFL 1.1.