Liste des Groupes | Revenir à s logic |
On 7/30/2024 2:33 AM, Mikko wrote:You cannot redefine side wihout redefining the other side and theOn 2024-07-29 00:44:41 +0000, olcott said:https://plato.stanford.edu/Entries/analytic-synthetic/
The truth about every expression of language that can be knownDoes that really mean something? If the significance of the lack of
to be true on the basis of its meaning expressed in language is
that a lack of connection simply means untrue.
connection is restricted to sentences where the connection exists
then it seems that you are talking about nothing.
I had to redefine the analytic side of the analytic/synthetic
distinction because Quine convinced most everyone that this
distinction does not exist.
Every expression x of (formal or natural) language L thatThat does not mean anything aunless you define "truth preserving
can be connected to the its semantic meaning in L by a
sequence of truth preserving operations is true in L.
The same thing applies to ~x making x false in L.
When x and ~x are both unprovable in L then x is not aCan you prove that every expression that is true in L by your definition
truth-bearer in L.
Les messages affichés proviennent d'usenet.