Anaphora and Type Logical Grammar: 24 (Trends in Logic) by Gerhard Jäger

By Gerhard Jäger

ThisbookdiscusseshowTypeLogicalGrammarcanbemodi?edinsuch awaythatasystematictreatmentofanaphoraphenomenabecomesp- sible with out giving up the overall structure of this framework. via kind Logical Grammar, I suggest the
model of Categorial Grammar that arose out of the paintings of Lambek, 1958 and Lambek, 1961. There Ca- gorial forms are analyzed as formulae of a logical calculus. specifically, the Categorial slashes are interpreted as forms
of confident impli- tion within the feel of Intuitionistic common sense. the sort of thought of grammar is in step with se beautiful for a proper linguist who's drawn to the interaction among formal common sense and the constitution of language. What
makes L- bekstyleCategorialGrammarevenmoreexcitingisthefactthat(asvan Benthem,1983pointsout)theCurry-Howardcorrespondence-acentral a part of mathematical facts conception which establishes a deep connection
betweenconstructivelogicsandthe?-calculus-suppliesthetypelogical syntax with a very based and independently prompted interface to model-theoretic semantics. Prima facie, anaphora doesn't ?t rather well into the
Categorial photograph of the syntax-semantics interface. The Curry-Howard dependent composition of that means operates in an area approach, and which means ass- bly is linear, i.e., every bit of lexical which means is used precisely as soon as. Anaphora,
nevertheless, is in precept unbounded, and it consists of via de?nition the a number of use of yes semantic assets. The latter challenge has been tackled through a number of Categorial grammarians by means of ass- ing su?ciently complex
lexical meanings for anaphoric expressions, however the locality challenge isn't really effortless to resolve in a merely lexical way.

Show description

Read or Download Anaphora and Type Logical Grammar: 24 (Trends in Logic) PDF

Similar philosophical logic & language books

Judicial Applications of Artificial Intelligence

The judiciary is within the early levels of a metamorphosis in which AI (Artificial Intelligence) know-how may also help to make the judicial technique quicker, more cost-effective, and extra predictable with no compromising the integrity of judges' discretionary reasoning. Judicial decision-making is a space of daunting complexity, the place hugely subtle criminal services merges with cognitive and emotional competence.

Finding Freedom: Hegel's Philosophy and the Emancipation of Women (McGill-Queen's Studies in the History of Ideas)

Combining a close research of Hegel's political philosophy with shut readings of 2 very important literary works that aid make clear his notion, MacDonald lines the ancient improvement of a permanent hyperlink among own lives and reliable political groups. whereas Sophocles' Antigone highlights the strain in states that deny the pursuits in their electorate, MacDonald exhibits that Shakespeare's A Midsummer Night's Dream bargains an alternate snapshot, person who sees freedom for all as necessary to a moral family members and nation and is in line with Hegel's concept in either the Phenomenology of Spirit and The Philosophy of correct.

A Dictionary of Thought Distortions

Inspiration distortions are “techniques”, that, subconscious or wakeful, are used from an curiosity to find methods of having on on this planet, instead of an curiosity find methods of studying the reality. concept distortions are the historical past for negative reasoning, diversionary ploys, seductive reasoning error, concepts of persuasion and avoidance, mental components, which are hindrances to transparent idea.

Model-Based Reasoning in Science and Technology: Logical, Epistemological, and Cognitive Issues (Studies in Applied Philosophy, Epistemology and Rational Ethics)

This e-book discusses how clinical and different varieties of cognition utilize types, abduction, and explanatory reasoning with the intention to produce very important or inventive adjustments in theories and ideas. It contains revised contributions provided through the overseas convention on Model-Based Reasoning (MBR’015), hung on June 25-27 in Sestri Levante, Italy.

Additional info for Anaphora and Type Logical Grammar: 24 (Trends in Logic)

Example text

Download PDF sample

Rated 4.16 of 5 – based on 25 votes