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...

Two new problems of bivalent propositional logic are proposed here: firstly, to distinguish the sense of propositions, besides the logical value and secondly, to analyze the ”ponderal” difference between two parts of a proposition: subject-predicate. 1 Relational projections and extensions Let r = (A1, A2, A3, R) be a ternary relation (see [3]). Starting with this, we may define three binary re...