** Low Priority ** ** Reply Requested by 6/11/2012 (Monday) ** dude 1. the adequacy condition is not a theorem (did yo notice? if you did not, you may as well read it in extenso in the below quoted "Warheitsbegriff" see e.g. A. Tarski ( http://en.wikipedia.org/wiki/Alfred_Tarski ), 1936. Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica 1, 261-405. 2. the statement of the theorem is as follows: Tarski's undefinability theorem (general form): Let (L,N) be any interpreted formal language which includes negation and has a Gödel numbering g(x) such that for every L-formula A(x) there is a formula B such that B ↔ A(g(B)) holds. Let T* be the set of Gödel numbers of L-sentences true in N. Then there is no L-formula True(n) which defines T*. That is, there is no L-formula True(n) such that for every L-formula A, True(g(A)) ↔ A holds. 3. you may notice, if you ever happen to read that there is no mention of you having to 'decide' anything 4. for the rest of the vaguely antisemitic excrement you produced, you are the only able qualified to express your apologies to the list-ship. Regards. די סומ ע ן ע י ו ,ל א ר מא י ו-ה י צ מ א ,א ל-י כ נא אי ב נ ,ן ב א ל ו-אי ב נ י כ נא: י כ-י כ נא ר קוב ,םי מ ק ש ס לובו . נצח ישראל לא ישקר palma University of KwaZulu-Natal Howard College Campus, philosophy Durban 4041 South Africa Tel off: [+27] 03 12 60 15 91 Fax [+27] 03 12 60 30 31 (sec: Mrs. Yolanda Hordyk : [+27] 03 12 60 22 92) mobile 07 62 36 23 91 from abroad +[27] 76 23 62 391 EMAIL: palma@xxxxxxxxxx palma's office 280 (3rd flr of Mtb) to meet email palma@xxxxxxxxxx palma's timetable term 1\2012 Su 11:00 hrs, seminar of the phildept, logic the logic will be on until the 1st week of July of 2012 object being the 2 thrms of Goedel *only when in Europe*: inst. J. Nicod 29 rue d'Ulm f-75005 paris france An die Nachgeborenen I Wirklich, ich lebe in finsteren Zeiten! Das arglose Wort ist töricht. Eine glatte Stirn Deutet auf Unempfindlichkeit hin. Der Lachende Hat die furchtbare Nachricht Nur noch nicht empfangen. Was sind das für Zeiten, wo Ein Gespräch über Bäume fast ein Verbrechen ist Weil es ein Schweigen über so viele Untaten einschließt! Der dort ruhig über die Straße geht Ist wohl nicht mehr erreichbar für seine Freunde Die in Not sind? Es ist wahr: ich verdiene noch meinen Unterhalt Aber glaubt mir: das ist nur ein Zufall. Nichts Von dem, was ich tue, berechtigt mich dazu, mich sattzuessen. Zufällig bin ich verschont. (Wenn mein Glück aussetzt, bin ich verloren.) Man sagt mir: Iß und trink du! Sei froh, daß du hast! Aber wie kann ich essen und trinken, wenn Ich dem Hungernden entreiße, was ich esse, und Mein Glas Wasser einem Verdurstenden fehlt? Und doch esse und trinke ich. Ich wäre gerne auch weise. In den alten Büchern steht, was weise ist: Sich aus dem Streit der Welt halten und die kurze Zeit Ohne Furcht verbringen Auch ohne Gewalt auskommen Böses mit Gutem vergelten Seine Wünsche nicht erfüllen, sondern vergessen Gilt für weise. Alles das kann ich nicht: Wirklich, ich lebe in finsteren Zeiten! II In die Städte kam ich zur Zeit der Unordnung Als da Hunger herrschte. Unter die Menschen kam ich zu der Zeit des Aufruhrs Und ich empörte mich mit ihnen. So verging meine Zeit Die auf Erden mir gegeben war. Mein Essen aß ich zwischen den Schlachten Schlafen legte ich mich unter die Mörder Der Liebe pflegte ich achtlos Und die Natur sah ich ohne Geduld. So verging meine Zeit Die auf Erden mich gegeben war. Die Straßen führten in den Sumpf zu meiner Zeit. Die Sprache verriet mich dem Schlächter. Ich vermochte nur wenig. Aber die Herrschenden Saßen ohne mich sicherer, das hoffte ich. So verging meine Zeit Die auf Erden mir gegeben war. Die Kräfte waren gering. Das Ziel Lag in großer Ferne Es war deutlich sichtbar, wenn auch für mich Kaum zu erreichen. So verging meine Zeit Die auf Erden mir gegeben war. III Ihr, die ihr auftauchen werdet aus der Flut In der wir untergegangen sind Gedenkt Wenn ihr von unseren Schwächen sprecht Auch der finsteren Zeit Der ihr entronnen seid. Gingen wir doch, öfter als die Schuhe die Länder wechselnd Durch die Kriege der Klassen, verzweifelt Wenn da nur Unrecht war und keine Empörung. Dabei wissen wir doch: Auch der Haß gegen die Niedrigkeit Verzerrt die Züge. Auch der Zorn über das Unrecht Macht die Stimme heiser. Ach, wir Die wir den Boden bereiten wollten für Freundlichkeit Konnten selber nicht freundlich sein. Ihr aber, wenn es so weit sein wird Daß der Mensch dem Menschen ein Helfer ist Gedenkt unsrer Mit Nachsicht. Bertolt Brecht Werke: Gedichte 2. Vol. 12. Berlin: Aufbau-Verlag, 1988; pp. 85-7. >>> Donal McEvoy <donalmcevoyuk@xxxxxxxxxxx> 11/06/2012 04:22 PM >>> From: Adriano Palma <Palma@xxxxxxxxxx> >It is worth a theorem, which is not the p minimal adequacy, since as it is, it is inconsistent. Hence Alfred Tajtelbaum, known to the ignorant of history as "tarski" proved that there exists a hierarchy such that the minimal adequacy is satisfied. That is in the "concept of truth in L" by the way studying helps.> Was finding this quite hard to get the drift of and then, suddenly, like a sudden shaft of sunlight in an arboretum... >in order to "decide" what is true we have to be sure to get rid of the perverts and buffoons who have a theory of knowledge.> ...by jingo, that's it. Must be. "...get rid of the perverts and buffoons". Now it all became clear. Missing piece of the jigsaw. Rosetta Stone of heaven on earth. From this we can surely now just, in a few easy steps, get to the where dry of mouth and full of beard Abraham once promised, the land our forebears fought and died for, where the child may lay down with the lamb and the kangaroo and gambol with the scarecrow and the rook and still rush back in time for tea, where the ancient footsteps of times past patter past like knee-capped antelope flopping on marble... >Mya not be enough, but it is a first step that goes some distance in the correct direction.> No. Sorry. Fog descended again. Donal Some people say this is a day only the Lord could make And today tending to agree Please find our Email Disclaimer here: http://www.ukzn.ac.za/disclaimer/