Σημασία: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Νέα σελίδα: Σε μια οποιαδήποτε λογικά συνεπής θεωρία, ή γενικότερα σε οποιοδήποτε [[εννοιολογικό πλαίσιο... |
Χωρίς σύνοψη επεξεργασίας |
||
Γραμμή 1:
Σε μια οποιαδήποτε λογικά συνεπής [[θεωρία]], ή γενικότερα σε οποιοδήποτε [[εννοιολογικό πλαίσιο]], '''σημασία''' ονομάζεται η διαδικασία αντιστοίχισης των [[σύμβολο|συμβόλων]] της θεωρίας με κάποιο κατάλληλο [[μοντέλο]]. Το σύστημα συμβόλων της θεωρίας είναι τα σύμβολα, χαρακτήρες ή ψηφία που χρησιμοποιούνται για τη διατύπωση των προτάσεων της θεωρίας. Το σύστημα συμβόλων που χρησιμοποιείται για επικοινωνία και ανταλλαγή πληροφοριών σε κάποιο άλλο εννοιολογικό πλαίσιο είναι συνήθως η [[γλώσσα]] (γραπτά σύμβολα και ηχητικά φωνήματα μαζί με τους κανόνες για το ποιες είναι οι γραμματικά και συντακτικά αποδεκτές προτάσεις της γλώσσας).
Το ''μοντέλο'' στο οποίο αντιστοιχίζονται τα σύμβολα, και το οποίο προσδίδει σημασία στα σύμβολα, είναι ένα σύστημα από αντικείμενα. Μπορεί να είναι συγκεκριμένα φυσικά αντικείμενα ή αφηρημένα αντικείμενα. Αυτή είναι η τεχνική χρήση του όρου «μοντέλο» σύμφωνα με τη σύγχρονη [[λογική|φιλοσοφική λογική]] και [[επιστημολογία]]. Για παράδειγμα, το μοντέλο της [[ευκλείδεια γεωμετρία|ευκλείδειας γεωμετρίας]] είναι το σύνολο των γεωμετρικών εννοιών στις οποίες αναφέρονται τα θεωρήματα της. Είναι δηλαδή το σημείο, η ευθεία, η γωνία, το επίπεδο και ούτω καθ εξής.
| |||