Λογική τροπική,Αριστοτέλης και Ηλεκτρονικοί Υπολογιστές

..
Είναι ο κλάδος της λογικής,ο οποίος ασχολείται με τροπικότητες
-δηλαδή,ιδιότητες προτάσεων όπως
η ΑΝΑΓΚΑΙΟΤΗΤΑ,
το ΕΝΔΕΧΟΜΕΝΟ,
η ΔΥΝΑΤΟΤΗΤΑ,
η ΜΗ ΔΥΝΑΤΟΤΗΤΑ-
κατ'αντίθεση προς το αληθές και το ψευδές.
..
Έτσι οι προτάσεις,
"Μερικοί άνθρωποι μπορεί να είναι αθάνατοι" και
"Οι άνθρωποι είναι κατ'ανάγκη κοινωνικά ζώα",
είναι τροπικές προτάσεις.
..
Μολονότι τροπικοί συλλογισμοί μελετήθηκαν από τον Αριστοτέλη,η τροπική λογική παραμένει αβέβαιο πεδίο.
..
Σύγχρονες απόπειρες πραγμάτευσης του προβλήματος βρίσκονται στις πολλές λογικές πολλαπλών τιμών,οι οποίες επιτρέπουν άλλες αληθοτιμές ανάμεσα στην αλήθεια και στο ψεύδος,καθώς και σε συστήματα αυστηρής συνεπαγωγής -συστήματα θεωρημάτων που κάπως διαφέρουν ανάλογα με τις σχέσεις ανάμεσα στις διάφορες τροπικότητες που διατυπώνονται στα αξιώματα τους.
..
ΛΟΓΙΚΗ ΤΩΝ ΠΟΛΛΑΠΛΩΝ ΜΟΡΦΩΝ : http://multiforms.netfirms.com/H_logiki_twn_pollaplwn_morfwn1.htm
.
http://www.filosofia.gr/apopseis.php?subaction=showfull&id=1114812876&archive=&start_from=&ucat=9&
.
http://209.85.229.132/search?q=cache:XoE_cnzRTacJ:www.eef.gr/app/webroot/CD/docfiles/stogiannidis.doc+%CE%9B%CE%9F%CE%93%CE%99%CE%9A%CE%97+%CE%9C%CE%95+%CE%91%CE%92%CE%95%CE%92%CE%91%CE%99%CE%9F%CE%A4%CE%97%CE%A4%CE%91&cd=1&hl=el&ct=clnk&gl=gr
.
http://www.etpe.gr/files/proceedings/22/1234428821_5%20etpe%2032-40.pdf
.
http://www.mediamax.gr/trendDetails.cfm?EntryID=31
.
ΣΥΝΔΥΑΣΤΙΚΗ ΛΟΓΙΚΗ : http://209.85.229.132/search?q=cache:skkvYk2Y0tcJ:www.cs.uoi.gr/~kabousia/pdf/LogicDesign/Th4_CombinLog.pdf+%CE%BB%CE%BF%CE%B3%CE%B9%CE%BA%CE%B5%CF%82+%CF%80%CE%BF%CE%BB%CE%BB%CE%B1%CF%80%CE%BB%CF%89%CE%BD+%CF%84%CE%B9%CE%BC%CF%89%CE%BD&cd=11&hl=el&ct=clnk&gl=gr
.
ΑΡΙΘΜΗΤΙΚΕΣ ΚΑΙ ΛΟΓΙΚΕΣ ΕΚΦΡΑΣΕΙΣ : http://nicosia.ccs.ucy.ac.cy/~ee05ct1/c_page/kef4.html
.
http://209.85.229.132/search?q=cache:fg68qhxqiqAJ:it-structural-engineering.weebly.com/uploads/4/3/9/4/439426/chapter2.pdf+%CE%BB%CE%BF%CE%B3%CE%B9%CE%BA%CE%B5%CF%82+%CF%80%CE%BF%CE%BB%CE%BB%CE%B1%CF%80%CE%BB%CF%89%CE%BD+%CF%84%CE%B9%CE%BC%CF%89%CE%BD&cd=8&hl=el&ct=clnk&gl=gr
..