Tõeväärtuseta väited ja tõeväärtuslike objektide küsimus

Tõeväärtuseta väited ja tõeväärtuslike objektide küsimus

Karmo Talts

 

Vaatame, mida see tähendab tõeväärtuslike objektide jaoks, kui leidub ilma tõeväärtuseta väiteid. Tõeväärtuslik objektide hulk ja väidete hulk ei lange kokku.

Vaatame nüüd selle tähendust loogika jaoks. Muutujatega ei saa asendada mitte väiteid, vaid tõeväärtuslikke objekte.

Vaatame nüüd suhet tõeväärtuslike objekti eksistentsi ja tõeväärtuslike objektide muutujate suhet. Kui leidub vähemalt üks objekt x, mis on tõeväärtuslik, siis konkreetne objekt a on tõeväärtuslik. Kui a on tõeväärtuslik, siis saab a asendada tõeväärtusliku objekti muutujaga P.

Vaatame nüüd konkreetse tõeväärtusega objekti eksistentsi ja tõeväärtuslike objektide muutujate suhet. Kui leidub vähemalt üks x tõeväärtusega P, siis konkreetsel objektil a on tõeväärtus P. Kui a-l on tõeväärtus P, siis saab a asendada tõeväärtusliku objekti muutujaga Q ja omistada Q-le tõeväärtuspredikaat P, mis on a-l.