Cargando…

Formal languages in logic : a philosophical and cognitive analysis /

"Formal Languages in Logic 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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Novaes, Catarina Dutilh
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2012.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBSCO_ocn818658309
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 121119s2012 enka ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d YDXCP  |d CDX  |d CAMBR  |d E7B  |d COO  |d RRP  |d EBLCP  |d IDEBK  |d DEBSZ  |d NLGGC  |d LRU  |d OCLCQ  |d OCLCF  |d OCLCQ  |d YDX  |d BUF  |d UAB  |d UUM  |d OCLCQ  |d AU@  |d UKAHL  |d OCLCQ  |d S8J  |d OCLCA  |d VLY  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 848660188  |a 1016643545  |a 1162281925  |a 1241953224 
020 |a 9781139776646  |q (electronic bk.) 
020 |a 1139776649  |q (electronic bk.) 
020 |a 9781139108010  |q (electronic bk.) 
020 |a 1139108018  |q (electronic bk.) 
020 |a 9781283812467  |q (MyiLibrary) 
020 |a 1283812460  |q (MyiLibrary) 
020 |a 9781139779685 
020 |a 1139779680 
020 |a 9781139782678 
020 |a 1139782673 
020 |a 1139888862 
020 |a 9781139888868 
020 |a 1139794035 
020 |a 9781139794039 
020 |a 1139783645 
020 |a 9781139783644 
020 |a 1139778161 
020 |a 9781139778169 
020 |z 9781107020917 
020 |z 1107020913 
029 1 |a AU@  |b 000050369907 
029 1 |a DEBSZ  |b 38103481X 
035 |a (OCoLC)818658309  |z (OCoLC)848660188  |z (OCoLC)1016643545  |z (OCoLC)1162281925  |z (OCoLC)1241953224 
050 4 |a QA267.3  |b .N68 2012eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3  |2 23 
084 |a 08.33  |2 bcl 
084 |a MAT018000  |2 bisacsh 
049 |a UAMI 
100 1 |a Novaes, Catarina Dutilh. 
245 1 0 |a Formal languages in logic :  |b a philosophical and cognitive analysis /  |c Catarina Dutilh Novaes. 
260 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 2012. 
300 |a 1 online resource (viii, 275 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
505 0 |a Introduction -- 1. Two notions of formality -- 2. On the very notion of a formal language -- 3. The history, purposes and limitations of formal languages -- 4. How we do reason, and the need for counterbalance in science -- 5. Formal languages and extended cognition -- 6. De-semantification -- 7. The debiasing effect of formalization -- Conclusion. 
520 |a "Formal Languages in Logic 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"--  |c Provided by publisher 
588 0 |a Print version record. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Formal languages. 
650 0 |a Reasoning. 
650 0 |a Cognition. 
650 6 |a Langages formels. 
650 6 |a Cognition. 
650 7 |a cognition.  |2 aat 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a Cognition  |2 fast 
650 7 |a Formal languages  |2 fast 
650 7 |a Reasoning  |2 fast 
650 7 |a Formale Sprache  |2 gnd 
650 7 |a Kognition  |2 gnd 
650 7 |a Logik  |2 gnd 
650 1 7 |a Logica.  |2 gtt  |0 (NL-LeOCL)078577195 
650 1 7 |a Formele talen.  |2 gtt  |0 (NL-LeOCL)078508045 
650 7 |a Logik.  |2 sao 
650 7 |a Språkfilosofi.  |2 sao 
650 7 |a Kognition.  |2 sao 
776 0 8 |i Print version:  |a Novaes, Catarina Dutilh.  |t Formal languages in logic.  |d Cambridge ; New York : Cambridge University Press, 2012  |z 9781107020917  |w (DLC) 2012015483  |w (OCoLC)794227918 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=494758  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH37563319 
938 |a Askews and Holts Library Services  |b ASKH  |n AH33351290 
938 |a Askews and Holts Library Services  |b ASKH  |n AH26385703 
938 |a Coutts Information Services  |b COUT  |n 24293871  |c 55.00 GBP 
938 |a EBL - Ebook Library  |b EBLB  |n EBL1042497 
938 |a ebrary  |b EBRY  |n ebr10623121 
938 |a EBSCOhost  |b EBSC  |n 494758 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n cis24293871 
938 |a YBP Library Services  |b YANK  |n 9910246 
938 |a YBP Library Services  |b YANK  |n 9950601 
938 |a YBP Library Services  |b YANK  |n 10393098 
938 |a YBP Library Services  |b YANK  |n 9915417 
994 |a 92  |b IZTAP