Overzicht van deze website (sitemap
)
Language symbols.
•  : English version.
•  : Nederlandse versie.
•  : Version française.
•  : Versão em português.
[Not all pages and images linked to have been as yet translated to English -
but we are working on it .. ]
• Snel helder advies
- bij keuzeproblemen.
•
voor inzicht, inspiratie en ontwikkeling.
•
Steunend, verhelderend, opbouwend.
• Gericht op zelfinzicht en persoonlijke kwaliteiten
.
•
- o.m. reïntegratie-begeleiding.
• - m.b.t. functioneren van werknemers.
• - voor werknemers en voor managers.
• .
• .
 Inhoud
• Vraag vrijblijvend informatie over de mogelijkheden
voor uw wensen en situatie.
Achtergrondteksten - over diverse Topics
Arc of
Essentials ©
Body of knowledge
Arc of
Essentials
© is een geïntegreerde tool-box voor een optimale aanpak
van complexe taken en problemen. Dit systeem bestaat uit modellen en methoden voor informatieverwerking en oordeelsvorming
op vrijwel elk gebied. Inzichtgevend, betrouwbaar en ontworpen voor praktische toepassingen.
English version.
[Not all pages and images linked to have been as yet translated to English -
but we are working on it ..]
Arc of
Essentials ©
Body of knowledge
Arc of
Essentials
© is an integrated toolbox for optimal managing
of complex tasks and problems. This system consists of models and methods for information processing and judgment
in almost all areas. Insightful, reliable and designed for practical purposes.
Domein Psychologie
Topics m.b.t. 'Resultaatgerichte Psychologie' ©
.
Topics m.b.t. 'Psychologie van de Subjectieve Beleving'
©.
• Psychische Factoren
• Psychisch Proces
• Psychische Inhouden
• [In revisie]
(·) ' Niveau's in Psychisch Functioneren'
(·) Processen van Leren en veranderen
(·) Syllabus bij het vak ' Psychologie van de Subjectieve Beleving' ©
.
1994, C.P. van der Velde, Den Haag/ Stichting Psycho-Sociale Opleidingen, Utrecht.
Inhoudsopgave
I: Inleiding..
II: Een Psychologie op menselijke maat.
III: Subjectiviteit in de Westerse wetenschap.
IV: Beschikbare alternatieven voor de Westerse psychologie.
VI: Basisuitgangspunten van een volwaardig mensbeeld.
VII: Methode voor de studie van subjectieve beleving.
VIII: Modelvorming: Kennis, informatie en objectiviteit.
IX: Communicatie als methode voor kennisvergaring.
X: Bouw van de psyche.
XI: Een 'Tien Factoren Model' van het menselijk functioneren.
XII: De structuur van psychische processen.
XIII: Leren en veranderen.
XIV: Enkele implicaties.
XVI: Psychisch dysfunctioneren.
XVII: Doelgerichte therapie en persoonlijke ontwikkeling.
XVIII: Spirituele psychologie.
Bijlagen.
Bijlage A: Beperkingen van menselijke kennis en oordeelsvorming.
Bijlage B: Literatuuropgave.
Bijlage C: Schema's/ handouts.
• Bronnen / literatuur.
Topics m.b.t. Subjectief Bewustzijn
• Theorie van het Subjectief Bewustzijn ©.
• Manuscript 'Theorie van het Subjectief Bewustzijn' ©.
• Bronnen / literatuur.
Domein Logica
Topics m.b.t. 'Praktische Logica' ©
.
Topics m.b.t. Kennis, Informatie en Modelvorming ©
.
Topics m.b.t. Expert-systeem.
(·) Objectief instrument voor inzicht en advies.
Topics m.b.t. formele logica.
• Formele logica.
• Logische systemen.
(·) Introductie Propositielogica
(PPL). Redeneren met elementaire beweringen.
(·) Introductie Predikatenlogica
(PDL). Redeneren over individuen en categorieën.
(·) Introductie Predikatenlogica (PPL) - Inhoudsopgave
.
(·) Introductie Predikatenlogica (PDL) - Deel I - IIa, H.1 -3
. Opbouw van de predikatenlogica. Basiswetten.
(·) Introductie Predikatenlogica (PDL) - Deel IIb, H.4. Semantiek voor
Predikatenlogica.
(·) Introductie Predikatenlogica (PDL) - Deel III, H.5 -7.
Syntactische verandering: transformaties onder parafrase/ Equivalentie.
(·) Introductie Predikatenlogica (PDL) - Deel IV, H.8 -10.
Parafrase reducties.
(·) Introductie Predikatenlogica (PDL) - Deel IVb, H.11.
Substitutie in de Predikatenlogica.
(·) Introductie Predikatenlogica (PDL) - Deel V, H.12. Semantische
argument-reductie, geldig - vanuit term.
(·) Introductie Predikatenlogica (PDL) - Deel Vb, H.13. Kwantorverplaatsing
: Kwantor-volgorde verandering (ongelijkwaardig).
(·) Introductie Predikatenlogica (PDL) - Deel VI, H.14 .. 14.2.1
. Argument-unificatie/ Kwantor-samenvoeging (QJ); Algemene regels; Idem Binnen één Literaal.
(·) Introductie Predikatenlogica (PDL) - Deel VIb, H.14.2.2
. Argument-unificatie/ Kwantor-samenvoeging; In Conjunctie.
(·) Introductie Predikatenlogica (PDL) - Deel VIc, H.14.2.3
. Argument-unificatie/ Kwantor-samenvoeging; In Disjunctie.
(·) Introductie Predikatenlogica (PDL) - Deel VId, H.15.
Argument-differentiatie/ Kwantor-splitsing (QS); geldig - vanuit term.
(·) Introductie Predikatenlogica (PDL) - Deel VIe, H.16. Modus Ponens
.
(·) Introductie Predikatenlogica (PDL) - Deel VIf, H.17. Syllogisme
.
(·) Introductie Predikatenlogica (PDL) - Deel VIg, H.18 -19
. Kwantor-bewerkingen; met semantische expansie. Idem met logische contradictie.
• Bewijsvoering in de logica.
• Logische creativiteit.
• Formele logica: Bronnen / literatuur.
Topics m.b.t. meta-logica.
• Logische criteria.
• Combinatorische explosie.
• Bewezen grenzen van de logica.
(·) Meta-logica: Beperkingen van formele systemen. De logica erkent haar eigen grenzen ..
(met bespreking van B. Russell, K. Gödel, A. Church, A. Turing, e.a.).
Inhoudsopgave
(·) Meta-logica: Het Onvolledigheidsbewijs van Kurt Gödel
.
Inhoudsopgave
(·) Meta-logica: Beslisbaarheid. Het bewijs van Turing.
Inhoudsopgave
(·) Meta-logica: Criteria in formele logica volgens metalogische bewijzen (overzicht).
Criteria van de Formele Logica: mogelijkheden en grenzen van formele logische systemen.
Inhoudsopgave
I. Syntactische criteria I.
Syntax.
I.1. Logisch structuurniveau
Syntactische structuur van wff formules in PDL-I.
(1) Samenstelling van een wff, CNF formule S0.
(2) Structuur van recursieve elementen.
I.2. Afleidbaarheid.
(1) Definitie: van 'Afleidbaarheid' (derivability).
(2) Een derivatie
(3) Definitie van: een theorie.
(4) Afleidbaarheid (deducibility) in diverse formele systemen.
(5) Deductieve afsluiting (Deductive closure).
(6) Universele afsluiting (Universal closure).
(7) Wetten/Regels m.b.t. Afleidbaarheid.
(7.1) Afleidbaarheid en relevantie.
(7.2) Afleidbaarheid en geldigheid.
(7.3) Afleidbaarheid en equivalentie.
(7.4) Afleidbaarheid en logische kracht.
I.3. Bewijsbaarheid.
(1) Definitie. van 'Bewijsbaarheid' (provability):
(2) Definitie. van 'Bewijs'.
(3) Definitie: van 'Theorema bewijs'.
Principe van bewijs door 'weerlegging van het tegendeel'.
( Reductio ad absurdum).
I.4. Consistentie.
(1) Definitie: van 'Consistentie' in deductieve logica.
(2) Kenmerken / vereisten van consistentie.
(3) Wetten/ Regels m.b.t. consistentie.
(4) Enkele implicaties.
(5) 'Gesloten onder afleidbaarheid'.
(6) Theorema.
(7) Deelverzamelingen van (in)consistente verzamelingen.
(8) Consistentie en vervulbaarheid.
I.5. Inconsistentie.
Afleidbaarheid van contradictie.
(1) Definitie: van 'Inconsistentie'.
(2) Theorema m.b.t. inconsistentie.
I.6. Maximaal consistentie (MCS).
(1) Maximaal consistentie van een verzameling.
(2) Kenmerken / vereisten voor Maximaal consistentie.
II. Semantische criteria I.
II.1. Waarheid.
(1) Definitie: van 'waarheid'.
(2) Denotatie (decodering).
(3) Valuatie.
(4) Interpretatie.
II.2. Interpretatie in formele systemen.
(1) Hoofdcomponenten voor Interpretatie in PDL-I.
(2) Structuren en bedelingen voor logische systemen.
(3) Aanwijsfunctie (naming map).
(4) Denotatie in F-OL.
II.3. Waarheidswaarden toekennen aan L! [l1]-formules in een L! [l1]-structuur.
(1) Basis Definitie Semantiek - voor vervullen van formules in Eerst-orde logica.
(2) Definitie van waarheidswaarden via interpretaties.
(3) Model.
(4) Definitie van Valuatie, Denotatie en Waarheidswaarde in F-OL.
(4a) Substitutie in valuaties.
(4b) Valuatie van termen.
(4c) Identiteitsrelaties tussen termen..
(4d) Valuatie van atomaire formules.
(4e) Valuatie van connectief-relaties.
II.4. Definieerbaarheid
(1) Definitie van definieerbaarheid.
III. Logisch meta-niveau I
III.1. Vervulbaarheid.
(1) Definitie: van 'Vervulbaarheid' (satisfiability, (sterke) consistentie).
(2) Vervulbaarheid in diverse formele systemen.
(3) Wetten/Regels m.b.t. Vervulbaarheid.
III.2. Onvervulbaarheid:
(1) Definitie: van 'Onvervulbaarheid' (contradictie).
(2) Onvervulbaarheid in diverse systemen.
(3) Wetten/Regels m.b.t. Onvervulbaarheid.
III.3. Geldigheid ( validiteit).
(1) Definitie. van ' Geldigheid'.
(2) Geldigheid in verschillende formele systemen.
(3) Wetten/Regels m.b.t. Algemene geldigheid.
(3.1) Geldigheid van atomaire formules.
(3.2) Geldigheid van literalen.
(3.3) Geldigheid van complexe formules.
III.4. Ongeldigheid.
(1) Definitie: van 'Ongeldigheid' (non sequitur [nonseq]).
III.5. Logisch gevolg.
(1) Definitie: van 'Logisch gevolg'.
(2) Wetten/Regels m.b.t. Logisch gevolg.
(2.1) Logisch gevolg en implicatie.
(2.2) Logisch gevolg en geldigheid.
(2.3) Logisch gevolg en equivalentie.
(2.4) Logisch gevolg en lidmaatschap.
III.6. Contingentie.
(1) Definitie: van 'Contingentie' (onbeslistheid).
IV. Relaties tussen Semantische en Syntactische criteria [1].
IV.1. kenmerken van een hintikka verzameling (in eerste-orde).
(1) Definitie: van een Hintikka verzameling.
(2) Kenmerken / vereisten voor een Hintikka verzameling.
(2.1) Condities voor atomaire formules.
(2.2) Condities voor literalen.
(2.3) Condities voor complexe formules.
(2.4) Condities voor gekwantificeerde formules.
(2.5) Condities voor Identiteit tussen termexpressies.
(2.6) Condities voor Identiteit tussen Predikaatexpressies.
(3) Hintikka's Lemma voor propositielogica.
(4) Hintikka's Lemma voor predikatenlogica / eerste-orde logica.
Het Vervulbaarheidslemma voor predikatenlogica / eerste-orde logica:
IV.2. De vervulling van een Hintikka verzameling.
(1) In de Eerste-orde logica..
(2) Satisfiability Lemma, Vervulbaarheidslemma.
(2.I) Deel I van bewijs vervulbaarheidslemma.
(2.II) Deel II Bewijs Vervulbaarheidslemma.
(1) In geval Atoom, predicatie.
(2) In geval Negatie.
(3) In geval Conjunctie, Disjunctie, Implicatie.
(4) In geval Kwantoren.
V. Verzamelingenleer.
V.1. Formele Theorie van de Verzamelingen.
( Formal Set Theory).
Formele regels van ZF.
(I) Eerste orde logica.
(II) ZF axioma's.
Gebruikte symbolen.
Definities.
Axioma's.
(1) Existentie axioma.
(2) Extensionaliteit axioma.
(C1, ZF1: Axiom of Extensionality, Extensionalitätsaxiom).
(3) Comprehensie axioma.
(C2: Comprehension axiom, Naives Komprehensionsaxiom).
(3.1) Axioma van Afsplitsing (of Afzondering).
(4) Nul verzameling axioma, axioma van de lege verzameling..
( ZF2: Empty set Axiom, Axiom of Empty set).
(4.1) Geïmpliceerd door {ZF1, ZF2}:
Er bestaat slechts één, unieke lege verzameling.
(4.2) Singleton axioma.
(4.3) Elke niet-lege verzameling is zelf deel(verzameling) van een verzameling.
(5) Axioma van (ongeordende) paren.
(C22, ZF3: Pairing axiom, Axiom of Pairing, Paarmengenaxiom).
(5.1) Geïmpliceerd door {ZF1, ZF3}:
Voor elke verzameling bestaat een paar-verzameling.
(6) Axioma van vereniging.
(C23, ZF4: the Union axiom, Axiom of Union, Vereinigungsmengenaxiom).
(6.1) Geïmpliceerd door {ZF1, ZF4}:
'Er bestaat voor elke verzameling X slechts één, unieke vereniging-verzameling'.
(7) Machtsverzameling axioma.
(C24, ZF5: Power-set axiom, Axiom of Power Set Potenzmengenaxiom).
(7.1) Geïmpliceerd door {ZF1, ZF5}:
'Er bestaat voor elke verzameling X slechts één, unieke machtsverzameling'.
(8) Substitutie axioma.
(C25, ZF6: Replacement axiom schema, Axiom Scheme of Replacement, Ersetzungsschema).
(9) Oneindigheids axioma.
(C26, ZF7: Axiom of infinity, Unendlichkeitsaxiom).
(10) Axioma van Onderbouwing.
(C3, ZF8: Axiom of Foundation, Axiom of Regularity, Fundierungsaxiom).
(10.1) Geen verzameling heeft zichzelf als element.
'Er is geen X die deel(verzameling) van zichzelf is'.
(10.2) Als Y een deelverzameling is van X, dan geldt dit nooit omgekeerd.
'Als welke X ook deel(verzameling) is van Y, dan niet omgekeerd':
(11) Keuze-axioma.
V.2. Omvang van verzamelingen, kardinaliteit
(1) Gebruikte symbolen.
(2) Niveau's van kardinaliteit.
(3) Niveau's van 'oneindigheid'.
(4) Regels over kardinaliteiten.
(5) Cartesisch product..
(5a) Productverzameling..
(5b) Oneindig product..
(5c) Produktverzameling van Oneindig product..
(5d) Relaties over een verzameling..
V.3. Verzamelingenleer en formele logica.
(1) Gebruikte symbolen.
(2) De signatuur van een structuur.
(3) Kardinaliteiten van talen.
(4) Interpretatie en kardinaliteit.
V.4. Isomorfie en Elementair equivalentie
(1) Isomorfie.
(2) Elementair equivalentie.
(3) Isomorfie en elementaire equivalentie.
VI. Relaties tussen Semantische en Syntactische criteria [2].
VI.1. Vervulbaarheid en Consistentie.
(1) Vervulbaarheid garandeert Consistentie.
(1a) Consistentie van vervulbare formules, algemeen (d.i. in PPL).
(1b) Consistentie van vervulbare verzamelingen, algemeen (d.i. in PPL).
(1c) Consistentie van vervulbare verzamelingen, in PDL-I, bovendien.
(1sub) Uitbreidingen van deze relatie zijn.
(1sub.1) Gödel's Volledigheidsstelling voor PDL-I.
'Geldigheid garandeert Bewijsbaarheid'.
(2) Consistentie garandeert Vervulbaarheid.
Fundamenteel theorema,
Consistentiestelling.
Model Existentie Theorema, Model Existence Theorem.
(2a) Consistentiestelling voor formules, algemeen (d.i. in PPL).
(2b) Consistentiestelling voor verzamelingen, algemeen (d.i. in PPL).
(2c) Consistentiestelling voor verzamelingen, in PDL-I, bovendien.
(2sub) Uitbreidingen van deze relatie zijn.
(2sub.1) Correctheidstelling, Soundness Theorem.
Afleidbaarheid garandeert Logisch Gevolg.
Definitie. van ' Correctheid' in formele logica.
Correctheid van een systeem.
(1a) Correctheid voor formules, algemeen (d.i. in PPL).
(1b) Correctheid voor verzamelingen, algemeen (d.i. in PPL).
(1c) Correctheid voor verzamelingen, in PDL-I.
(Zie verder elders).
(2sub.2) Compactheid.
(Zie verder elders).
ad VI.1. (1).
(ad 1) Vervulbaarheid garandeert Consistentie.
Bewijs.
VI.2. Consistentie en Vervulbaarheid.
(ad 2) Consistentie garandeert Vervulbaarheid.
Fundamenteel theorema,
Consistentiestelling.
Bewijs.
Consistentiestelling voor verzamelingen, in PDL-I.
(1) Keuze van de verzameling formules.
VI.2.1. [1] Beschouw een verzameling welgevormde formules die zeker consistent is.
VI.2.2. [2] Beschouw de grootst mogelijke consistente verzameling formules.
(1) Maximale lengte van een willekeurige formule (tekenreeks).
(1.1) Mogelijke lengte: aftelbaar oneindig.
(1.2) Maximum lengte aftelbaar oneindig.
(2) Maximaal aantal mogelijke formules (tekenreeksen).
(2.1) Aantal basiselementen (symbolen).
(a) Alfabet: Verzamelingen met logische (basis)symbolen.
(b) Vocabulaire: Verzamelingen met niet-logische symbolen.
(2.2) Maximale variatie in een tekenreeks.
(2.3) Maximale aantal tekenreeksen van maximale lengte met één symbool.
(2.4) Maximale aantal tekenreeksen van maximale lengte met variatie over alle symbolen.
(3) Maximale lengte van een welgevormde formule.
(3.1) Maxiumum lengte: eindig.
(3.2) Maxiumum lengte, ongeacht variatie: eindig.
(4) Maximaal aantal welgevormde formules.
(4.1) Beschouw de totale verzameling welgevormde formules met optimale reductie van redundantie.
(a) Conjunct-normaal vorm (CNF).
(b) Negatief normaal vorm (NNF).
(c) Doublure reductie.
(4.2) Bepaal de maximale omvang van de verzameling van welgevormde formules met optimale reductie van redundantie.
(1) Variatie van welgevormde formules (in CNF), conjuncties.
(2) Variatie van conjuncten, disjuncties.
(3) Variatie van disjuncten, literalen.
(4) Variatie van valenties.
(5) Variatie van atomen, proposities, predikaties, predikaat-argumentlijsten.
(6) Variatie van predikaat-argumenten, termen (variabelen, constanten, functies
).; functie-expressies, functie-argumentlijsten.
(7) Variatie van termen, etc..
(8) Recursie in functie-argumenten van term-vermeldingen.
(5) Grootst mogelijke consistente verzameling welgevormde formules.
(5.1) Samenstellen van de grootst mogelijke consistente verzameling welgevormde formules.
(5.2) De maximale omvang van de grootst mogelijke consistente verzameling welgevormde formules.
(5.3) De grootst mogelijke consistente verzameling welgevormde formules is maximaal consistent.
VI.2.3. [3] Beschouw de machtsverzameling van de grootst mogelijke consistente verzameling formules.
(1) Samenstellen van de verzameling met elke mogelijke consistente verzameling welgevormde formules.
(2) Deze machtsverzameling is consistent.
(3) Deze machtsverzameling is maximaal consistent.
VI.2.4. [4] Creëer een extensie van de syntactische taal nodig om de verzameling te
vervullen.
(1) Voldoen aan kenmerken van een Hintikka verzameling.
(2) Voldoen aan kenmerken van een Henkin extensie van de verzameling.
(3) Creëer een extensie van de syntactische taal met voldoende nieuwe, unieke constante-symbolen
.
VI.2.5. [5] Constructie van een zgn. Henkin versie (d.i. een Henkin afgeleide) van de verzameling.
(1) Constructie van de Henkin versie van de grootst mogelijke consistente verzameling formules.
.
VI.2.6. [6] Samenstellen van de machtsverzameling van de Henkin versie van de grootst mogelijke
consistente verzameling formules..
(1) Deze machtsverzameling is consistent.
(2) Deze machtsverzameling is maximaal consistent.
VI.2.7. [7] Toets de Henkin versie van de verzameling aan de vereisten voor het vervullen van
een willekeurige Hintikka verzameling.
(1) Bewijs dat de Henkin afgeleide van de verzameling een Hintikka verzameling is.
Corollary (afgeleide stelling).
(2) Bewijs dat elke Hintikka set vervulbaar is: dus ook elke maximaal consistente Henkin extensie.
Het (Hintikka) Satisfiability Lemma.
(3) Vervulling van de Hintikka verzameling.
VI.2.8. [8] Lever het bewijs.
VI.2.9. [9] Conclusie..
(2) Het vereiste semantisch bereik
(1) Maximale omvang van het Semantisch bereik.
(1.1) Componenten van de adequate (interpretatie-) structuren van de taal.
(1.2) Componenten van de logische matrix in de taal.
Logische mogelijkheden in informatie.
(1.2.1) Verzamelingen.
(1.2.2) Logisch systeem.
(1.2.3) Basisparameters.
(1.2.4) Combinatorische mogelijkheden.
(1) Volgordes.
(2) Lengte van elk waarheidswaardenpatroon.
(3) Maximaal aantal: van alle mogelijke logische relaties.
(2) Minimale omvang van het Semantisch bereik, vereist voor validatie van de maximale (machts)verzameling van elke consistente verzameling van
welgevormde formules.
(1) Selectie van Semantische structuur.
(2) Selectie van Syntactische structuur.
Set Extensies van L![l1].
Seriële extensie.
Talen.
Taal-extensie.
(1) 'Basis-taal'.
Lus per taal l..
(1) Extensie van taal.
Taal-extensie.
Levert eindresultaat.
(2) Set-extensie.
Verzamelingen.
(1) 'Basis-verzameling'.
(2) Set-extensie.
(2a) Set-definitie.
Levert eindresultaat.
(3) Samenstellen van de grootst mogelijke consistente verzameling formules.
Levert eindresultaat.
(3) Consistentie herstellen / waarborgen van [basisverzameling] [ L! [l1]_set *[l0,l=0] ]:
VI.3. Volledigheid
(a) Volledigheid van een systeem.
(b) Volledigheid van een verzameling.
(b.sub) Negatie-Volledigheid van een verzameling.
Negation-completeness.
Volledigheid in verschillende formele systemen.
(a) Volledigheid in PPL.
(b) Volledigheid in PDL-I.
Volledigheid van PDL-I.
Bewijs.
Eindige bewijzen.
VI.4. Onvolledigheid
(a) Onvolledigheid van een systeem.
(b) Onvolledigheid van een verzameling.
(c) De Onvolledigheid van de elementaire rekenkunde.
Het onvolledigheidsbewijs van Gödel.
Onvolledigheid van de elementaire rekenkunde.
Bewijs (naar Kurt Gödel, 1931).
(1) Het gebruikte tegenvoorbeeld in Gödel's bewijs.
(2) Waarheid van Gödel's zin.
(3) Een formele toetsing van Gödel's zin.
(4) Gödel's numerieke codering.
(5) Het verloop van het formele bewijs.
Conclusie.
VI.5. De relatie tussen Correctheid en Volledigheid.
VI.6. Eindig-vervulbaarheid van vervulbare verzamelingen.
Lemma's.
(1) Vervulbaar naar Eindig-vervulbaar.
Bewijs.
VI.7. Het Lemma van Lindenbaum.
Lemma van Lindenbaum.
Bewijs.
VI.8. Compactheid.
Compactheid theorema.
Compactheidstheorema.
Bewijs.
VI.9. Definieerbaarheid van verzamelingenleer via predikatenlogica.
(1) De verzamelingleer van Cantor.
Het Theorema van Cantor.
Bewijs.
(2) Een eerste barst in de verzamelingenleer: de Paradox van Russell.
Paradox van Russell.
Bewijs.
(3) De Löwenheim-Skolem theorema's.
(1) Upward Löwenheim-Skolem theorema.
(2) Downward Löwenheim-Skolem theorema.
(ad 1) Upward Löwenheim-Skolem theorema.
Bewijs.
(ad 2) Downward Löwenheim-Skolem-Tarski theorema.
Bewijs.
VII. Logisch meta-niveau II
VII.10. Beslisbaarheid:
Beslisbaarheid van een systeem.
(1) De onbeslisbaarheid van de predikatenlogica.
Hilbert's Entscheidungsproblem.
Voorbeeld van onbelisbare stelling in PDL.
(2) De onbeslisbaarheid van de elementaire rekenkunde.
Stelling van Church-Turing.
(1) Algoritme.
(2) Kenmerken van een algoritme.
(3) De Church-Turing these.
(4) Kenmerken van een beslisbaar algoritme.
(5) De verzameling deterministische algoritmen.
(6) Turing's aanpak van het Entscheidungsproblem.
Turing's bewijs voor de Onbeslisbaarheid van de elementaire rekenkunde.
Samenvatting.
(1) Wiskundige problemen.
(2) Procedures.
(3) Recursiviteit.
(4) Matrix.
(5) Eisen voor recursiviteit.
(6) Programma-als-invoer.
(7) Zelf-reflexieve toepassing.
(8) De diagonaal.
(I) Bewijs via transponatie van de diagonaal-rij.
(II) Bewijs via het complement van het berekenbare deel van de diagonaal.
(9) Conclusie van Turing's bewijs.
• Meta-logica: Bronnen / literatuur.
Domein Causaliteit
Topics m.b.t. Causale analyse.
Domein Taal & Communicatie
Topics m.b.t. 'Psychologische Taalanalyse' ©
.
• Methode 'Psychologische taalanalyse' ©.
• Afstudeeronderzoek Taalanalyse voor Psychodiagnostiek ©
.
• Onderzoeksproject 'Psychologische taalanalyse' ©.
• Manuscript 'Psychologische taalanalyse' ©.
Manuscript 'De Macht van taal' (1989-1993). Concept.
De Macht van Taal.
Theorie en methode van psychologische taalanalyse.
Auteur: C.P. van der Velde.
Inhoudsopgave
Deel I. De werking van taal en communicatie
1. Kennis, informatie en objectiviteit
2. Communicatie
3. Voordelen en functies van de taal
4. De invloed van ver-taling op informatie
5. Beïnvloeding van menselijk gedrag en psychisch functioneren
6. Beïnvloeding door communicatie: hoe werkt dat?
7. Taal voor doelgerichte beïnvloeding
8. Ethische aspecten van beïnvloeding
9. De interpretatie van taal
10. Taalkundige structuuranalyse
Deel II. Vreemde, verwarrende of misleidende vormen van taalgebruik
Hoofdcategorieën:
1. Begrijpelijkheid
2. Inhoudelijke aannemelijkheid
3. Redeneerwijze (afleidingsrelaties)
Deel III. Stap- voor- stap methode voor taalanalyse
Stap- voor- stap- handleiding (8 stappen)
Appendix (overzichtslijsten)
A. Kenmerken van elementaire beweringen
B. Taalkundige kenmerken van vooronderstellingen
C. Afleidingsrelaties: vormen van informatiecodering
D. Reconstructie van samenstelling en volgorde van redeneringen
a. Ordening naar tijd: fasen in het denkproces
b. Logische wetten voor redeneervolgorde
c. Sleutelwoorden voor afleidingsrelaties
1. Logische relaties
2. Chronologische relaties
3. Causale relaties
E. Hoofdkenmerken van de syntactische structuur
F. Hoofdkenmerken van de semantische structuur
G. Hoofdkenmerken van de logische structuur
Logische wetten: axioma's, tautologieën, theorema's
H. Checklist van kenmerken van onduidelijke, ongeloofwaardige of onlogische taaluitingen
I. Hoofdcriterium: Duidelijkheid
II. Hoofdcriterium: Aannemelijkheid
III. Hoofdcriterium: Afleidbaarheid/logische geldigheid
I. Overzicht van drogredenen
a. Controle van antecedens, premisse(n), argument(en) of conditie(s)
b. Controle van consequens, conclusie(s) of effect(en)
Literatuur
(·) Manuscript De Macht van Taal, Inhoud.
(·) Manuscript De Macht van Taal, Inleiding.
(·) Manuscript De Macht van Taal, Hoofdstuk 1.
(·) Manuscript De Macht van Taal, Hoofdstuk 2.
(·) Manuscript De Macht van Taal, Hoofdstuk 3.
(·) Manuscript De Macht van Taal, Hoofdstuk 4.
(·) Manuscript De Macht van Taal, Hoofdstuk 5.
(·) Manuscript De Macht van Taal, Hoofdstuk 6.
(·) Manuscript De Macht van Taal, Hoofdstuk 7.
(·) Manuscript De Macht van Taal, Hoofdstuk 8.
(·) Manuscript De Macht van Taal, Literatuur.
• Bronnen / literatuur.
Topics m.b.t. Communicatie.
Overzichten Literatuur
Topics m.b.t. 'Arc of Essentials'
©.
•
Domein Psychologie
(·) Literatuur / bibliografie Cognitieve Psychologie - en gerelateerde vakgebieden
.
( Cognitive Science, Neurofysiologie, Algemene Taalkunde, Semantiek, Informatietheorie, Logica, e.d.).
(tbv. manuscript 1994).
(·)
Literatuur / bibliografie Psychologie - Cognitie
(·) Literatuur / bibliografie Psychologie, Psychodiagnostiek, Psychologische Taalanalyse, Therapie-effectmeting
(short list).
(·) Literatuur / bibliografie Psychologie, Psychotherapie
(·) Literatuur / bibliografie Bewustzijnspsychologie
(short list).
Zie ook (uitgebreider):
(·) Literatuur / bibliografie Bewustzijnsfilosofie
.
•
Domein Logica
(·) Literatuur / bibliografie Informatie, Modelvorming en Kennis
(short list).
Zie ook (uitgebreider):
(·) Literatuur / bibliografie Informatietheorie
, Modelvorming, Kennistheorie, epistemologie.
(·) Literatuur / bibliografie Kennistheorie,
Postmodernisme, en Paradoxen.
(·) Literatuur / bibliografie Logica (short list
).
Zie ook (uitgebreider):
(·) Literatuur / bibliografie Logica, algemeen.
Formele logica, propositie en predikatenlogica.
(·) Literatuur / bibliografie Formele logica,
Resolutie.
(·) Literatuur / bibliografie Metalogica.
(·) Literatuur / bibliografie Kunstmatige Intelligentie (AI),
mechanical reasoning.
•
Domein Causaliteit
•
Domein Taal & communicatie
(·) Literatuur / bibliografie Sociale Psychologie, Communicatie, Cognitie en Semantiek
(·) Literatuur / bibliografie Psychologie, Semantiek, Taalwetenschappen, Taalanalyse
(short list).
(·) Literatuur / bibliografie Psychologische Taalanalyse
.
Onderwerpen, deelgebieden:
· (1) Literatuur / bibliografie Psychologie, Semantiek, Taalwetenschappen, Taalanalyse.
· (2) Literatuur / bibliografie Psychologie, Psychodiagnostiek, Psychologische Taalanalyse, Therapie-effectmeting.
· (3) Literatuur / bibliografie Sociale Psychologie, Communicatie, Cognitie en Semantiek.
· (4) Literatuur / bibliografie Interpersoonlijke beïnvloeding via communicatie en taal.
· (5) Literatuur / bibliografie Sociologie, politiek, (massa-)communicatie en taal.
· (6) Literatuur / bibliografie Dictatuur, repressie en fascisme via taal.
Overige Topics
|
Zie pagina's 
;){kind=link}