ŚFiNiA

wujzboj

Kurczę, znów używasz słowa "będzie" w dwóch różnych znaczeniach w tym samym zdaniu, tworząc pseudo-paradoks.

konrado5

wujzboj

Jak to w jakich? Przecież w kółko jest o tym mowa: raz w znaczeniu przyszłym ("będzie"), a raz - w przeszłym lub teraźniejszym ("było" lub "jest").

konrado5

wujzboj

Tam, gdzie i przedtem. Zajrzyj do poprzedniej korespondencji. NIC się nie zmieniło.

Może więc zwolnimy nieco tempo?

Michał Dyszyński

konrado5

Do Wuja Zbója: jeżeli coś będzie, to będzie to coś konkretnego. Przyszłość jest jedna, bo niemożliwe będzie wydarzenie się w tym samym momencie dwóch sprzecznych rzeczy naraz. Jeżeli nie jest prawdą to, że coś będzie, to tego nie będzie, bo "jest prawdą, że będzie"="będzie",a zaprzeczeniem "będzie" jest "nie będzie".

wujzboj

A przeczytałeś, co napisał Michał? Przeanalizuj dokładnie znaczenie, w jakim używasz różnych form czasownika "być".

Kiedy mówisz "będzie coś konkretnego", stawiasz siebie w przyszłości i opisujesz przyszłość tak, jakby JUŻ była teraźniejszością, albo wręcz przeszłością. W kontekście tej dyskusji nie ma to najmniejszego sensu, bo jeśli model nie jest deterministyczny, to ograniczenie się do takiego opisu PRZEMIENIA go w deterministyczny.

Przyszłość nie jest odmianą ani teraźniejszości, ani przeszłości. W szczególności, nie jest prawdą, że konkretnej chwili t1, należącej do przyszłości, nie należy wiele "sprzecznych" rzeczy na raz. Przeciwnie: należy. W chwili t2 samochód MOŻE skręcić w prawo, MOŻE też skręcić w lewo. Dopiero, gdy chwila t2 staje się chwilą teraźniejszą, jedna i tylko jedna z tych możliwości zostaje ZREALIZOWANA. I od tego momentu można przypisać zdaniu "samochód skręci(ł) w lewo" wartość logiczną. Dopóki jednak t2 leży w przyszłości, zdanie to nie posiada wartości logicznej. Wartość logiczną może natomiast posiadać (od pewnej chwili t1<t2) zdanie "samochód skręci(ł) w chwili t2". Jest tak dla każdej chwili t1, dla której prawdą jest, że w przeszłości lub w teraźniejszości względem t1 leżą chwile t0i zapewniające, że w chwili t2 samochód musi wykonać manewr zmiany kierunku jazdy (wtedy wartość logiczna zdania "samochód skręci(ł) w chwili t2" jest TRUE). Jest tak także dla każdej chwili t1, dla której prawdą jest, że w przeszłości lub w teraźniejszości względem t1 leżą chwile t0i zapewniające, że w chwili t2 samochód nie może wykonać manewru zmiany kierunku jazdy (wtedy wartość logiczna zdania "samochód skręci(ł) w chwili t2" jest FALSE).

konrado5

wujzboj

konrado5

wujzboj

Nie. Treść i wartość logiczna to różne rzeczy.

Wartość logiczna dotyczy porównania treści wypowiedzi ze stanem faktycznym. Na przykład, jeśli za oknem widać Księżyc, to wartość logiczna zdania "Za oknem widać Księżyc" jest TRUE, a jeśli Księżyca nie widać, to wartość tego samego zdania jest FALSE. Natomiast to samo zdanie przeczytane w książce wartości logicznej nie posiada, nie odnosi się bowiem ono do żadnego stanu faktycznego.

Aby nadać mu wartość logiczną, musimy go do jakiegoś stanu faktycznego odnieść. Można to zrobić na przykład tak: "w książce znajduje się zdanie 'za oknem widać Księżyc'".

W przypadku zdania "jutro wypiję herbatę zieloną", wartość logiczną można nadać poprzez dodanie operatorów czasowych. Możesz poczytać sobie o tym na przykład w Wikipedii, artykuł [link widoczny dla zalogowanych]. Determinizmowi odpowiada logika LTL, natomiast przypadki niedeterministyczne to logiki z rozgałęzionym czasem, jak CTL*. Każde twierdzenie LTL można wyrazić w CTL*, poprzedzając je operatorem A, który znaczy "dla każdej ścieżki czasowej".

konrado5

wujzboj

Zdanie to mówi o MOŻLIWOŚCI. I jako takie jest prawdziwe (jeśli możliwość zachodzi) lub fałszywe (jeśli możliwość nie zachodzi). Poczytaj o logikach modalnych i czasowych.

konrado5

wujzboj

To był komentarz do pierwszego cytatu.

Czy czytałeś o logikach modalnych i czasowych?

konrado5

wujzboj

A zwróciłeś uwagę na CTL*?

konrado5

wujzboj

Mniej więcej. CTL* posiada różne operatory, ale w ogólności wartość logiczna zależy od zachowania się wielu ścieżek, a nie tylko jednej. Teoria wypowiedziana w CTL* sprowadza się do deterministycznej wtedy i tylko wtedy, jeśli każde z wyrażeń teorii wypowiedzianej CTL* poprzedzić kwantyfikatorem "dla każdej ścieżki". Rzecz jasna, w przypadku ogólnym jest to związane z drastyczną zmianą treści teorii i, co ma prawo prowadzić
do przekształcenia teorii spójnej w teorię niespójną (zawierającą sprzeczności), albo uniemożliwić wypowiedzenie twierdzeń istotnych dla utrzymania sensu teorii.

konrado5

A jak to się ma do tego co mówiłem o tym, że niezrozumiałe jest zdanie pozbawione wartości logicznej?

wujzboj

Tak, że nie ma tutaj niezrozumiałego zdania.

konrado5

wujzboj

To, że nie ma tutaj niezrozumiałego pojęcia.

A wspomniane zdanie nie ma wartości logicznej w liniowej logice deterministycznej. W CTL* wartość logiczną posiada.