Coming soon - Get a detailed view of why an account is flagged as spam!
view details

This post has been de-listed (Author was flagged for spam)

It is no longer included in search results and normal feeds (front page, hot posts, subreddit posts, etc). It remains visible only via the author's post history.

4
Understanding formal semantics terminology and nomenclature.
Post Body

Hi! I was making my way through Angelika Kratzer's Modals and Counterfactuals recently when I discovered that some sections of it contain nomenclature that is not simply quantified first-order logic plus set theory. Viz.:

[[[(whenever α)β]]g = λs [[ [[α]]g → ∃s' ∃s'' [s' ≤ s & s'' ≤ s & [[α]]g ...

I assume you get the picture. I'm wondering if there would be a nice source book anywhere that would at least clue me into what the parts of this that aren't simply QFL set theory mean.

Author
Account Strength
0%
Account Age
12 years
Verified Email
No
Verified Flair
No
Total Karma
48,454
Link Karma
2,855
Comment Karma
44,884
Profile updated: 3 months ago
Posts updated: 7 months ago

Subreddit

Post Details

We try to extract some basic information from the post title. This is not always successful or accurate, please use your best judgement and compare these values to the post title and body for confirmation.
Posted
8 years ago