Τίτλος σε άλλη γλώσσα: INTUITIONISTIC LOGIC AS LOGIC OF VARIABLE SETS [Αγγλική] Ημερομηνία: 14-07-2015 [2015-07-14] Συγγραφέας: ΤΣΟΥΠΤΣΗΣ, ΧΡΗΣΤΟΣ Σχολή: Σχολή Θετικών Επιστημών και Τεχνολογίας Τμήμα: Μεταπτυχιακές Σπουδές στα Μαθηματικά (ΜΣΜ) Περίληψη (Abstract): Ο ιντουϊσιονισμός αμφισβητεί το νόμο του αποκλειόμενου τρίτου και τη μέθοδο της απαγωγής σε άτοπο. Στη διπλωματική αυτή παρουσιάζεται η ιντουϊσιονιστική λογική ως λογική που διέπει τα μεταβαλλόμενα σύνολα, τα οποία μεταβάλλονται αναφορικά με ένα πεδίο μεταβολής, χωρικό, χρονικό ή άλλο. Το συμπέρασμα της εργασίας είναι ότι όπως τα μέρη ενός συνόλου συγκροτούνται σε μία άλγεβρα Boole, η οποία αντ...