東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Probabilistic Semantics for Modal Logic.

Lando, Tamar Ariela.

FindBook

Google Book

Amazon

博客來

Probabilistic Semantics for Modal Logic.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Probabilistic Semantics for Modal Logic./
作者:	Lando, Tamar Ariela.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2012,
面頁冊數:	137 p.
附註:	Source: Dissertations Abstracts International, Volume: 74-04, Section: A.
Contained By:	Dissertations Abstracts International74-04A.
標題:	Logic. -
電子資源:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3527187
ISBN:	9781267613073

Probabilistic Semantics for Modal Logic.
Lando, Tamar Ariela.

Probabilistic Semantics for Modal Logic. - Ann Arbor : ProQuest Dissertations & Theses, 2012 - 137 p.

Source: Dissertations Abstracts International, Volume: 74-04, Section: A.

Thesis (Ph.D.)--University of California, Berkeley, 2012.

This item must not be sold to any third party vendors.

We develop a probabilistic semantics for modal logic, which was introduced in recent years by Dana Scott. This semantics is intimately related to an older, topological semantics for modal logic developed by Tarski in the 1940's. Instead of interpreting modal languages in topological spaces, as Tarski did, we interpret them in the Lebesgue measure algebra, or algebra of measurable subsets of the real interval, [0, 1], modulo sets of measure zero . In the probabilistic semantics, each formula is assigned to some element of the algebra, and acquires a corresponding probability (or measure) value. A formula is satisfied in a model over the algebra if it is assigned to the top element in the algebra-or, equivalently, has probability 1. The dissertation focuses on questions of completeness. We show that the propositional modal logic, S4, is sound and complete for the probabilistic semantics (formally, S4 is sound and complete for the Lebesgue measure algebra). We then show that we can extend this semantics to more complex, multi-modal languages. In particular, we prove that the dynamic topological logic, S4 C, is sound and complete for the probabilistic semantics (formally, S4C is sound and complete for the Lebesgue measure algebra with O-operators). The connection with Tarski's topological semantics is developed throughout the text, and the first substantive chapter is devoted to a new and simplified proof of Tarski's completeness result via well-known fractal curves. This work may be applied in the many formal areas of philosophy that exploit probability theory for philosophical purposes. One interesting application in metaphysics, or mereology, is developed in the introductory chapter. We argue, against orthodoxy, that on a 'gunky' conception of space-a conception of space according to which each region of space has a proper subregion-we can still introduce many of the usual topological notions that we have for ordinary, 'pointy' space.

ISBN: 9781267613073Subjects--Topical Terms:

529544
Logic.
Subjects--Index Terms:

Completeness

Probabilistic Semantics for Modal Logic.
LDR:03149nmm a2200373 4500 001 2283891
005 20211115071711.5
008 220723s2012 ||||||||||||||||| ||eng d
020 $a 9781267613073
035 $a (MiAaPQ)AAI3527187
035 $a (MiAaPQ)berkeley:12454
035 $a AAI3527187
040 $a MiAaPQ $c MiAaPQ
100 1 $a Lando, Tamar Ariela. $3 3562966
245 1 0 $a Probabilistic Semantics for Modal Logic.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2012
300 $a 137 p.
500 $a Source: Dissertations Abstracts International, Volume: 74-04, Section: A.
500 $a Publisher info.: Dissertation/Thesis.
500 $a Advisor: Mancosu, Paolo;Stroud, Barry.
502 $a Thesis (Ph.D.)--University of California, Berkeley, 2012.
506 $a This item must not be sold to any third party vendors.
520 $a We develop a probabilistic semantics for modal logic, which was introduced in recent years by Dana Scott. This semantics is intimately related to an older, topological semantics for modal logic developed by Tarski in the 1940's. Instead of interpreting modal languages in topological spaces, as Tarski did, we interpret them in the Lebesgue measure algebra, or algebra of measurable subsets of the real interval, [0, 1], modulo sets of measure zero . In the probabilistic semantics, each formula is assigned to some element of the algebra, and acquires a corresponding probability (or measure) value. A formula is satisfied in a model over the algebra if it is assigned to the top element in the algebra-or, equivalently, has probability 1. The dissertation focuses on questions of completeness. We show that the propositional modal logic, S4, is sound and complete for the probabilistic semantics (formally, S4 is sound and complete for the Lebesgue measure algebra). We then show that we can extend this semantics to more complex, multi-modal languages. In particular, we prove that the dynamic topological logic, S4 C, is sound and complete for the probabilistic semantics (formally, S4C is sound and complete for the Lebesgue measure algebra with O-operators). The connection with Tarski's topological semantics is developed throughout the text, and the first substantive chapter is devoted to a new and simplified proof of Tarski's completeness result via well-known fractal curves. This work may be applied in the many formal areas of philosophy that exploit probability theory for philosophical purposes. One interesting application in metaphysics, or mereology, is developed in the introductory chapter. We argue, against orthodoxy, that on a 'gunky' conception of space-a conception of space according to which each region of space has a proper subregion-we can still introduce many of the usual topological notions that we have for ordinary, 'pointy' space.
590 $a School code: 0028.
650 4 $a Logic. $3 529544
650 4 $a Mathematics. $3 515831
650 4 $a Philosophy. $3 516511
653 $a Completeness
653 $a Modal logic
653 $a Probabilistic semantics
690 $a 0395
690 $a 0405
690 $a 0422
710 2 $a University of California, Berkeley. $b Philosophy. $3 1683966
773 0 $t Dissertations Abstracts International $g 74-04A.
790 $a 0028
791 $a Ph.D.
792 $a 2012
793 $a English
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3527187