Alfred Tarski – twórca definicji prawdy
![Alfred Tarski – twórca definicji prawdy](https://wykop.pl/cdn/c3397993/link_EgvoMdk8QySaVnXO0omSi2jqnfT6csLh,w300h194.jpg)
Szkoła lwowsko-warszawska była największym osiągnięciem polskiej myśli filozoficznej w historii. Willard Van Orman Quine, jeden z najważniejszych filozofów analitycznych XX wieku, po zakończeniu edukacji na Harvardzie wybrał się do Polski, ponieważ tylko tam umiano wykładać logikę....
![necropoleis](https://wykop.pl/cdn/c3397992/necropoleis_tgmIaWvFtg,q52.jpg)
- #
- #
- #
- #
- #
- #
- #
- 44
Komentarze (44)
najlepsze
O, rany, jaka bzdura!
Kurt Gödel pokazał tylko, że nie można udowodnić, że aksjomat wyboru jest nieprawdziwy. Sam jednak był daleki od stwierdzenia, że to oznacza jego prawdziwość. Świat matematyczny zamarł w napięciu - czy uda się pokazać prawdziwość aksjomatu wyboru?
Wątpliwości rozwiał parę lat później amerykański matematyk Paul Cohen. I zrobił to w sposób przez wielu
"Jeżeli prosta przecina dwie proste, tworząc dwa kąty wewnętrzne po tej samej stronie o sumie mniejszej niż dwa kąty proste, to te dwie proste przecinają się po tej stronie, po której znajdują się owe kąty wewnętrzne."
Jest on niezależny od pozostałych czterech. Jeśli przyjmujemy, że piąty postulat jest prawdziwy mamy geometrię euklidesową. Jeśli jednak uznamy, że nie jest on prawdziwy, to
Na przykład, jeżeli naszymi założeniami są:
1. Każda istota wszechpotężna jest Bogiem.
2. Istnieje istota wszechpotężna,
to możemy dowieść zdania "Bóg istnieje". Nie możemy natomiast z powyższych zdań
A ja polecę Logikę Pragmatyczną Kazimierza Ajdukiewicza ze swojej strony - nie za dużo formalizmu, a wszystko jasne i przejrzyste:)
Racja, Ajdukiewicz to nasz wybitny specjalista od semiotyki. BTW, podręcznik T. Czeżowskiego do logiki, który służył studentom I roku filozofii na UW okazał się idealnym podręcznikiem dla profesorów logiki na Berkeley, gdzie Tarski w późniejszych latach życia wykładał... Tak wtedy Polska logiką stała! W. Quine, wielki logik amerykański, wyrażał dla nas wielkie uznanie. Pewien czas uczył się nawet języka polskiego.
Ja ze swej strony polecam dwie książki:
Słupecki, L. Borkowski:
"Naukowcy, którzy nie odpowiadali oficjalnej wykładni filozofii marksistowskiej, byli zwalczani. Przede wszystkim zaś rozpoczęto walkę z przedstawicielami lwowsko - warszawskiej szkoły filozoficznej; prowadzili ją - oprócz Adama Schaffa - Bronisław Baczko (który przedtem był politrukiem w wojsku), Henryk Holland (były ochotnik Armii Czerwonej), Leszek Kołakowski (który do IKKN przyszedł z aparatu organizacji młodzieżowej)"
W czasie reformy szkolnictwa za tow. J. Bermana po 1948 r.
"Usunięto z programu szkół
Dzisiaj nie ma, ani łaciny (choć obecność nowej globalnej łaciny chyba wystarcza) ani logiki.
Za to matematyka, która także uczy logicznego myślenia, zamiast być, jak przystało na królową nauk, podstawą jest stale marginalizowana. Nie ma więc co dziwić się potencjałowi umysłowemu przeciętnych Polaków.
Przypadek? ; )
To zależy w ilu tysiącach wysyłali te zaproszenia ;)
Poprawnie piszę się Gówno praWda :)