Veel valetaja paradoksist
Karmo Talts
Eeldame, et on olemas ilma tõeväärtuseta väited. Järelduste tegemisel püüeldakse selle poole, et järelduste tõeväärtus ei oleks madalam kui eeldustel. Ilma tõeväärtuseta väidetel puudub tõeväärtus, mida säilitada. Seega saab järeldusi teha vaid väidetest, millel on tõeväärtus.
Vaatame nüüd selle tähendust loogika jaoks. Kui P-l on tõeväärtus, siis kehtivad teoreemid, mille eelduseks on, et P. Kui P-l puudub tõeväärtus, siis meil pole põhjust arvata, et teoreemid, mille eelduseks on P, kehtivad
No comments:
Post a Comment