ISBN
| 9783319774336 |
DDC
| 146.4 |
Nhan đề
| Introduction to formal philosophy / Sven Ove Hansson; Vincent F Hendricks |
Thông tin xuất bản
| Cham, Switzerland : Springer, 2018 |
Mô tả vật lý
| 727 pages. : illustrations |
Tóm tắt
| This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience. |
Thuật ngữ chủ đề
| Computer science |
Thuật ngữ chủ đề
| Ethics |
Thuật ngữ chủ đề
| Logic, Symbolic and mathematical |
Thuật ngữ chủ đề
| Analysis (Philosophy) |
Từ khóa tự do
| Formalization (Philosophy) |
Từ khóa tự do
| Methodology |
Khoa
| Khoa Cơ bản |
Tác giả(bs) CN
| Hansson, Sven Ove, 1951- |
Tác giả(bs) CN
| Hendricks, Vincent F. |
Địa chỉ
| Thư Viện Đại học Nguyễn Tất Thành |
|
000
| 00000nam#a2200000u##4500 |
---|
001 | 21364 |
---|
002 | 2 |
---|
004 | 840BEDF7-29EF-48E2-86BA-C297776551FC |
---|
005 | 202007020832 |
---|
008 | 200525s2018 sz eng |
---|
009 | 1 0 |
---|
020 | |a9783319774336 |
---|
039 | |a20200702083222|btainguyendientu|y20200525104319|znghiepvu |
---|
040 | |aNTT |
---|
041 | |aeng |
---|
044 | |asz |
---|
082 | |a146.4|bI61962|223 |
---|
245 | |aIntroduction to formal philosophy / |cSven Ove Hansson; Vincent F Hendricks |
---|
260 | |aCham, Switzerland : |bSpringer, |c2018 |
---|
300 | |a727 pages. : |billustrations |
---|
504 | |aIncludes bibliographical references (pages 726-727) |
---|
520 | |aThis Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas. Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus is to show how formal treatments of philosophical problems may help us understand them better. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This title offers an accessible introduction to this new interdisciplinary research area to a wide academic audience. |
---|
541 | |aSpringer |
---|
650 | |aComputer science |
---|
650 | |aEthics |
---|
650 | |aLogic, Symbolic and mathematical |
---|
650 | |aAnalysis (Philosophy) |
---|
653 | |aFormalization (Philosophy) |
---|
653 | |aMethodology |
---|
690 | |aKhoa Cơ bản |
---|
700 | |aHansson, Sven Ove, 1951-|eEditors |
---|
700 | |aHendricks, Vincent F.|eEditors |
---|
852 | |aThư Viện Đại học Nguyễn Tất Thành |
---|
856 | 1|uhttp://elib.ntt.edu.vn/documentdata01/2 tailieuthamkhao/100 triethocvatamlyhoc/anhbiasach/21364_introductiontoformalphilosophy_kthumbimage.jpg |
---|
890 | |c1|a0|b0|d1 |
---|
| |
Không tìm thấy biểu ghi nào
|
|
|
|