Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic / by Marie Duží, Bjorn Jespersen, Pavel Materna.

July 2011 -- The Council of the Academy of Sciences of the Czech Republic has presented Procedural Semantics for Hyperintensional Logic with its prestigious award for outstanding results of major scientific importance. This volume sets out the foundations of Transparent Intensional Logic, together w...

Full description

Saved in:
Bibliographic Details
Main Authors: Duží, Marie (Author), Jespersen, Bjorn (Author), Materna, Pavel (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Logic, Epistemology, and the Unity of Science, 17
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3281621
003 MWH
005 20191024213148.0
007 cr nn 008mamaa
008 100702s2010 ne | s |||| 0|eng d
020 |a 9789048188123 
024 7 |a 10.1007/978-90-481-8812-3  |2 doi 
035 |a (DE-He213)978-90-481-8812-3 
050 4 |a E-Book 
072 7 |a HPL  |2 bicssc 
072 7 |a PHI011000  |2 bisacsh 
072 7 |a QDTL  |2 thema 
100 1 |a Duží, Marie.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Procedural Semantics for Hyperintensional Logic  |h [electronic resource] :  |b Foundations and Applications of Transparent Intensional Logic /  |c by Marie Duží, Bjorn Jespersen, Pavel Materna. 
250 |a 1st ed. 2010. 
264 1 |a Dordrecht :  |b Springer Netherlands :  |b Imprint: Springer,  |c 2010. 
300 |a XIII, 550 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Logic, Epistemology, and the Unity of Science,  |x 2214-9775 ;  |v 17 
490 1 |a Springer eBook Collection 
505 0 |a A programme of general semantics -- Foundations of semantic analysis -- Singular reference and pragmatically incomplete meaning -- Requisites: the logic of intensions -- Attitudes and information. 
520 |a July 2011 -- The Council of the Academy of Sciences of the Czech Republic has presented Procedural Semantics for Hyperintensional Logic with its prestigious award for outstanding results of major scientific importance. This volume sets out the foundations of Transparent Intensional Logic, together with many applications to a wide range of topics including formal semantics, philosophy of language, and philosophical logic. Special attention is devoted to some topics that generally tend to be dealt with only in passing. They include, inter alia, notional attitudes, knowing whether, concepts (understood rigorously and non-mentalistically), attitudes de re, and anaphora in hyperintensional contexts. The overall programme is set out and placed in historical and systematic context. The programme consists in devising one overarching semantic theory for all sorts of discourse, whether colloquial, scientific, mathematical or logical. The semantic theory is a procedural one, according to which sense is an abstract, pre-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure. Such procedures are rigorously defined as so-called constructions residing in a platonic realm. The semantics is tailored to the hardest case, as constituted by hyperintensional contexts, and generalized from there to intensional and extensional contexts. This anti-contextualist and fully compositional semantics is, to the best of our knowledge, the only one that deals with all kinds of context in a unique and systematic manner. The three authors have striven to write an accessible study of Transparent Intensional Logic that may be read by researchers and advanced students of logic, semantics, linguistics, informatics, computer science, and kindred disciplines. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Logic. 
650 0 |a Semantics. 
650 0 |a Philosophy. 
650 0 |a Coding theory. 
650 0 |a Information theory. 
650 0 |a Language and languages—Philosophy. 
650 0 |a Ontology. 
690 |a Electronic resources (E-books) 
700 1 |a Jespersen, Bjorn.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a Materna, Pavel.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Logic, Epistemology, and the Unity of Science,  |x 2214-9775 ;  |v 17 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-90-481-8812-3  |3 Click to view e-book  |t 0 
907 |a .b32816212  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g ne   |h 0  |i 1 
912 |a ZDB-2-SHU 
950 |a Humanities, Social Sciences and Law (Springer-11648) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i21947831  |z 02-26-20 
999 f f |i b10968c0-370c-5af3-b7d7-0e595a29c71e  |s dfb60ebf-b71e-5bbb-9f76-776af11a54cd  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File