東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

What Can You Say? Measuring the Expr...

Kocurek, Alexander William.

FindBook

Google Book

Amazon

博客來

What Can You Say? Measuring the Expressive Power of Languages.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	What Can You Say? Measuring the Expressive Power of Languages./
作者:	Kocurek, Alexander William.
出版者:	Ann Arbor : ProQuest Dissertations & Theses, : 2018,
面頁冊數:	231 p.
附註:	Source: Dissertations Abstracts International, Volume: 80-05, Section: A.
Contained By:	Dissertations Abstracts International80-05A.
標題:	Logic. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10830321
ISBN:	9780438642645

What Can You Say? Measuring the Expressive Power of Languages.
Kocurek, Alexander William.

What Can You Say? Measuring the Expressive Power of Languages. - Ann Arbor : ProQuest Dissertations & Theses, 2018 - 231 p.

Source: Dissertations Abstracts International, Volume: 80-05, Section: A.

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

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

There are many different ways to talk about the world. Some ways of talking are more expressive than others-that is, they enable us to say more things about the world. But what exactly does this mean? When is one language able to express more about the world than another? In my dissertation, I systematically investigate different ways of answering this question and develop a formal theory of expressive power. In doing so, I show how these investigations help to clarify the role that expressive power plays within debates in metaphysics, logic, and the philosophy of language. When we attempt to describe the world, we are trying to distinguish the way things are from all the many ways things could have been-in other words, we are trying to locate ourselves within a region of logical space. According to this picture, languages can be thought of as ways of carving logical space or, more formally, as maps from sentences to classes of models. For example, the language of first-order logic is just a mapping from first-order formulas to model-assignment pairs that satisfy those formulas. Almost all formal languages discussed in metaphysics and logic, as well as many of those discussed in natural language semantics, can be characterized in this way. Using this picture of language, I analyze two different approaches to defining expressive power, each of which is motivated by different roles a language can play in a debate. One role a language can play is to divide and organize a shared conception of logical space. If two languages share the same conception of logical space (i.e., are defined over the same class of models), then one can compare the expressive power of these languages by comparing how finely they carve logical space. This is the approach commonly employed, for instance, in debates over tense and modality, such as the primitivism-reductionism debate. But a second role languages can play in a debate is to advance a conception or theory of logical space itself. For example, consider the debate between perdurantism, which claims that objects persist through time by having temporal parts located throughout that time, and endurantism, which claims that objects persist through time by being wholly present at that time. A natural thought about this debate is that perdurantism and endurantism are simply alternative but equally good descriptions of the world rather than competing theories. Whenever the endurantist says, for instance, that an object is red at time t, the perdurantist can say that the object's temporal part at t is red. On this view, one should conceive of perdurantism and endurantism not as theories picking out disjoint regions of logical space, but as theories offering alternative conceptions of logical space: one in which persistence through time is analogous to location in space and one in which it is not. A similar distinction applies to other metaphysical debates, such as the mereological debate between universalism and nihilism. If two theories propose incommensurable conceptions of logical space, we can still compare their expressive power utilizing the notion of a translation, which acts as a correlation between points in logical space that preserves the language's inferential connections. I build a formal theory of translation that explores different ways of making this notion precise. I then apply this theory to two metaphysical debates, viz., the debate over whether composite objects exist and the debate over how objects persist through time. This allows us to get a clearer picture of the sense in which these debates can be viewed as genuine.

ISBN: 9780438642645Subjects--Topical Terms:

529544
Logic.

What Can You Say? Measuring the Expressive Power of Languages.
LDR:04745nmm a2200337 4500 001 2209281
005 20191104073133.5
008 201008s2018 ||||||||||||||||| ||eng d
020 $a 9780438642645
035 $a (MiAaPQ)AAI10830321
035 $a (MiAaPQ)berkeley:18040
035 $a AAI10830321
040 $a MiAaPQ $c MiAaPQ
100 1 $a Kocurek, Alexander William. $3 3436361
245 1 0 $a What Can You Say? Measuring the Expressive Power of Languages.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2018
300 $a 231 p.
500 $a Source: Dissertations Abstracts International, Volume: 80-05, Section: A.
500 $a Publisher info.: Dissertation/Thesis.
500 $a Advisor: Holliday, Wesley H.;Yalcin, Seth.
502 $a Thesis (Ph.D.)--University of California, Berkeley, 2018.
506 $a This item must not be sold to any third party vendors.
520 $a There are many different ways to talk about the world. Some ways of talking are more expressive than others-that is, they enable us to say more things about the world. But what exactly does this mean? When is one language able to express more about the world than another? In my dissertation, I systematically investigate different ways of answering this question and develop a formal theory of expressive power. In doing so, I show how these investigations help to clarify the role that expressive power plays within debates in metaphysics, logic, and the philosophy of language. When we attempt to describe the world, we are trying to distinguish the way things are from all the many ways things could have been-in other words, we are trying to locate ourselves within a region of logical space. According to this picture, languages can be thought of as ways of carving logical space or, more formally, as maps from sentences to classes of models. For example, the language of first-order logic is just a mapping from first-order formulas to model-assignment pairs that satisfy those formulas. Almost all formal languages discussed in metaphysics and logic, as well as many of those discussed in natural language semantics, can be characterized in this way. Using this picture of language, I analyze two different approaches to defining expressive power, each of which is motivated by different roles a language can play in a debate. One role a language can play is to divide and organize a shared conception of logical space. If two languages share the same conception of logical space (i.e., are defined over the same class of models), then one can compare the expressive power of these languages by comparing how finely they carve logical space. This is the approach commonly employed, for instance, in debates over tense and modality, such as the primitivism-reductionism debate. But a second role languages can play in a debate is to advance a conception or theory of logical space itself. For example, consider the debate between perdurantism, which claims that objects persist through time by having temporal parts located throughout that time, and endurantism, which claims that objects persist through time by being wholly present at that time. A natural thought about this debate is that perdurantism and endurantism are simply alternative but equally good descriptions of the world rather than competing theories. Whenever the endurantist says, for instance, that an object is red at time t, the perdurantist can say that the object's temporal part at t is red. On this view, one should conceive of perdurantism and endurantism not as theories picking out disjoint regions of logical space, but as theories offering alternative conceptions of logical space: one in which persistence through time is analogous to location in space and one in which it is not. A similar distinction applies to other metaphysical debates, such as the mereological debate between universalism and nihilism. If two theories propose incommensurable conceptions of logical space, we can still compare their expressive power utilizing the notion of a translation, which acts as a correlation between points in logical space that preserves the language's inferential connections. I build a formal theory of translation that explores different ways of making this notion precise. I then apply this theory to two metaphysical debates, viz., the debate over whether composite objects exist and the debate over how objects persist through time. This allows us to get a clearer picture of the sense in which these debates can be viewed as genuine.
590 $a School code: 0028.
650 4 $a Logic. $3 529544
650 4 $a Mathematics. $3 515831
650 4 $a Philosophy. $3 516511
690 $a 0395
690 $a 0405
690 $a 0422
710 2 $a University of California, Berkeley. $b Logic & the Methodology of Science. $3 3436362
773 0 $t Dissertations Abstracts International $g 80-05A.
790 $a 0028
791 $a Ph.D.
792 $a 2018
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10830321