Liste des Groupes | Revenir à s logic |
On 8/3/24 9:44 AM, olcott wrote:It seems that you are the only one that believes thatOn 8/3/2024 4:50 AM, Mikko wrote:And so you agree that Godel's G is True in PA.On 2024-08-02 12:19:31 +0000, olcott said:>
>On 8/2/2024 1:43 AM, Mikko wrote:>On 2024-07-31 14:46:17 +0000, olcott said:>
>On 7/31/2024 3:03 AM, Mikko wrote:>On 2024-07-30 13:40:55 +0000, olcott said:>
>On 7/30/2024 2:33 AM, Mikko wrote:>On 2024-07-29 00:44:41 +0000, olcott said:>
>The truth about every expression of language that can be known>
to be true on the basis of its meaning expressed in language is
that a lack of connection simply means untrue.
Does that really mean something? If the significance of the lack of
connection is restricted to sentences where the connection exists
then it seems that you are talking about nothing.
>
https://plato.stanford.edu/Entries/analytic-synthetic/
I had to redefine the analytic side of the analytic/synthetic
distinction because Quine convinced most everyone that this
distinction does not exist.
You cannot redefine side wihout redefining the other side and the
distinction itself. Is your redefinition equivalent to the one
at https://plato.stanford.edu/Entries/analytic-synthetic/ or did
you find out that that distincition is not the one that exists?
Quine got totally confused by synonymity. He never understood
that the term {Bachelor} was defined in terms of
(~Married + Adult + Male).
It is not a good idea to lie about other people.
>
When reqding Quine, you should ask yourself why your presentation
is much less convincing than Quine's.
Try and show the details of how I am incorrect.
What you said (quoted above) about Quine is insulting and unjustified,
which alone is wrong.
>
The bottom line here is that every objection that he could
have possibly made is addressed by this augmentation to
the definition of {analytic truth}
>
*Original definition* of {Analytic truth}
Every expression of (formal or natural language) that is
true on the basis of its meaning...
>
*Is augmented by this*
within a system of reasoning is only true when this
expression is linked by truth preserving operations to
its meaning within this system using this language.
>
The superset of all of these systems that contains all
analytic truth is called {the accurate model of the actual world}.
>
>
>
Les messages affichés proviennent d'usenet.