Prawda (logika)
Prawda – jedna z dwóch podstawowych wartości logicznych. Drugą jest fałsz.
Według filozoficznej koncepcji matematycznego formalizmu prawda jest jedynie symbolem i nie ma żadnego głębszego znaczenia, czym różni się od swojego potocznie używanego odpowiednika.
W koncepcji matematycznego platonizmu prawda posiada swój wewnętrzny sens.
Wyrażenie zawsze prawdziwe, z powodu swojej konstrukcji logicznej, to tautologia.
Linki zewnętrzne
Artykuły na Stanford Encyclopedia of Philosophy (ang.) [dostęp 2018-09-08]:
- Mario Gómez-Torrente, Logical Truth, 6 września 2018. (Prawda logiczna)
- Volker Halbach, Graham E. Leigh, Axiomatic Theories of Truth, 18 stycznia 2018. (Aksjomatyczne teorie prawdy)
- Yaroslav Shramko, Heinrich Wansing, Truth values, 27 marca 2017. (Wartości logiczne)
| pojęcia podstawowe | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| funktory zdaniotwórcze |
| ||||||||||
| prawa rachunku zdań – jego tautologie |
| ||||||||||
| powiązane pojęcia |
