Traditionele, klassieke, en niet-klassieke logica's - Diverse soorten logica

4 belangrijke vragen over Traditionele, klassieke, en niet-klassieke logica's - Diverse soorten logica

Geef het schema van traditionele, klassieke en niet klassieke logica

                                       Logica


Traditionele              Symbolische                     Informele

Syllogistiek               Klassieke
                                     Propositielogica
                                     Predikatenlogica
                                     Klassenlogica
                                     Relatielogica

                                    Niet-klassieke
                                    
modale logica (aletisch)
                                     temporele logica (tijdslogica)
                                     epistemtische logica (geloven en weten)
                                     deontologische logica (normen)
                                     probabilistische logica
                                     intuïstionistische logica

Wat zijn de verschillen tussen klassieke en niet-klassieke logica?

Klassieke logica
  • extentioneel = waarheidsfunctioneel ==> waarheid wordt bepaald door de waarheidswaarden van de verschillende proposities: eenduidig waar of onwaar
  • extensioneel
  • (extentie)gelijke elementen zijn intersubstitueerbaar (de formule van een uitdrukking mag vervangen worden door een andere die dezelfde waarheidswaarde heeft.
  • Bivalentie: elke propositie is ofwel waar ofwel onwaar
Niet-klassieke logica  
  • intentioneel = niet-waarheidsfunctioneel ==> gezien modale operatoren   
  • (extensie)gelijke elementen zijn niet intersubstitueerbaar door onderscheid tussen 'geloven' en 'weten'
  • Meerwaardig ipv bivalent

Geef het onderscheid tussen de opvatting van de waarheidswaarde van uitspraken als 'de koning van Frankrijk is kaal' tussen B. Russel en P. Strawson.  Welke kritiek op de traditionele logica komt hier naar voren?

Russel stelt dat zo'n uitspraak een bewering inhoudt en daardoor onwaar is (er bestaat geen individu dat 'de koning van Frankrijk' kan genoemd worden en dat wordt volgens Russel mee veronderstelt)
Strawson stelt dat zo'n uitspraak geen echte bewering is (er wordt volgens hem enkel voorondersteld dat er zo'n individu bestaat) en daarom is de uitspraak noch waar noch onwaar


Kritiek op de traditionele logica:  de bivalentie oftewel het feit dat zij ervan uitgaat dat uitspraken altijd waar of onwaar moeten zijn.  Logische systemen moeten ook meerwaardig kunnen zijn.  Deze kritiek is semantisch van aard.
  • Hogere cijfers + sneller leren
  • Niets twee keer studeren
  • 100% zeker alles onthouden
Ontdek Study Smart

Wat is de probabilistische of waarschijnlijkheidslogica van o.a. Liekasiewicz?

Dat is een logisch systeem met meerwaardigheid als kenmerk .
De proposities kunnen meer dan 3 waarheidswaarden hebben: waarschijnlijkheidsaarde (0, 1/5, 1/4, 1/3, 1/2 ... 1)

De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:

  • Een unieke studie- en oefentool
  • Nooit meer iets twee keer studeren
  • Haal de cijfers waar je op hoopt
  • 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
Trustpilot-logo