東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Can the language of science be forma...

Vieland, Veronica Janis.

FindBook

Google Book

Amazon

博客來

Can the language of science be formalized?

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Can the language of science be formalized?/
作者:	Vieland, Veronica Janis.
面頁冊數:	309 p.
附註:	Source: Dissertation Abstracts International, Volume: 49-03, Section: A, page: 0523.
Contained By:	Dissertation Abstracts International49-03A.
標題:	Philosophy. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=8810438

Can the language of science be formalized?
Vieland, Veronica Janis.

Can the language of science be formalized? - 309 p.

Source: Dissertation Abstracts International, Volume: 49-03, Section: A, page: 0523.

Thesis (Ph.D.)--Columbia University, 1987.

The dissertation develops a research program for the investigation of certain philosophically interesting features of scientific theories through the analysis of scientific language. The starting point is Rudolf Carnap's The Logical Syntax of Language. In Chapter One, Carnap's program is considered, with particular attention given to the connection between Carnap's conception of the language of science and his employment of certain formal logical systems for the purposes of explicating the logical syntax of that language. The suggestion is made that insofar as Carnap's investigations failed to achieve the strength of meta-theoretic results with respect to the natural sciences which the same techniques offered with respect to mathematical theories, the problems can in large measure be ascribed to the nature of the formal logics employed. In Chapter Two, the task of formalization is considered more broadly. The argument is made that while formalization may indeed be interesting and feasible for some of natural science, the formal systems of meta-mathematics are not necessarily vital nor even adequate to the task. A formal theory of natural language structure is presented, based on the work of Zellig Harris, which suggests a methodology for a more direct logical investigation of scientific language. Chapter Three develops a strategy for applying the formal linguistic techniques to a scientific sublanguage, by presenting the formal analysis of causatives in a corpus of research articles drawn from cellular immunology. Chapter Four considers the question of whether or not the analysis yielded in Chapter Three suffices for formalization of the causatives in any interesting sense. The results are mixed: while the causatives do not yield an interesting formalism, the reasons for this failure are of interest, and in part confirm the efficacy of the methods. They indicate as well possible fruitful lines of research for future applications.Subjects--Topical Terms:

516511
Philosophy.

Can the language of science be formalized?
LDR:02699nam 2200241 4500 001 1398257
005 20110908142939.5
008 130515s1987 ||||||||||||||||| ||eng d
035 $a (UMI)AAI8810438
035 $a AAI8810438
040 $a UMI $c UMI
100 1 $a Vieland, Veronica Janis. $3 1677138
245 1 0 $a Can the language of science be formalized?
300 $a 309 p.
500 $a Source: Dissertation Abstracts International, Volume: 49-03, Section: A, page: 0523.
502 $a Thesis (Ph.D.)--Columbia University, 1987.
520 $a The dissertation develops a research program for the investigation of certain philosophically interesting features of scientific theories through the analysis of scientific language. The starting point is Rudolf Carnap's The Logical Syntax of Language. In Chapter One, Carnap's program is considered, with particular attention given to the connection between Carnap's conception of the language of science and his employment of certain formal logical systems for the purposes of explicating the logical syntax of that language. The suggestion is made that insofar as Carnap's investigations failed to achieve the strength of meta-theoretic results with respect to the natural sciences which the same techniques offered with respect to mathematical theories, the problems can in large measure be ascribed to the nature of the formal logics employed. In Chapter Two, the task of formalization is considered more broadly. The argument is made that while formalization may indeed be interesting and feasible for some of natural science, the formal systems of meta-mathematics are not necessarily vital nor even adequate to the task. A formal theory of natural language structure is presented, based on the work of Zellig Harris, which suggests a methodology for a more direct logical investigation of scientific language. Chapter Three develops a strategy for applying the formal linguistic techniques to a scientific sublanguage, by presenting the formal analysis of causatives in a corpus of research articles drawn from cellular immunology. Chapter Four considers the question of whether or not the analysis yielded in Chapter Three suffices for formalization of the causatives in any interesting sense. The results are mixed: while the causatives do not yield an interesting formalism, the reasons for this failure are of interest, and in part confirm the efficacy of the methods. They indicate as well possible fruitful lines of research for future applications.
590 $a School code: 0054.
650 4 $a Philosophy. $3 516511
650 4 $a Language, General. $3 1018089
690 $a 0422
690 $a 0679
710 2 $a Columbia University. $3 571054
773 0 $t Dissertation Abstracts International $g 49-03A.
790 $a 0054
791 $a Ph.D.
792 $a 1987
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=8810438