Please use this identifier to cite or link to this item: https://apothesis.eap.gr/handle/repo/28855
Title: Η ΙΝΤΟΥΪΣΙΟΝΙΣΤΙΚΗ ΛΟΓΙΚΗ ΩΣ ΛΟΓΙΚΗ ΤΩΝ ΜΕΤΑΒΑΛΛΟΜΕΝΩΝ ΣΥΝΟΛΩΝ
Authors: ΤΣΟΥΠΤΣΗΣ, ΧΡΗΣΤΟΣ
Advisor: ΚΑΡΑΖΕΡΗΣ, ΠΑΝΑΓΗΣ
Keywords: ΙΝΤΟΥΪΣΙΟΝΙΣΤΙΚΗ ΛΟΓΙΚΗ;INTUITIONISTIC LOGIC;ΜΕΤΑΒΑΛΛΟΜΕΝΑ ΣΥΝΟΛΑ;VARIABLE SETS
Issue Date: 14-Jul-2015
Abstract: Ο ιντουϊσιονισμός αμφισβητεί το νόμο του αποκλειόμενου τρίτου και τη μέθοδο της απαγωγής σε άτοπο. Στη διπλωματική αυτή παρουσιάζεται η ιντουϊσιονιστική λογική ως λογική που διέπει τα μεταβαλλόμενα σύνολα, τα οποία μεταβάλλονται αναφορικά με ένα πεδίο μεταβολής, χωρικό, χρονικό ή άλλο. Το συμπέρασμα της εργασίας είναι ότι όπως τα μέρη ενός συνόλου συγκροτούνται σε μία άλγεβρα Boole, η οποία αντανακλά τους νόμους της κλασικής λογικής, έτσι και τα μεταβαλλόμενα σύνολα συγκροτούνται σε μία άλγεβρα Heyting, η οποία αντανακλά τις αρχές του ιντουϊσιονισμού.
Appears in Collections:ΜΣΜ Διπλωματικές Εργασίες

Files in This Item:
File Description SizeFormat 
MSM THESIS Tsouptsis Christos FINAL.pdfΚυρίως σώμα διπλωματικής2.44 MBUnknownView/Open


This item is protected by original copyright



Items in Apothesis are protected by copyright, with all rights reserved, unless otherwise indicated.