Cursus / training:

Methode voor Logische Analyse


Principes van Formele logica .



Combinatorische explosie in Logische systemen



Inhoudsopgave


3.  Syntactische expansie.
3.1.  Hoofdvormen van redenering.
(1) Redeneervormen met symmetrisch hoofdconnectief: constellaties.
(2) Redeneervormen met asymmetrisch hoofdconnectief: afleidingen (derivaties).
3.2.  Bouwstenen (atomen).
3.2.1.  Formules.
3.2.2.  Redeneervormen.
3.3.  Samenhang (structuur).
(1) Inbeddingen (nestingvariaties).
(2) Expliciet weergeven van de inbeddingen.
(3) Opdelingen van de deelverzamelingen in subgroepen.
(4) Minimale verzameling geneste structuren.
4.   Syntactische variatie bij symmetrische (meerplaatsige) connectieven.
(4.1) Structuurvariatie bij symmetrische (meerplaatsige) connectieven.
(4.2) Valentievariatie bij symmetrische (meerplaatsige) connectieven.
(4.3) Volgordevariatie bij symmetrische (meerplaatsige) connectieven.
(4.4) Connectiefvariatie bij symmetrische (meerplaatsige) connectieven.
(4.5) Deelverzamelingen per lengte bij symmetrische (meerplaatsige) connectieven.
(4.6) Varianten in alle deelverzamelingen.
5.   Syntactische variatie bij symmetrische connectieven - tot diepteniveau twee.
(5.1) Structuurvariatie bij symmetrische connectieven, tot diepteniveau twee.
(5.2) Valentiervariatie bij symmetrische connectieven, tot diepteniveau twee.
(5.3) Volgordevariatie bij symmetrische connectieven, tot diepteniveau twee.
(5.4) Connectiefvariatie bij symmetrische connectieven, tot diepteniveau twee.
(5.5) Deelverzamelingen per lengte bij symmetrische connectieven, tot diepteniveau twee.
(5.6) Varianten in alle deelverzamelingen.
6.   Syntactische variatie bij asymmetrische ( binaire) connectieven.
(6.1) Structuurvariatie bij asymmetrische (binaire) connectieven.
(6.2) Valentievariatie bij asymmetrische (binaire) connectieven.
(6.3) Volgordevariatie bij asymmetrische (binaire) connectieven.
(6.4) Connectiefvariatie bij asymmetrische (binaire) connectieven.
(6.5) Deelverzamelingen per lengte bij asymmetrische ( binaire) connectieven.
(6.6) Varianten in alle deelverzamelingen.
7.   Conclusie aangaande syntactische expansie.

C.P. van der Velde © 2014, 2018.