MARC details
000 -LEADER |
fixed length control field |
02206nam a22003255i 4500 |
001 - CONTROL NUMBER |
control field |
52013 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
0000000000 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240308002355.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
180521s2018 nyu s 000 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2018945477 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
978-3-319-77434-3 |
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER |
International Standard Serial Number |
2569-8753 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
20505004 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
DLC |
Language of cataloging |
eng |
Description conventions |
rda |
Transcribing agency |
DLC |
042 ## - AUTHENTICATION CODE |
Authentication code |
pcc |
245 10 - TITLE STATEMENT |
Title |
Introduction to Formal Philosophy / |
Statement of responsibility, etc. |
Sven Ove Hansson and Vincent F. Hendricks. |
263 ## - PROJECTED PUBLICATION DATE |
Projected publication date |
1807 |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Cham, Switzerland : |
Name of producer, publisher, distributor, manufacturer |
Springer, |
Date of production, publication, distribution, manufacture, or copyright notice |
c2018 |
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Date of production, publication, distribution, manufacture, or copyright notice |
c2018 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource. |
336 ## - CONTENT TYPE |
Content type term |
text |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Source |
rdacarrier |
520 ## - SUMMARY, ETC. |
Summary, etc. |
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. |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Analysis (Philosophy) |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer science. |
Source of heading or term |
sears |
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic, Symbolic and mathematical. |
Source of heading or term |
sears |
856 ## - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://drive.google.com/file/d/1TZx2QwX7trdzofRrNjgQDip4_Lw6dV6J/view?usp=share_link">https://drive.google.com/file/d/1TZx2QwX7trdzofRrNjgQDip4_Lw6dV6J/view?usp=share_link</a> |