Η ΙΝΤΟΥΪΣΙΟΝΙΣΤΙΚΗ ΛΟΓΙΚΗ ΩΣ ΛΟΓΙΚΗ ΤΩΝ ΜΕΤΑΒΑΛΛΟΜΕΝΩΝ ΣΥΝΟΛΩΝ

INTUITIONISTIC LOGIC AS LOGIC OF VARIABLE SETS (Αγγλική)

  1. MSc thesis
  2. ΤΣΟΥΠΤΣΗΣ, ΧΡΗΣΤΟΣ
  3. Μεταπτυχιακές Σπουδές στα Μαθηματικά (ΜΣΜ)
  4. 14 Ιουλίου 2015 [2015-07-14]
  5. Ελληνικά | Αγγλικά
  6. 85
  7. ΚΑΡΑΖΕΡΗΣ, ΠΑΝΑΓΗΣ
  8. ΚΑΡΑΖΕΡΗΣ, ΠΑΝΑΓΗΣ | ΠΑΠΑΔΟΠΟΥΛΟΣ, ΒΑΣΙΛΕΙΟΣ
  9. ΙΝΤΟΥΪΣΙΟΝΙΣΤΙΚΗ ΛΟΓΙΚΗ | INTUITIONISTIC LOGIC | ΜΕΤΑΒΑΛΛΟΜΕΝΑ ΣΥΝΟΛΑ | VARIABLE SETS
  10. ΑΝΟΥΣΗΣ, ΜΙΧΑΗΛ
  11. ΧΑΤΖΗΝΙΚΟΛΑΟΥ, ΜΑΡΙΑ
  12. 2
  13. 15
  14. 5
  15. Περιέχει διαγράμματα
    • Ο ιντουϊσιονισμός αμφισβητεί το νόμο του αποκλειόμενου τρίτου και τη μέθοδο της απαγωγής σε άτοπο. Στη διπλωματική αυτή παρουσιάζεται η ιντουϊσιονιστική λογική ως λογική που διέπει τα μεταβαλλόμενα σύνολα, τα οποία μεταβάλλονται αναφορικά με ένα πεδίο μεταβολής, χωρικό, χρονικό ή άλλο. Το συμπέρασμα της εργασίας είναι ότι όπως τα μέρη ενός συνόλου συγκροτούνται σε μία άλγεβρα Boole, η οποία αντανακλά τους νόμους της κλασικής λογικής, έτσι και τα μεταβαλλόμενα σύνολα συγκροτούνται σε μία άλγεβρα Heyting, η οποία αντανακλά τις αρχές του ιντουϊσιονισμού.
    • Intuitionism questions the law of the excluded middle and the method of reductio ad absurdum. The objective of this study is to present the intuitionism as the logic of variable sets, which vary as a function of a field of variation (space, time or other). This study finds that similarly to the way the parts of a set are a Boolean algebra, reflecting the laws of the classical logic, the variable sets are a Heyting algebra which reflects the principles of intuitionism.
  17. Items in Apothesis are protected by copyright, with all rights reserved, unless otherwise indicated.