Formal Languages in Logic: A Philosophical and Cognitive Analysis
Save 1% on the Formal Languages in Logic: A Philosophical and Cognitive Analysis by Cambridge University Press at Translate This Website. Hurry! Limited time offer. Offer valid only while supplies last. Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.
|Manufacturer:||Cambridge University Press|
|Publisher:||Cambridge University Press|
|Studio:||Cambridge University Press|
|Item Weight:||0.84 pounds|
|Item Size:||0.59 x 9.02 x 9.02 inches|
|Package Weight:||1.09 pounds|
|Package Size:||5.99 x 0.64 x 0.64 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Cambridge University Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Addison-Wesley Professional
mpn: A-092-832, ean: 9780201310115, isbn: 0201310112,
The third in a series of books documenting patterns for professional software developers, this volume continues the tradition of informational excellence established by the first two volumes. Pattern Languages of Program Design 3 differs from the pre...
By Compute! Books
sku: 1002-WS1001-A03011-0942386116, ean: 9780942386110, isbn: 9780942386110,
Although anyone wishing to learn 6502 machine language (ML) will likely find this book instructive and worthwhile, the specific example programs are written to work on five popular personal computers: Apple, Atari, VIC, Commodore 64, and the PET/CBMs...
By Pearson Education
ean: 9780201447873, isbn: 0201447878,
An introduction to relational database management and SQL, concentrating on solving real business problems, for those with no previous knowledge of SQL. The accompanying CD-ROM contains the Windows 3.x, Windows 95, and Windows NT versions of an SQL d...
By The MIT Press
mpn: 12 illustrations, ean: 9780262561150, isbn: 0262561158,
Java is a new object-oriented programming language that was developed by Sun Microsystems for programming the Internet and intelligent appliances. In a very short time it has become one of the most widely used programming languages for education as w...
By Independently published
ean: 9781521155486, isbn: 9781521155486,
Are You Ready To Learn Python Easily? Learning Python Programming in 7 days is possible, although it might not look like it’s easy at first, especially if you are someone with meager experience in dealing with a programming language. As you learn,...
By O'Reilly Media
ean: 9781565923584, isbn: 9781565923584,
The online documentation of VB/VBA language components seems to follow the 80/20 rule: the basic facts that you need to use a language statement are provided in the documentation. But the additional 20 percent that you need to use it effectively or t...
By Palgrave Macmillan
ean: 9783319527444, isbn: 3319527444,
This book provides an in-depth study of controlled languages used in technical documents from both a theoretical and practical perspective. It first explores the history of controlled languages employed by the manufacturing industry to shape and cons...
By The MIT Press
mpn: 21060325, ean: 9780262560993, isbn: 0262560992,
The notion that "thinking about computing is one of the most exciting things the human mind can do" sets both The Little Schemer (formerly known as The Little LISPer) and its new companion volume, The Seasoned Schemer, apart from other books on LISP....
By Dover Publications
ean: 9780486666976, isbn: 0486666972,
This highly technical introduction to formal languages in computer science covers all areas of mainstream formal language theory, including such topics as operations on languages, context-sensitive languages, automata, decidability, syntax analysis, ...
By Addison-Wesley Professional
ean: 9780201309980, isbn: 020130998X,
The authors have done an outstanding job with this UML book. The definitions of the terms are the best I have seen. The organization and material in the encyclopedia are fantastic! --Perry Cole, MCIWorldCom The Unified Modeling Language (UML) has rap...