#23161929 · 27 Dec 2010, 13:34 · · პროფილი · პირადი მიმოწერა · ჩატი
vano_t
QUOTE | შენ ლოგიკის კურსის refreshment გჭირდება. ისეთ შეცდომებს უშვებ, რომ არ გეპატიება. ჯერ გადახედე 2 რაიმეს: |
ვერ გადავხედავ ინგლისური არ ვიცი
QUOTE | 1) უშვებ ისეთი წესების და აქსიომების არსებობას, რომლებიც ერთდროულად მცდარიც არის და ჭეშმარიტიც (და ნუ ვიკამათებთ იმაზე, რაც მთელს მსოფლიოში მიღებულია - არავინ ამბობს პროპოზიციებზე მართალი და ყალბი) |
ევკლიდეს მეხუთე აქსიომა მართალია თუ ყალბი?
QUOTE | 2) ამას აკეთებენ Self-reference-ის წყალობით Liar Paradox-ის მგსავსად. |
არაფერსაც არ ვაკეთებ, იმას ვაკეთებ რაც მიღებულია
QUOTE | ვერ გავიგე. ეს ყველაფერი უშუალოდ A="ნებისმიერ აქსიომას შეცვლი"-დან გამომდინარეობს, რომელიც ასევე თავისივე თავს მიმართავს. |
კაცო ნებისმიერი აქსიომის შეცვლა თეორიის შეცვლას იწვევს რა რაის გაუგებარი?
QUOTE | ხოდა, liar paradox-ის მსგავსად, თუ ეგ აქსიომა ჭეშმარიტად ჩათვალე, |
კიდევ, აქსიომას აქვს თავისი საზღვრები თეორიის სახით , სადაც მართალია. ჩვენი ლოგიკით ასეა , გაქვს სხვა ლოგიკა?
QUOTE | ამრიგად, შენი აქსიომიდან იღებ შინაგან წინააღმდეგობას, |
არ ვიღებ რადგან ეს ლოგიკის აქსიომა არაა, ეს თეორემაა და მტკიცდება მარტივად. თუ ლოგიკის აქსიომები არ მოგწონს შეცვალე და მიიღებ ახალ ლოგიკას.
QUOTE | როცა აქსიომა და მისი საწინააღმდეგო აქსიომაც ერთდროულად ჭეშმარიტია. |
მოკლედ ერთ მხარეს რომ წახვალ ვეღარ გადაგათქმევინებს კაცი, რა "ჭეშმარიტი"? ასეთი არაფერი მაქვს. ჩემი თეორემა მართალია და მტკიცდება , ვაა  QUOTE | რაღად უნდა ახლა ისეთი აქსიომის ჩამოყალიბება, რომელსაც ვერ შეცვლი? |
კაცო მაქვს ლოგიკა რომლის საშუალებითაც მტკიცდება , რომ ნებისმიერი აქსიომის შეცვლა შეიძლება, ახლა შენ მეუბნები ლოგიკის აქსიომების ისე შეცვლა თუ შეიძლება რომ , ეს გამონათქვამი "ყველა აქსიომის შეცვლა შეიძლება" ყალბი გამოვიდესო, მე გეუბნები კიო. მაგრამ ის ლოგიკა ვის რაში გამოადგება საკითხავია , ან გააკეთე და დამარწმუნე რომ გამოსადეგია, ან დაუშვი ის აქსიომები რომელსაც მე და მსოფლიო ვიყენებთ, რომლებითაც მართალი გამოდის. ძნელია გასაგებად?
QUOTE | ეს არის ფუნდამენტალური კანონი, რომელიც ყველა ლოგიკაში უცვლელია. ამ კანონის გარეშე ვერცერთ ლოგიკას ვერ ააგებ. |
არ კითხულობ ეტყობა რას ვწერ, მე სადა ვთქვი იგივე ლოგიკაში იცვლება ლოგიკის აქსიომაო?
QUOTE | ჯერ ესერთი, მე იმას არ ვამბობ, რომ ერთ თეორიაში 2 ურთიერთსაწინააღმდეგო რაიმე უნდა გვქონდეს თქო. ამდენი ხანია იმას გიჩვენებ, რომ ეგ არ უნდა გვქონდეს |
ხო და დაანებე თავი ჩვენებას , მაგას არც მე ვამბობ.
QUOTE | მარა შენს მიერ შერჩეულ წესები და აქსიომები (კერძოდ ის, რომ ყველაფერი ფარდობითია და ნებისმიერ წესსა და აქსიომას შეცვლი) ამბობენ მაგას. |
არ ამბობენ მაგას, L ლოგიკით შემიძლია შევქმნა T1 და T2 თეორია სადაც , T1-ში A აქსიომა იქნება მართალი და T2-ში ყალბი, გაქვს რაიმე პრობლემა? რადგან L თვითონ თეორიაა , მასსაც მიუდგება ეს წესი და შესაძლებელია L1 ლოგიკა შეიქმნას.
QUOTE | მოკლედ რომ ვთქვათ, არ ხარ მართალი და ამაში შეგვიძლია მე-3 პირთან დაგავამოწმოთ, რომელსაც ესმის ლოგიკა და მეტალოგიკაც (მე ამის სპეციალისტი არა ვარ, მაგრამ იმდენი ვიცი, რომ შენს ნათქვამში ხარვეზები აღმოვაჩინო). |
ეს შენ გგონია
QUOTE | მე მოვრჩი ტაბა ამაზე კამათი |
ბრძოლის ველიდან გარბიხარ, ვაა მე უფრო ჯიუტი აღმოვჩნდი
--------------------
მე სამოთხის და ჯოჯიხეთისაც მწამს და ე.ი. არსებობს.. (c) gurabe არის ჩვეულებრივი, ცოდვილი ლოგიკა და არის სულიერი ლოგიკა. (c) რამაზი რაც მე ინფორმაცია მაქვს სულ რომ ვკითხულობდე თქვენთვის დრო აღარ დამრჩება (c) GAIUS IULIUS CAESAR AUGUSTUS
|