Re: OUTGOEDELING A HUMAN?

On Feb 23, 5:08 pm, stevendaryl3...@xxxxxxxxx (Daryl McCullough)
wrote:
LauLuna says...

You seem strangely reluctant to assume that sentences and propositions
cannot be equated.

No, I'm saying that a proposition is something like the *interpretation*
of a sentence. You can't talk about propositions independently of talking
about interpretations.


That's not the context of my statement. I was referring to your
insistence on valid schemes of reasoning for sentences regardless
whether they can express propositions.

.

Relevant Pages

  • Re: A implies I
    ... propositions as true only when their subject terms exist (or, ... interpretation of syllogistic logic roughly 70 years ago. ... tradition according to which the ancients were unaware of empty terms." ... A and O are contradictories. ...
    (sci.logic)
  • Re: Minimal set theory for model theory?
    ... If you Google Orayen and Paradox ... interpretation should be the set of all sets, ... the universal class will ALWAYS be proper, ... Take R as the 'aboutness' relation among propositions, ...
    (sci.logic)
  • Re: Minimal set theory for model theory?
    ... If you Google Orayen and Paradox ... interpretation should be the set of all sets, ... the universal class will ALWAYS be proper, ... Take R as the 'aboutness' relation among propositions, ...
    (sci.logic)
  • Re: Newbie question about db normalization theory: redundant keys OK?
    ... Isn't that purely a question of what propositions we want to represent? ... interpretation, which the database was never designed to support. ... implement anything like a ROWVERSION in a true RDBMS. ... A problem arises with relational assignment - something that SQL doesn't ...
    (comp.databases.theory)
  • Re: Existential, Universal Quantifiers, Generalize Booleans
    ... in the definition of logical equivalence there is no such ... must have the same truth value under _any_ interpretation. ... propositions. ... "It is assumed that there is a context in which the predicates are defined." ...
    (sci.math)