Professional Documents
Culture Documents
ΛΟΓΙΚΕΣ ΣΧΕΣΕΙΣ
ΓΙΑ ΤΙΣ ΔΟΜΕΣ ΚΑΙ ΤΑ ΜΟΝΤΕΛΛΑ
1. Συντακτικά προκαταρκτικά:
α. Θα δηλώσουμε την σταθερή διαφορά των αντικειμένων μας – αντικείμενο
εδώ είναι εκείνο που διαπερνά, μορφοποιείται, αλυσώνεται στον μηχανισμό
απεικόνισης. Θα χρησιμοποιήσουμε ένα κατάλογο πεπερασμένων ή απείρων
γραμμάτων – αριθμήσιμο – όπως : α, β, γ, … α΄, β΄, γ΄, …, θα τα καλέσουμε
ατομικές σταθερές.
β. Σαν ατομικές σταθερές στην σύνταξη ενός Μεθοδολογικού μοντέλου,
θεωρούμε ένα πεπερασμένο ή απεριόριστο αριθμό αρχιτεκτονικών – Μορφών
- αντικειμένων. Εδώ «αντικείμενο» δεν είναι τίποτε άλλο παρά αυτό που
αλυσώνεται, μορφοποιείται διαπερνά τον μηχανισμό απεικόνισης. Δηλώνουμε
τις διαφορές.
γ. Θα δηλώσουμε σαν ιδιότητες των αντικειμένων τις κατηγορίες της Μορφής,
οι οποίες μπορούν σ΄ ένα προγενέστερο ιστορικό και εμπειρικό στάδιο να
αναλυθούν σε ν - αριθμό. Οι σταθερές αυτές (P, Q, R, … M1, M2, … Mν) είναι
σύνολα επί μέρους κατηγοριών, υποδεέστερων ή συστατικών της γενικής
κατηγορίας τους. Σε μια δομή μπορούμε να πούμε ότι κάθε κατηγορία της
Γενικής Μορφής αποτελείται από ένα σύστημα υποδομών που την
προσδιορίζουν. Έτσι στην Κατασκευαστικά αναγκαία Μορφή το υλικό ή το
σύστημα κατασκευής αναλύονται σε επί μέρους μορφοποιητικά αντικείμενα
(π.χ. φυσικό υλικό, τρόπος λάξευσης, μορφές που επιβάλλει το υλικό,
εργαλεία κατεργασίας, εργατική δύναμη). Είναι χαρακτηριστικό ότι δύο ή
περισσότερες επί μέρους υποδομές κατηγορημάτων μπορούν να αλληλο -
καλύπτονται ή να ταυτίζονται.
Γενικώτερα, είναι η ίδια περίπτωση σαν να λέμε: «Είναι άθροισμα του χ και
του ψ και του ω και του … και του … κ.τ.λ. Δηλαδή Q(χ,ψ,ω, …).
Η γενική μορφή της κατασκευής της εννοίας μοντέλο δεν διαφέρει ουσιωδώς
από μια τέτοια κατασκευή.
δ. Θα δηλώσουμε την γενικότητα της περιοχής των αντικειμένων. Αυτό
σημαίνει πως πάντα υπάρχει μια θέση όπου οποιαδήποτε ατομική σταθερά
μπορεί να απεικονιστεί. Αυτά τα απροσδιόριστα σημεία μπορούν
ενδεχομένως να αντικατασταθούν από ατομικές σταθερές γι΄ αυτό θα τα
καλέσουμε ατομικές μεταβλητές ή μεταβλητές (χ,ψ,ω, …).
Είναι φανερό πως θα ρυθμίζουμε την παράσταση μιας σταθεράς ή μια
μεταβλητής, από ένα κατηγόρημα. Γι΄ αυτό θα χρησιμοποιούμε σημεία στίξης.
ε. Εισάγουμε τους ΛΟΓΙΚΟΥΣ δείκτες συναρμοσμένους μαζί με τα σύμβολα
σχέσεων.
Λογική του Γίγνεσθαι
Διαλεκτικές αντιθέσεις. – Διαλεκτική λογική –
1. <≡>. Σημαίνει ότι σε κάθε σταθερά ή κατηγόρημα της μιας πλευράς
αντιστοιχεί το τελείως αντίθετο της άλλης. Ή με άλλα λόγια είναι το μεν
καθολικό, ποιοτικό αντίθετο του άλλου, συνδέει διαλεκτικές ποιότητες, ή το
διαλεκτικώς αντίθετο.
Π.χ. P (χ) <≡> Q (ψ) : σε κάθε τιμή του χ αντιστοιχεί ψ τελείως ή ποιοτικά
αντίθετο.
2. <═> Σημαίνει ότι για μερικές σταθερές οι τιμές της μεταβλητής αντιστοιχούν
μερικές (απαριθμήσιμες) αντιθέσεις της άλλης. Ποσοτικός Δείκτης
3. <―> Σημαίνει ότι υπάρχει τουλάχιστον μία αντίθεση μεταξύ των δύο όρων
της αντίθεσης.
Ο διαλεκτικό δείκτης <≡> ονομάζεται ποιοτικός, ο δείκτης <=> ποσοτικός και
και <―>.
Θα λέμε ότι για P(χ) ═ P(ψ) ισχύει και P(χ) <═> P(ψ) ή P(χ) <―> P(ψ)
τουλάχιστον. Και για P(χ) <≡> P(ψ) συνεπάγεται P(χ) ═ P(ψ). (πλεονασμός).
Εάν P(χ) → P(ψ) τότε P(χ) <≡> P(ψ) και P(χ) <═> P(ψ) ή και P(χ) <―> P(ψ)
Εάν P(χ) ≡ P(ψ) τότε τουλάχιστον P(χ) <―> P(ψ) δεν υπάρχει ουδεμία αντίθε-
ση και P(χ) <≡> P(ψ) τότε τουλάχιστον P(χ) → P(ψ) δεν υπάρχει ουδεμία
ομοιότητα. Εάν P(χ) ═ P(ψ) τότε ή P(χ) <═> P(ψ) ή P(χ) <―> P(ψ)
τουλάχιστον και P(χ) <―> P(ψ) τότε ή P(χ) ═ P(ψ) ή P(χ) ← P(ψ)
τουλάχιστον.
Αξίωμα:
Έστω ΑΕ(Α1 - Α2 … Αν) και Β Ε(Β1 – Β2 … Βλ) δεχόμεθα ότι υπάρχει ένα
στοιχείο Αμ τουλάχιστον τοιούτον ώστε σ΄ ένα τουλάχιστον στοιχείο Βρ, να
ισχύει:
Ή Αμ → Βρ ή Αμ <―> Βρ (εάν τα σύνολα τέμνονται ).
Άλλως ισχύουν οι δείκτες του διαφορισμού :
Α≡Β ή Α <≡> Β (εάν τα σύνολα δεν τέμνονται)
Α═Β Α <═> Β
Α→Β Α <―> Β
Με βάση αυτό το αξίωμα οι παρακάτω εκφράσεις παύουν να αποτελούν
αοριστία : Εάν Α = Β και Β = Γ τότε Α → Γ (1)
ή Αμ<≡> Βρ ή Αμ <≡> Βρ
και ΑμΕ(Α1Α2) ΑμΕ(Α1Α2)
και ΒρΕ(Β1Β2) ΒρΕ(Β1Β2)
και (μ = 1,2, … ν) και (ρ=1,2, … λ)
ή (μ = 1,2, … ∞) και (ρ=1,2, … ∞)
Πρόσθεση αντιθέτων :
Α ≡ -Β ═> Α <≡> Β Αφαιρούμε ή δύο ισότητες υπαρξιακές ή δύο
ποιότητα
<―> Υπαρξιακός δείκτης (Υπάρχει μία πρώτη στοιχειώδης αντίθεση ή
υπάρχει μία και μόνον μία στοιχειώδης υπαρκτική αντίθεση ή ισότητα –
ομοιότητα. Μπορεί να αποκλείει ή όχι τους ποσοτικούς λογικούς δείκτες).
Με υπαρξιακούς δείκτες
Εάν Α ―> Β τότε Α <═> Β και ή Α = Β ή Α <═> Β ή
Εάν Α <≡> Β και Β <≡> Γ τότε και Α <≡> Γ. (Εάν το Β είναι ποιότητα και το Α
και το Γ ποιότητες ως προς Β είναι και μεταξύ τους ποιότητες. Π.χ. οι
ποιότητες της ιστορικής εξέλιξης).
Διάφοροι άλλοι τρόποι έκφρασης του αξιώματος :
Εάν Α ―> Β και Β ≡ Γ, τότε Α ―> Γ
Εάν Α <―> Β και Β <≡> Γ τότε Α <―> Γ
Α ≡ Β ή Α <≡> Β ═> Α ≡ -Β