Komentarze do notki: Logika matematyczna a tradycyjna logika formalna (1)

« Wróć do notki

nanotrol15 sierpnia 2013, 10:14
00
Zgłaszam problem techniczny" Rozważmy tedy klasyczny przykład:


To zdanie nie tylko jest prawdziwe, ale "

Po słowie "przykład:" widzę puste linijki, ale żadnego przykładu. Z przeglądarką (Firefox) raczej nie miewam problemów. Czy na pewno zamieścił Pan ten przykład? Podobnie jest z innymi przykładami w tym artykule. Jedyny, który pokazuje się poprawnie to "(5) Jan pali papierosy".
Disamis15 sierpnia 2013, 10:22
00
@NANOTROLZgadza się. Poprawię.

Dziękuję
Disamis15 sierpnia 2013, 10:41
00
@NANOTROLPoprawiłem. Przykłady pokazały się dopiero po wklejeniu :jako czysty tekst". Nie mam pojęcia dlaczego (5) weszło wcześniej.

Jeszcze raz dziękuję.
nanotrol15 sierpnia 2013, 11:25
00
@DISAMISDziękuję, teraz mogłem się przyjrzeć zdaniu:

Jeżeli każdy człowiek jest śmiertelny i Sokrates jest człowiekiem, to Sokrates jest śmiertelny.

I mam wrażenie, że nie jest prawdziwe dlatego, że jest logiczne, ale dlatego, że definiuje logikę.
Po prostu, przyjmuje się, że tak zbudowane zdanie jest prawdziwe.
Jeśli nie mam racji, logika winna mi dostarczyć definicje pojęć "jeżeli" i "każdy", które nie byłyby oparte o przykłady właśnie takich zdań jak powyższe. Czy logika jest w stanie to zrobić?
Disamis16 sierpnia 2013, 07:38
00
@NANOTROL>> Jeśli nie mam racji, logika winna mi dostarczyć definicje pojęć "jeżeli" i "każdy", które nie byłyby oparte o przykłady właśnie takich zdań jak powyższe. Czy logika jest w stanie to zrobić? <<<br /> _____________________________________________

Przypuszczam, że nie. Przynajmniej jeżeli idzie o "jeżeli". Być może matematyka mogłaby pomóc w kwestii "każdy".
GPS17 sierpnia 2013, 00:18
00
@DISAMIS"Jeżeli" a zatem wynikanie, to związek przyczynowo-skutkowy, a zatem strzałka czasu. Jeżeli [A] to [B], to znaczy, że z [A] wynika [B], a zatem [A] jest przyczyną [B], a [B] skutkiem [A] - nie koniecznym, ale wystarczającym. A zatem [A] musi spowodować [B] - gdy zajdzie [A] to musi zajść [B]. Przyczynowo-skutkowość nie jest cechą zdań, a zatem opisów rzeczywistości, ale samej rzeczywistości, a konkretnie tym, że rzeczywistość dzieje się w czasie, który płynie w jedną stronę.
Ten komentarz został ukryty. Aby przeczytać, wyłącz filtr treści.
Disamis18 sierpnia 2013, 16:09
00
@GPSPańskie uwagi są do przyjęcia. To jest temat rzeka. Logika nie operuje wprost relacją przyczynowo-skutkową. Wynikanie logiczne czy implikacja logiczna to operacje na zdaniach. Może tak być, że logika sobie, a realia sobie.
deda18 sierpnia 2013, 16:24
00
@DISAMIS: "nie operuje relacja przyczynową"Zależy jaka- klasyczna nie operuje. Ale jest tez tzw. logika relewantna. W ogóle logik nieklasycznych jest b. dużo...
Ten komentarz został ukryty. Aby przeczytać, wyłącz filtr treści.
Disamis18 sierpnia 2013, 17:10
00
@DEDAOczywiście. Logik nieklasycznych jest b. dużo, a każdy z nas może dołożyć kolejną. Ale mnie to nie wciąga.