Exact(11)
As the name suggests, propositional functions are functions that have propositions as their values.
They have propositions as primitive notions, and define possible worlds on the basis of them.
(For simplicity, we will assume that sentences can have propositions as semantic contents).
(Even the correspondence theorist holds that propositions about propositions have propositions as their truth conditions).
Here we don't have (or don't just have) sentences varying in truth-value depending on context; we seem to have propositions varying in truth-value depending on context.
So one is apparently forced to reject the assumption that propositions form one type, and hence to require that they ought to have various types, while logical products ought to have propositions of only one type as factors.
Similar(49)
Lowell appears to have propositioned Bishop, suggesting that he visit her alone in Boston, New York, or Brazil.
Is harassment discrimination, Rosa Ehrenreich asks, "because a man who propositions a female employee would presumably not have propositioned a male employee, and thus the propositioned woman has been treated differently than her male colleagues because of her sex?
Hence and from 3.3 we have: Proposition 3.4.
Inserting (4.9) into (4.8), we have Proposition 4.1.
Notice that if then we have Proposition 3.9 Thus, in the proof we will assume.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com