skip to content
Formal languages in logic : a philosophical and cognitive analysis Preview this item
ClosePreview this item
Checking...

Formal languages in logic : a philosophical and cognitive analysis

Author: Catarina Dutilh Novaes
Publisher: Cambridge ; New York : Cambridge University Press, 2012.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Catarina Dutilh Novaes
ISBN: 9781107020917 1107020913
OCLC Number: 794227918
Description: viii, 275 pages : illustrations ; 24 cm
Contents: 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.
Responsibility: Catarina Dutilh Novaes.
More information:

Abstract:

Presents a new approach to formal languages, in particular but not exclusively as used in logic. Focuses on their cognitive impact on human reasoning, drawing on historical developments, psychology,  Read more...

Reviews

Editorial reviews

Publisher Synopsis

'Since the rise of logical empiricism, formal languages have become essential tools of doing philosophy. But why does formalization work? And what are its limitations? This book fills a crucial gap Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/794227918> # Formal languages in logic : a philosophical and cognitive analysis
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "794227918" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1110934577#Place/cambridge> ; # Cambridge
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1110934577#Topic/logik> ; # Logik
   schema:about <http://id.worldcat.org/fast/866457> ; # Cognition
   schema:about <http://experiment.worldcat.org/entity/work/data/1110934577#Topic/formale_sprache> ; # Formale Sprache
   schema:about <http://experiment.worldcat.org/entity/work/data/1110934577#Topic/kognition> ; # Kognition
   schema:about <http://dewey.info/class/511.3/e23/> ;
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   schema:about <http://experiment.worldcat.org/entity/work/data/1110934577#Topic/formele_talen> ; # Formele talen
   schema:about <http://experiment.worldcat.org/entity/work/data/1110934577#Topic/sprakfilosofi> ; # Språkfilosofi
   schema:about <http://experiment.worldcat.org/entity/work/data/1110934577#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/1110934577#Topic/mathematics_logic> ; # MATHEMATICS--Logic
   schema:about <http://id.worldcat.org/fast/1091282> ; # Reasoning
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/47082647> ; # Catarina Dutilh Novaes
   schema:datePublished "2012" ;
   schema:description ""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"--"@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1110934577> ;
   schema:image <http://assets.cambridge.org/97811070/20917/cover/9781107020917.jpg> ;
   schema:inLanguage "en" ;
   schema:name "Formal languages in logic : a philosophical and cognitive analysis"@en ;
   schema:productID "794227918" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/794227918#PublicationEvent/cambridge_new_york_cambridge_university_press_2012> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1110934577#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://dx.doi.org/10.1017/CBO9781139108010> ;
   schema:workExample <http://worldcat.org/isbn/9781107020917> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB267467> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/794227918> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://dx.doi.org/10.1017/CBO9781139108010>
   rdfs:comment "Available to Stanford-affiliated users." ;
    .

<http://experiment.worldcat.org/entity/work/data/1110934577#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://id.worldcat.org/fast/1091282> # Reasoning
    a schema:Intangible ;
   schema:name "Reasoning"@en ;
    .

<http://id.worldcat.org/fast/866457> # Cognition
    a schema:Intangible ;
   schema:name "Cognition"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
   schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/47082647> # Catarina Dutilh Novaes
    a schema:Person ;
   schema:familyName "Novaes" ;
   schema:givenName "Catarina Dutilh" ;
   schema:name "Catarina Dutilh Novaes" ;
    .

<http://worldcat.org/isbn/9781107020917>
    a schema:ProductModel ;
   schema:isbn "1107020913" ;
   schema:isbn "9781107020917" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.