Questions tagged [formal-semantics]
The formal-semantics tag has no usage guidance.
60
questions
0
votes
0answers
23 views
Is there a standard accepted definition of in-situ quantification, and if so what is it?
I'm reading a paper that references Montague being focused on in-situ quantification. I'm not a linguist, so apologies for the naivety, but how does this differ from what is being called bounded ...
0
votes
1answer
49 views
If adjectives denote functions of type <<e,t>,<e,t>>, then what denotation of *be* will allow adjectives to appear in predicative position?
Suppose [[gray]] = λf ∈ D<e,t> . [λx ∈ De . f(x) = 1 and x is gray]. Since this function is of type <<e,t>,<e,t>>, it would seem that sentences like Julius is gray are ...
3
votes
0answers
32 views
Inverse scope reading
It is well known that any sentence with two or more quantifiers will result in in multiple possible readings depending on the ordering of the quantifiers. To take a known example (1), there will be ...
1
vote
1answer
124 views
Know and Factivity
Consider the following sentence:
(1) I don't know that John kissed Mary.
When I assert this sentence, am I contradicting myself? The reason is as follows: following Stalnaker's view on the factivity ...
0
votes
1answer
113 views
Intuitionistic type theory in linguistics
How important is type theory for modern formal linguistics? I am looking for modern references that build on Ranta's (Ranta, Aarne. "Type-theoretical grammar." (1994)) use of type theory for ...
2
votes
0answers
59 views
Can formal linguistics help language learning?
I am interested in the intersection between abstract, formal grammars/semantics of human language and the very concrete task of learning a new language. Are there any books whose presentation assumes ...
2
votes
0answers
51 views
Angelika Kratzer's modal bases
In Kratzer’s theory, for each world w, modal base is the set of propositions p such that the speaker knows in w that p is true, e.g. f(w) = {p1, p2, p3}.
Following the standard assumption in possible ...
0
votes
1answer
75 views
Is formal semantics useful for computational linguistics and NLP?
I browsed the table of content of Cann's Formal Semantics. Cann's book is for linguistics, and am I right that it is helpful for computational linguistics and natural language processing?
But it also ...
3
votes
0answers
61 views
Tools for converting text to logical form
What's the State of the Art in software for converting text to some sort of logical form? Pros and con's of different packages approaches, if more than one exists?
0
votes
1answer
60 views
'some students,' 'many students' etc. in logical formula
'John met the student' would translate as:
(∃x student(x) ⋀ (∀y (student(y) → y = x)) ⋀ met(j,x))
where, j stands for John.
We have the existential quantifier and the universal quantifier; hence, ...
1
vote
2answers
68 views
truth condition of 'uniqueness' in the (neo) Russellian theory
I'm trying to work out how (∀y (student(y) → y = x) represents uniqueness. How come we need that formula there? Doesn't just ∃x student(x) ⋀ met(j,x)) suffice? Or, would it be the expression for I ...
2
votes
0answers
68 views
Is there a way to express a negation modifier in lambda calculus?
I want to model the Middle High German sentence "Ih néhabo niêht in geméitun sô uuîlo geuuêinot" that can be glossed as "I Neg-have not-at-all in vain so much cried" meaning "I have not at all cried ...
4
votes
3answers
291 views
What explanatory advantages does so-called “type theory” have?
Some linguists use a theory called "type theory"; you can see it in a few questions on this site.
Apparently it is based on the "type theory" of maths, logic, and computer science. Wikipedia's ...
1
vote
2answers
85 views
Definite descriptions and essentially indistinguishable participants
In the analysis of definite descriptions there is a problem called "The Problem of Indistinguishable Participants", exemplified by the so-called bishop sentences:
If a bishop meets a bishop, the ...
2
votes
0answers
114 views
Is language “necessarily underspecified”?
I've read an exam question given in a class on Semantics, that was asking
Why is language necessarily underspecified
I did not find much about this at the time, which is surprising because it ...
2
votes
0answers
79 views
What's an Event Argument?
Davidsonian and Neo-davidsonian formal semantics is full of templates containing something labelled as Event Argument. For example, In Kratzer (1996, p.1), discussing severing the external argument ...
0
votes
1answer
164 views
existential force and universal force
I was reading the paper below, and because of my lack of knowledge on the linguistic terms, I have been stuck half way through. If you would be kind enough to enlighten me, I would be very much ...
1
vote
0answers
28 views
Necessity and Possibility, Domain Widen, Indeterminate Phrase
I wanna ask a question about semantics. It's on page 20 in the paper "Indeterminate Pronouns: The View from Japanese" (Kratzer & Shimoyama, 2002).
What I don't understand is the part Computing ...
1
vote
0answers
34 views
Compositional semantics without possible
Is there a way to do compositional semantics without possible worlds?
Especially in the case of semantics of fictional objects.
I was trying to think of fictional objects as 'grammatical object' so ...
1
vote
0answers
85 views
Examples of languages with complex “formules de politesse”
French uses complex word arrangements to say "best regards" and "yours sincerely" to finish well written letters, i.e.:
Nous vous prions d’agréer, Monsieur, l’expression de nos sentiments respectueux ...
0
votes
1answer
121 views
Converting types into lambda notation and set notation
I am looking into different phrases and their semantic derivation.
For example, the verb sneeze:
Type (e,t)
λx[SNEEZE]x
In a sentence like: Michael and Jamie sneeze, I would like to know how to get ...
3
votes
1answer
95 views
Solving type mismatch
I am doing a semantic derivation of the following sentence:
Cathy and Fred drank three coffees.
I know the types of each individual component but when trying to work towards t, I find a type ...
4
votes
1answer
744 views
The semantic type of and?
Semantic types meaning for example a verb being of type (e,t), or an individual/entity being of type e.
I am confused in these two sentences, because I believe the semantic type of 'and' is different ...
0
votes
1answer
100 views
How active formal semantics as a research field today?
I've heard from some people (working in computational linguistics) that today the area of formal semantics is on the decline. On the other hand, I can see many new papers from formal semanticists on ...
3
votes
2answers
86 views
Computational/Formal Approaches to Paragraph-Level Semantics
There are several frameworks that have been built by both linguists and computer scientists to deal with the problem of semantic representation of sentences, most notably Abstract Meaning ...
3
votes
2answers
137 views
Understanding Feature Grammar syntax
Background: I am a software dev who doesn't really know much about linguistics but I am trying to learn some of it for an application I'm making
I am trying to understand Feature Grammar syntax, and ...
0
votes
0answers
57 views
Name for the view that ambiguities in natural language are imperfections of it?
For instance, in natural language, "or" is slightly different from logical OR, "some" is slightly different from logical EXISTS, etc.
What is the name of the belief that these discrepancies are ...
3
votes
0answers
40 views
Neural Net advances in textual entailment and mathematical semantics/logic view on it
I wonder if researchers working on textual entailment using explicit modelling tools (mathematical semantics / logic /formal semantics) have an explanation of recent success of neural networks in ...
0
votes
0answers
40 views
Complete NL formalisms w/out syntax
What are the natural language formalisms that, roughly speaking, do away w/ syntax as a separate level of description? Cf. Steedman's "The Syntactic Process" (2000):
"...syntactic structure is ...
3
votes
1answer
38 views
directed graph representation of LF
I am a logician new to linguistics. I am curious if there has been any work on using the formalism of directed graphs (as opposed to, say, lambda-calculus or first-order logic) to represent LF of ...
4
votes
1answer
85 views
'sibling-in-law' constructions: Why the polysemy/vagueness?
A holds the 'sibling-in-law' relation to B only in the case when:
(1) A is a sibling of C and C is married to B; or
(2) A is married to C and C is a sibling of B.
What is common to (1) and (2) is ...
0
votes
0answers
40 views
Formal semantics (Montague, type-theoretical) of noun clauses
Partee has nice summary about the formal semantics of relative clause http://people.umass.edu/partee/MGU_2005/MGU05Lec10.pdf (subordinate adjectival clause). E.g.
At least one boy who Mary loves is ...
0
votes
1answer
66 views
Formal semantics (Montague, type-theoretical) of adverbial clauses
Partee has nice summary about the formal semantics of relative clause http://people.umass.edu/partee/MGU_2005/MGU05Lec10.pdf (subordinate adjectival clause). E.g.
At least one boy who Mary loves is ...
0
votes
1answer
137 views
“in relation to which” - what type of subordinated clause and is this conjunction somehow distinct?
I am trying to analyse the sentence:
Building land is a plot of land in relation to which a construction permit has been issued.
and my question is - what type of subordinated clause is introduced ...
1
vote
0answers
57 views
Formal semantics explanation
Having linguistics and Chinese knowledge, I need some basic notions to understand an academic article. I add an example of the kind of language used
a. liang zu xuesheng 'two teams/sections of ...
0
votes
0answers
118 views
Are these phrases downward entailing?
Please consider the following phrases with respect to downward entailment:
Mary remembers that French students saw her.
Mary remembers that tall French students saw her.
(in my opinion, this is not ...
2
votes
0answers
42 views
Connections between combinatory categorial grammars and abstract categorial grammars?
Are there connections/translation or common tools usage/adaptation between combinatory (concrete) categorial grammars (incl. Lambek calculus) and abstract categorial grammars? Can tools for one of ...
2
votes
0answers
44 views
What is the source of knowledge/discovery for the semantics? Automation of semantic science?
Natural sciences observe facts and make models. Mathematics more or less arbitrarly generates axioms and investigates all the possible consquences of them. What is the source of semantic knowledge (e....
0
votes
1answer
54 views
Formal semantics of subordinate clauses (compound sentences) - in categorial and type logical grammars?
I am trying to apply combinatory categorial grammars and type logical grammars (Montague semantics etc.) to the compound sentences and the subordinate clauses. Are there efforts to develop those ...
1
vote
2answers
55 views
Motivation behind the definition for existential quantifiers such as *some* in compositional semantics
Natural language quantifiers such as some and a are formalised for compositional semantics as λP.λQ.∃x.P(x)∧Q(x). Compared to the formalisation of quantifiers such as every or all I do not quite ...
3
votes
0answers
29 views
Database of formalized english sentences?
(Not sure if this is the right site to ask)
Is there an online (preferably free) database of English sentences and the corresponding first-order representations?
2
votes
2answers
135 views
What is the best/state-of-the-art logic for representing English language?
I know people have used lambda terms which "compile into" first-order logic, but based on what I have seen that is not particularly great for representing complex sentences with causal or temporal ...
3
votes
1answer
307 views
Truth-conditions of predicate-logic formulas for donkey sentences
I'm current learning about compositional semantics, quantifier raising and scope ambiguity in my semantics class and I'm having trouble answering some questions. I've attempted to answer the questions ...
3
votes
2answers
97 views
Representing constructive and non-constructive claims in formal semantics
I came across Montague's treatment of "John seeks a unicorn". He distinguishes de re and de dicto interpretations of it on the basis that the de dicto meaning does not entail the existence of any ...
2
votes
1answer
373 views
Can we build semantic mappings for CFG same as we do in CCG?
In CFG we "simply" have production rules. Whereas in Combinatory Categorial Grammar (CCG) on the other hand, we have both composition rules over categories, and a mapping from syntax to semantics (...
4
votes
3answers
4k views
Truth conditional semantics and wffs
How specifically does truth conditional semantics separate syntactically well formed sentences (wffs) with semantic meaning from syntactically well formed sentences without semantic meaning? An ...
2
votes
1answer
513 views
C&C/Boxer Source Code
I’ve been trying to find C&C tools and Boxer online and found this link in many places (http://svn.ask.it.usyd.edu.au/trac/candc) but the link does not work for me. Is there another place to find ...
1
vote
0answers
48 views
How can meaning be represented? [closed]
How can I represent the semantic content of a sentence or a word in a formal way? So far, I only know that you can use sets of features, but what are the alternative theories?
1
vote
1answer
231 views
logic symbol for 'unlike, differing from'
I'd like to express 'unlike, differing from', in an 'academic/professional' fashion using logic symbol(s) or mathematical operators. The descriptions of the corresponding Unicode block seem to show ...
1
vote
2answers
207 views
Can an indefinite article trigger a presupposition?
One presupposition trigger is the definite article. Can an indefinite article trigger a presupposition?
