About Logically Probable Sentences

The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula in the language of classical propositional calculus, takes the logical value o...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Adam Olszewski
বিন্যাস: প্রবন্ধ
ভাষা:English
প্রকাশিত: Lodz University Press 2024-04-01
মালা:Bulletin of the Section of Logic
বিষয়গুলি:
অনলাইন ব্যবহার করুন:https://czasopisma.uni.lodz.pl/bulletin/article/view/20466
বিবরন
সংক্ষিপ্ত:The starting point of this paper is the empirically determined ability to reason in natural language by employing probable sentences. A sentence is understood to be logically probable if its schema, expressed as a formula in the language of classical propositional calculus, takes the logical value of truth for the majority of Boolean valuations, i.e., as a logically probable formula. Then, the formal system P is developed to encode the set of these logically probable formulas. Based on natural semantics, a strong completeness theorem for P is proved. Alternative notions of consequence for logically probable sentences are also considered.
আইএসএসএন:0138-0680
2449-836X