Prawda (logika)


Prawda (logika) w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania

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 | edytuj kod

Artykuły na Stanford Encyclopedia of Philosophy (ang.) [dostęp 2018-09-08]:

  • MarioM. Gómez-Torrente MarioM., Logical Truth, 6 września 2018 . (Prawda logiczna)
  • VolkerV. Halbach VolkerV., Graham E.G.E. Leigh Graham E.G.E., Axiomatic Theories of Truth, 18 stycznia 2018 . (Aksjomatyczne teorie prawdy)
  • YaroslavY. Shramko YaroslavY., HeinrichH. Wansing HeinrichH., Truth values, 27 marca 2017 . (Wartości logiczne)
Na podstawie artykułu: "Prawda (logika)" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy