大葉大學圖書館 |

Alfred Tarski[electronic resource] :philosophy of language and logic /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	199/.438
書名/作者:	Alfred Tarski : philosophy of language and logic // Douglas Patterson.
作者:	Patterson, Douglas.
出版者:	Houndmills, Basingstoke, Hampshire ; : Palgrave Macmillan,, 2012.
面頁冊數:	1 online resource.
標題:	PHILOSOPHY / History & Surveys / Modern
標題:	Language and logic.
標題:	Language and languages - Philosophy.
標題:	Semantics (Philosophy)
ISBN:	9780230367227 (electronic bk.)
ISBN:	0230367224 (electronic bk.)
書目註:	Includes bibliographical references and index.
內容註:	Series Editor's Foreword -- Introduction -- Intuitionistic Formalism -- Tarski as Intuitionistic Formalist -- Semantics -- Truth -- Indefinability and Inconsistency -- Transitions: 1933-1935 -- Logical Consequence -- Conclusion -- Bibliography -- Index -- -- �.
摘要、提要註:	Alfred Tarski is known as the founder of the rigorous study of semantics, but little is known about the views he held at the time other than that at one point he calls his position 'Intuitionistic Formalism'. Alfred Tarski: Philosophy of Language and Logic sets out a detailed account of these views, in particular by looking to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski. Both subscribed to an account of language on which meaning was a matter of the expression of a thought through symbols governed by conventional rules. In particular Lesniewski held that they best way to express thought was in the form of a rigorously crafted deductive theory. Tarski accepted these views and made it his project to express metatheoretic thought -thought about formal systems themselves - to intuitionistic formalist standards. He began with simple theories of the relation of logical consequence, conceived of in terms of a fixed set of primitively valid rules. Tarski next turned his attention to the semantic concepts that figured in the work of Skolem and �Gdel, as well a group known as the American Postulate Theorists. The result of his study here was his now famous method for the definition of truth by recursion on satisfaction. In light of the reading of Tarski developed in the early chapters of the book the major topics concerning Tarski's semantics are covered: the significance of the T-sentences, the meaning and purpose of the famous Convention T, and questions about whether or not Tarski held that each language is covered by its own peculiar concept of truth. This work done, within a few years Tarski realized that the semantics he had developed could actually replace the intuitionistic formalist conception of meaning. His famous work on logical consequence is read in this light and the shift in his thinking is discussed in detail.
電子資源:	http://www.palgraveconnect.com/doifinder/10.1057/9780230367227

Alfred Tarski[electronic resource] :philosophy of language and logic /
Patterson, Douglas.

Alfred Tarskiphilosophy of language and logic /[electronic resource] :Douglas Patterson. - Houndmills, Basingstoke, Hampshire ;Palgrave Macmillan,2012. - 1 online resource. - History of analytic philosophy. - History of analytic philosophy..

Includes bibliographical references and index.

Series Editor's Foreword -- Introduction -- Intuitionistic Formalism -- Tarski as Intuitionistic Formalist -- Semantics -- Truth -- Indefinability and Inconsistency -- Transitions: 1933-1935 -- Logical Consequence -- Conclusion -- Bibliography -- Index -- -- �.

Alfred Tarski is known as the founder of the rigorous study of semantics, but little is known about the views he held at the time other than that at one point he calls his position 'Intuitionistic Formalism'. Alfred Tarski: Philosophy of Language and Logic sets out a detailed account of these views, in particular by looking to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski. Both subscribed to an account of language on which meaning was a matter of the expression of a thought through symbols governed by conventional rules. In particular Lesniewski held that they best way to express thought was in the form of a rigorously crafted deductive theory. Tarski accepted these views and made it his project to express metatheoretic thought -thought about formal systems themselves - to intuitionistic formalist standards. He began with simple theories of the relation of logical consequence, conceived of in terms of a fixed set of primitively valid rules. Tarski next turned his attention to the semantic concepts that figured in the work of Skolem and �Gdel, as well a group known as the American Postulate Theorists. The result of his study here was his now famous method for the definition of truth by recursion on satisfaction. In light of the reading of Tarski developed in the early chapters of the book the major topics concerning Tarski's semantics are covered: the significance of the T-sentences, the meaning and purpose of the famous Convention T, and questions about whether or not Tarski held that each language is covered by its own peculiar concept of truth. This work done, within a few years Tarski realized that the semantics he had developed could actually replace the intuitionistic formalist conception of meaning. His famous work on logical consequence is read in this light and the shift in his thinking is discussed in detail.

ISBN: 9780230367227 (electronic bk.)

Source: 318235Palgrave Macmillanhttp://www.palgraveconnect.comSubjects--Personal Names:

473879
Tarski, Alfred.
Subjects--Topical Terms:

473881
PHILOSOPHY / History & Surveys / Modern
Index Terms--Genre/Form:

336502
Electronic books.

LC Class. No.: P39 / .P23 2012

Dewey Class. No.: 199/.438

Alfred Tarski[electronic resource] :philosophy of language and logic /
LDR:03507cam 2200349Ka 4500 001 364470
003 OCoLC
005 20120502024500.0
006 m d
007 cr cn|||||||||
008 120814s2012 enk o 000 0 eng d
019 $a 785779494
020 $a 9780230367227 (electronic bk.)
020 $a 0230367224 (electronic bk.)
020 $z 9780230221215 (alk. paper)
035 $a (OCoLC)774695372 $z (OCoLC)785779494
035 $a ocn774695372
037 $a 318235 $b Palgrave Macmillan $n http://www.palgraveconnect.com
040 $a UKPGM $b eng $c UKPGM $d EBLCP $d N$T $d CDX $d YDXCP $d E7B
049 $a TEFA
050 1 4 $a P39 $b .P23 2012
072 7 $a PHI $x 016000 $2 bisacsh
082 0 4 $a 199/.438 $2 23
100 1 $a Patterson, Douglas. $3 473878
245 1 0 $a Alfred Tarski $h [electronic resource] : $b philosophy of language and logic / $c Douglas Patterson.
260 $a Houndmills, Basingstoke, Hampshire ; $a New York, NY : $b Palgrave Macmillan, $c 2012.
300 $a 1 online resource.
490 1 $a History of analytic philosophy
504 $a Includes bibliographical references and index.
505 0 $a Series Editor's Foreword -- Introduction -- Intuitionistic Formalism -- Tarski as Intuitionistic Formalist -- Semantics -- Truth -- Indefinability and Inconsistency -- Transitions: 1933-1935 -- Logical Consequence -- Conclusion -- Bibliography -- Index -- -- �.
520 $a Alfred Tarski is known as the founder of the rigorous study of semantics, but little is known about the views he held at the time other than that at one point he calls his position 'Intuitionistic Formalism'. Alfred Tarski: Philosophy of Language and Logic sets out a detailed account of these views, in particular by looking to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski. Both subscribed to an account of language on which meaning was a matter of the expression of a thought through symbols governed by conventional rules. In particular Lesniewski held that they best way to express thought was in the form of a rigorously crafted deductive theory. Tarski accepted these views and made it his project to express metatheoretic thought -thought about formal systems themselves - to intuitionistic formalist standards. He began with simple theories of the relation of logical consequence, conceived of in terms of a fixed set of primitively valid rules. Tarski next turned his attention to the semantic concepts that figured in the work of Skolem and �Gdel, as well a group known as the American Postulate Theorists. The result of his study here was his now famous method for the definition of truth by recursion on satisfaction. In light of the reading of Tarski developed in the early chapters of the book the major topics concerning Tarski's semantics are covered: the significance of the T-sentences, the meaning and purpose of the famous Convention T, and questions about whether or not Tarski held that each language is covered by its own peculiar concept of truth. This work done, within a few years Tarski realized that the semantics he had developed could actually replace the intuitionistic formalist conception of meaning. His famous work on logical consequence is read in this light and the shift in his thinking is discussed in detail.
600 1 0 $a Tarski, Alfred. $3 473879
650 7 $a PHILOSOPHY / History & Surveys / Modern $2 bisacsh $3 473881
650 0 $a Language and logic. $3 343506
650 0 $a Language and languages $x Philosophy. $3 343438
650 0 $a Semantics (Philosophy) $3 238176
655 4 $a Electronic books. $2 local $3 336502
710 2 $a Palgrave Connect (Online Service) $3 472147
776 0 8 $i Print version: $a Patterson, Douglas. $t Alfred Tarski. $d Houndmills, Basingstoke, Hampshire ; New York, NY : Palgrave Macmillan, 2012 $z 9780230221215 $w (DLC) 2011049921 $w (OCoLC)738335850
830 0 $a History of analytic philosophy. $3 473880
856 4 0 $3 Palgrave Connect $u http://www.palgraveconnect.com/doifinder/10.1057/9780230367227
994 $a C0 $b TEF