o M2* „Jan kocha Zosię” jest zdaniem poprawnym gramatycznie, o M3* <”Jan kocha Zosię” jest zdaniem poprawnym gramatycznie> - to zdanie jest prawdziwe.
o M4* ...
Tylko język 1* odnosi się do rzeczywistości pozajęzykowej.
Język prawny - np. teksty ustaw. Język prawniczy - język w którym prawnicy mówią o prawie. Język prawniczy jest metajęzykiem w stosunku do języka prawnego. Przepisy odsyłające to metajęzyki.
Metajęzykiem jest każdy język odnoszący się do innego języka Intensjonalność języka naturalnego i ekstensjonalność języka sztucznego
Język KRZ (Klasyczny Rachunek Zdań)
Język KRZ |
Język naturalny (polski) |
Zmienne zdaniowe p, q, r, s p->~r p - zdanie w sensie logicznym |
Zdanie w sensie logicznym |
Zmienna zdaniowa - jest to symbol, w miejsce którego możemy podstawić zdanie w sensie logicznym, lub funkcje zdaniowe i funktory prawdziwościowe.
Funkcja zdaniowa - wyrażenie zawierające zmienne zdaniowe i funktory prawdziwościowe.
Zdanie w sensie logicznym - zdanie, albo prawdziwe, albo fałszywe, czyli posiada wartość logiczną.
prawdziwość fałszywość
VERUM FALSUM
1 0
Zdania w sensie logicznym
Nonkognitywizm - wszystkie dyrektywy (w szczególności normy) są pozbawione wartości logicznej;
Zdanie w sensie logicznym - to wypowiedzi albo prawdziwe, albo fałszywe i my jesteśmy to w stanie udowodnić (nie każde zdanie w sensie gramatycznym jest zdaniem w sensie logicznym).
Wypowiedzi niezupełne - każdy użytkownik języka dąży do skracania poprzez samo „nie” - „nieprawda że..> „nie”.
Wypowiedzi niezupełne nie są zdaniami w sensie logicznym, ale mogą się nimi stać. Wyrażenia okazjonalne - słowo bez stałego desygnatu (desygnatem jest to, co odnosimy do danej rzeczy). „Ja mam 22 lata” - zależy kto to jest „ja” - wtedy to jest prawdziwe, lub fałszywe.
Zdanie w sensie logicznym
Wypowiedź niezupełna - „Nauczyciel akademicki jest osobą kulturalną”. Jak przekształcić?
Konkretyzacja wypowiedzi niezupełnej - „Jan Iksiński jest kulturalną osobą”. Kwantyfikacja - „Każdy nauczyciel akademicki jest kulturalną osobą”.
Odróżnianie zdań analitycznych i syntetycznych