HjemGrupperSnakMereZeitgeist
Søg På Websted
På dette site bruger vi cookies til at levere vores ydelser, forbedre performance, til analyseformål, og (hvis brugeren ikke er logget ind) til reklamer. Ved at bruge LibraryThing anerkender du at have læst og forstået vores vilkår og betingelser inklusive vores politik for håndtering af brugeroplysninger. Din brug af dette site og dets ydelser er underlagt disse vilkår og betingelser.

Resultater fra Google Bøger

Klik på en miniature for at gå til Google Books

Indlæser...

Partiality, Truth and Persistence

af Tore Langholm

Serier: CSLI Lecture Notes (15)

MedlemmerAnmeldelserPopularitetGennemsnitlig vurderingSamtaler
3Ingen4,117,631IngenIngen
In recent years, 'semantical partiality' has emerged as an important concept in philosophical logic as well as in the study of natural language semantics. Despite the many applications, however, a number of mathematically intriguing questions associated with this concept have received only very limited attention. Partiality, Truth, and Persistence is a study in spatial model theory, the theory of partially defined models. First, with the introduction of truth value gaps in semantics, there are many ways to generalize the classical truth definition for the sentences of a first order predicate language. We know what it means for a sentence to be true or false in a classical, complete model, but how do we extend this relation when partial models are introduced? Various alternatives exist, and a detailed comparison is carried out between them. Since these studies concern a full first order predicate language, many distinctions appear that do not arise in the case of pure propositional logic. A condition of monotonicity or 'persistence' of truth relative to partial models has a prominent position among conditions that are not expressible in the framework of standard, complete model theory. The final chapter investigates the relation between such conditions and expressibility properties in general. These discussions culminate with a combined Lindstrom and persistence characterization theorem. Tore Langholm is a research fellow in mathematics at the University of Oslo. He is a co-author of Situations, Language and Logic.… (mere)
Nyligt tilføjet afsignature103, LinguisticsMIT

Ingen nøgleord

Ingen
Indlæser...

Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog.

Der er ingen diskussionstråde på Snak om denne bog.

Ingen anmeldelser
ingen anmeldelser | tilføj en anmeldelse

Belongs to Series

Du bliver nødt til at logge ind for at redigere data i Almen Viden.
For mere hjælp se Almen Viden hjælpesiden.
Kanonisk titel
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Originaltitel
Alternative titler
Oprindelig udgivelsesdato
Personer/Figurer
Vigtige steder
Vigtige begivenheder
Beslægtede film
Indskrift
Tilegnelse
Første ord
Citater
Sidste ord
Oplysning om flertydighed
Forlagets redaktører
Bagsidecitater
Originalsprog
Canonical DDC/MDS
Canonical LCC

Henvisninger til dette værk andre steder.

Wikipedia på engelsk

Ingen

In recent years, 'semantical partiality' has emerged as an important concept in philosophical logic as well as in the study of natural language semantics. Despite the many applications, however, a number of mathematically intriguing questions associated with this concept have received only very limited attention. Partiality, Truth, and Persistence is a study in spatial model theory, the theory of partially defined models. First, with the introduction of truth value gaps in semantics, there are many ways to generalize the classical truth definition for the sentences of a first order predicate language. We know what it means for a sentence to be true or false in a classical, complete model, but how do we extend this relation when partial models are introduced? Various alternatives exist, and a detailed comparison is carried out between them. Since these studies concern a full first order predicate language, many distinctions appear that do not arise in the case of pure propositional logic. A condition of monotonicity or 'persistence' of truth relative to partial models has a prominent position among conditions that are not expressible in the framework of standard, complete model theory. The final chapter investigates the relation between such conditions and expressibility properties in general. These discussions culminate with a combined Lindstrom and persistence characterization theorem. Tore Langholm is a research fellow in mathematics at the University of Oslo. He is a co-author of Situations, Language and Logic.

No library descriptions found.

Beskrivelse af bogen
Haiku-resume

Current Discussions

Ingen

Populære omslag

Quick Links

Vurdering

Gennemsnit: Ingen vurdering.

Er det dig?

Bliv LibraryThing-forfatter.

 

Om | Kontakt | LibraryThing.com | Brugerbetingelser/Håndtering af brugeroplysninger | Hjælp/FAQs | Blog | Butik | APIs | TinyCat | Efterladte biblioteker | Tidlige Anmeldere | Almen Viden | 204,447,697 bøger! | Topbjælke: Altid synlig