I argue against the interpretation of propositions as intentions and proof-objects fulfillments proposed by Heyting defended Tieszen van Atten. The idea is already a frequent target criticisms regarding incompatibility Brouwer’s Husserl’s positions, mainly Rosado Haddock Hill. raise stronger objection in this paper. My claim that even if we grant can be properly dealt with, Atten believes it ca...

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate ne-grained hyperintensional contents. When this is done in a satisfactory way, ...

The function words of a language provide explicit information about how propositions are to be related. We have examined a subset of these function words, namely the subordinating conjunctions which link propositions within a sentence, using sentences taken from corpora stored on magnetic tape. On the hasis of this analysis, a computer program for Dutch language generation and comprehensien has...

Like many, though of course not all, philosophers, I believe in propositions. I take propositions to be structured, sentence-like entities whose structures are identical to the syntactic structures of the sentences that express them; and I have defended a particular version of such a view of propositions elsewhere.1 In the present work, I shall assume that the structures of propositions are at ...

The eternalist holds that all propositions specify the needed time information, and so are eternally true if true at all. The necessitarian holds the parallel view for worlds: she holds that all propositions specify the needed world information, and so are necessarily true if true at all. I will argue that the considerations for both views run parallel: the necessitarian can mimic the whole cas...

Event-based Information Extraction (IE) is the task of identifying entities that play specific roles within an event described in free text. For example, given text documents containing descriptions of disease outbreak events, the goal of an IE system is to extract event role fillers, such as the disease, the victims, the location, the date, etc., of each disease outbreak described within the d...

This paper discusses the role of existence presuppositions and conceivability in linguistic interpretation. In particular, it is discussed evidence that the non-emptiness requirement on universally-quantified propositions might be satisfied through access to a background of knowledge concerning what might be the case in the actual world, as opposed to a background of knowledge concerning what i...