Λογική

Τι είναι η Λογική:

Η λογική είναι ένα θηλυκό ουσιαστικό που προέρχεται από τον ελληνικό όρο λογική, που σχετίζεται με το λογότυπο, το λόγο, τη λέξη ή το λόγο, που σημαίνει την επιστήμη της λογικής .

Σε μια εικαστική έννοια, η λέξη λογική σχετίζεται με έναν συγκεκριμένο τρόπο λογικής σωστά. Για παράδειγμα: Αυτό δε θα λειτουργήσει ποτέ! Το σχέδιό σας δεν έχει λογική καθόλου!

Προβλήματα ή λογικά παιχνίδια είναι δραστηριότητες όπου ένα άτομο πρέπει να χρησιμοποιήσει λογική λογική για την επίλυση του προβλήματος.

Αριστοτελική Λογική

Σύμφωνα με τον Αριστοτέλη, η λογική έχει ως αντικείμενο τη μελέτη της σκέψης, καθώς και τους νόμους και τους κανόνες που την ελέγχουν, έτσι ώστε αυτή η σκέψη να είναι σωστή. Για τον Έλληνα φιλόσοφο, τα συστατικά στοιχεία της λογικής είναι η έννοια, η κρίση και η συλλογιστική . Οι νόμοι της λογικής αντιστοιχούν στις συνδέσεις και τις σχέσεις που υπάρχουν μεταξύ αυτών των στοιχείων.

Κάποιοι διάδοχοι του Αριστοτέλη ήταν υπεύθυνοι για τα θεμέλια της μεσαιωνικής λογικής, που κράτησαν μέχρι τον δέκατο τρίτο αιώνα. Οι μεσαιωνικοί στοχαστές όπως ο Γαλέννος, ο Πορφύριος και ο Αλέξανδρος της Αφροδίσιας ταξινομούν τη λογική ως την επιστήμη της σωστής κρίσης, που καθιστά δυνατή την επίτευξη σωστών και τυπικά έγκυρων λογικών.

Λογική προγραμματισμού

Η λογική προγραμματισμού είναι η γλώσσα που χρησιμοποιείται για τη δημιουργία ενός προγράμματος υπολογιστή. Η λογική του προγραμματισμού είναι απαραίτητη για την ανάπτυξη προγραμμάτων και συστημάτων πληροφορικής, καθώς ορίζει τον λογικό σύνδεσμο γι 'αυτή την εξέλιξη. Τα βήματα αυτής της εξέλιξης είναι γνωστά ως αλγόριθμος, που αποτελείται από μια λογική ακολουθία οδηγιών για την εκτέλεση της λειτουργίας.

Λογική επιχειρήματος

Η λογική της επιχειρηματολογίας μας επιτρέπει να επαληθεύσουμε την εγκυρότητα ή αν μια δήλωση είναι αληθής ή όχι. Δεν γίνεται με σχετικές ή υποκειμενικές έννοιες, είναι απτές προτάσεις, των οποίων η εγκυρότητα μπορεί να επαληθευτεί. Στην περίπτωση αυτή, η λογική στοχεύει στην αξιολόγηση της μορφής των προτάσεων και όχι του περιεχομένου. Οι συλλογισμοί (αποτελούμενοι από δύο εγκαταστάσεις και ένα συμπέρασμα), είναι ένα παράδειγμα λογικής της επιχειρηματολογίας. Για παράδειγμα:

Η Φούβα είναι σκύλος.

Όλα τα σκυλιά είναι θηλαστικά.

Επομένως, η Fuba είναι θηλαστικό.

Μαθηματική Λογική

Μαθηματική λογική (ή τυπική λογική) μελετά τη λογική σύμφωνα με τη δομή ή τη μορφή της. Η μαθηματική λογική αποτελείται από ένα σύστημα έκφρασης δηλώσεων που αποσκοπεί στη δημιουργία ενός συνόλου νόμων και κανόνων για τον καθορισμό της εγκυρότητας της συλλογιστικής. Έτσι, μια συλλογιστική θεωρείται έγκυρη αν είναι δυνατόν να επιτευχθεί ένα πραγματικό συμπέρασμα από τους πραγματικούς χώρους.

Η μαθηματική λογική χρησιμοποιείται επίσης για την κατασκευή έγκυρου συλλογισμού μέσω άλλων συλλογισμών. Ο συλλογισμός μπορεί να είναι αφαιρετικός (το συμπέρασμα προκύπτει κατ 'ανάγκη από την αλήθεια των χώρων) και επαγωγικό (πιθανοτικό).

Η τυπική λογική μπορεί να χωριστεί σε δύο ομάδες: τη λογική της προτεινόμενης λογικής και την λογική της προκαταρκτικής.

Το Leibniz θεωρείται από πολλούς ως το μυαλό που ξεκίνησε την έννοια της επίσημης ή μαθηματικής λογικής, η οποία ασχολείται με τα κεντρικά ζητήματα των μαθηματικών. Ωστόσο, μόνο μετά το 1890, με τον Peano, άρχισε το ζήτημα της συνέπειας των αξιωμάτων. Ορισμένες σημαντικές αρχές της επίσημης λογικής βρίσκονται στο The Mathematical Analysis of Logic από τον George Boole (συγγραφέας λογικής ή Boolean άλγεβρας).

Προτεινόμενη Λογική

Η προτεινόμενη λογική είναι ένας τομέας λογικής που εξετάζει τη συλλογιστική σύμφωνα με τις σχέσεις ανάμεσα στις προτάσεις (προτάσεις), τις ελάχιστες μονάδες λόγου, που μπορεί να είναι αληθινές ή ψευδείς.