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 : Cambridge University Press, 2012.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Summary:

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...

Rating:

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

Find a copy online

Links to this item

Find a copy in the library

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

Details

Additional Physical Format: Print version:
Formal Languages in Logic
Material Type: Document
Document Type: Book, Computer File
All Authors / Contributors: Catarina Dutilh Novaes
ISBN: 9781139108010 1139108018
OCLC Number: 940007602
Notes: Title from publishers bibliographic system (viewed on 06 Mar 2013).
Description: 1 online resource (282 p.) : digital, PDF file(s)
Details: Mode of access: World Wide Web.
Contents: 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.
Responsibility: Catarina Dutilh Novaes.
More information:

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/940007602> # Formal Languages in Logic a Philosophical and Cognitive Analysis
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "940007602" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1110934577#Place/cambridge> ; # Cambridge
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1110934577#Person/dutilh_novaes_catarina> ; # Catarina Dutilh Novaes
   schema:datePublished "2012" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1110934577> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1110934577#CreativeWork/formal_languages_in_logic> ;
   schema:name "Formal Languages in Logic a Philosophical and Cognitive Analysis" ;
   schema:productID "940007602" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/940007602#PublicationEvent/cambridge_cambridge_university_press_2012> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1110934577#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:workExample <http://worldcat.org/isbn/9781139108010> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/940007602> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1110934577#Person/dutilh_novaes_catarina> # Catarina Dutilh Novaes
    a schema:Person ;
   schema:familyName "Dutilh Novaes" ;
   schema:givenName "Catarina" ;
   schema:name "Catarina Dutilh Novaes" ;
    .

<http://worldcat.org/entity/work/data/1110934577#CreativeWork/formal_languages_in_logic>
    a schema:CreativeWork ;
   rdfs:label "Formal Languages in Logic" ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/940007602> ; # Formal Languages in Logic a Philosophical and Cognitive Analysis
    .

<http://worldcat.org/isbn/9781139108010>
    a schema:ProductModel ;
   schema:isbn "1139108018" ;
   schema:isbn "9781139108010" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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