[L01] Wat is logica?

dus wat is logica? In het kort kunnen we logica definiëren als de studie van de principes van correct redeneren. Dit is een ruwe definitie, want hoe logica goed moet worden gedefinieerd is eigenlijk nogal een controversiële kwestie. Echter, voor het doel van deze tour, dachten we dat het nuttig zou zijn om u op zijn minst een ruw idee te geven over het onderwerp dat u gaat bestuderen. Dit is dus wat we zullen proberen te doen op deze pagina.

§1., Logica is niet de psychologie van redeneren

een ding dat je moet opmerken over deze definitie is dat logica zich bezighoudt met de principes van correct redeneren. Het bestuderen van de juiste principes van redeneren is niet hetzelfde als het bestuderen van de psychologie van redeneren. Logica is de eerste discipline, en het vertelt ons hoe we moeten redeneren als we correct willen redeneren. Of mensen deze regels van correct redeneren daadwerkelijk volgen is een empirische zaak, iets dat niet de zorg van de logica is.

de psychologie van het redeneren, aan de andere kant, is een empirische wetenschap., Het vertelt ons over de werkelijke redeneergewoonten van mensen, inclusief hun fouten. Een psycholoog die redeneren bestudeert zou geïnteresseerd kunnen zijn in hoe het vermogen van mensen om te redeneren varieert met de leeftijd. Maar dergelijke empirische feiten zijn niet van belang voor de logicus.

§2. De principes van logica

dus wat zijn deze principes van redeneren die deel uitmaken van logica? Er zijn veel van dergelijke principes, maar het belangrijkste (niet het enige) ding dat we bestuderen in de logica zijn principes die de geldigheid van argumenten – of bepaalde conclusies volgen uit een aantal bepaalde veronderstellingen., Denk bijvoorbeeld aan de volgende drie argumenten :

deze drie argumenten zijn duidelijk goede argumenten in de zin dat hun conclusies uit de veronderstellingen voortvloeien. Als de veronderstellingen van het argument waar zijn, moet de conclusie van het argument ook waar zijn. Een logicus zal ons vertellen dat het allemaal gevallen zijn van een bepaalde vorm van argument die bekend staat als “modus ponens” :

Als P, Dan Q. P. daarom, Q.

zullen we later opnieuw de geldigheid bespreken. Er zij op gewezen dat logica niet alleen betrekking heeft op de geldigheid van argumenten., Logica bestudeert ook consistentie, en logische waarheden, en eigenschappen van logische systemen zoals volledigheid en degelijkheid. Maar we zullen zien dat deze andere begrippen ook sterk gerelateerd zijn aan het begrip validiteit.

§3. Onderwerpneutraliteit

Modus ponens kan worden gebruikt om twee kenmerken te illustreren over de regels van het opnieuw instellen in logica. Het eerste kenmerk is itstopic-neutraliteit. Zoals de vier voorbeelden suggereren, kan modus ponens worden gebruikt in het redeneren over diverse onderwerpen. Dit geldt voor alle principes van het redeneren in de logica., De wetten van de biologie kunnen waar zijnalleen van levende wezens, en de wetten van de economie zijn alleen toepasbaar op collecties van agenten die zich bezighouden met financiële transacties. Maar de principes van de logica zijn universele principes die algemener zijn dan biologie en economie. Dit is gedeeltelijk wat wordt geïmpliceerd in de volgende definities van logica door twee zeer beroemde logici:

… de naam van een discipline die de interpretatie van de begrippen die alle wetenschappen gemeen hebben, analyseert en de algemene wetten vaststelt die deze begrippen beheersen.,

§4. Noodzaak in de logica

een tweede kenmerk van de principes van de logica is dat ze niet-voorwaardelijk zijn, in die zin dat ze niet afhankelijk zijn van bijzondere toevallige kenmerken van de wereld., Natuurkunde en de andere empirische wetenschappen onderzoeken hoe de wereld eigenlijk is.Natuurkundigen zouden ons kunnen vertellen dat geen signaal sneller kan reizen dan de lichtsnelheid, maar als de wetten van de fysica anders waren geweest, dan zou dit niet waar zijn geweest. Op dezelfde manier zouden biologen kunnen bestuderen hoe dolfijnen met elkaar communiceren, maar als de evolutie anders was geweest, dan hadden dolfijnen misschien niet bestaan. Dus de theorieën in de empirische wetenschappen zijn afhankelijk in de zin dat ze anders hadden kunnen zijn., De principes van de logica,aan de andere kant, worden afgeleid door alleen redeneren, en hun validiteit niet afhangen van eventuele toevallige kenmerken van de wereld.

bijvoorbeeld, logica vertelt ons dat elke verklaring van de vorm “IfP then P” noodzakelijkerwijs waar is. Dit is een principe van de tweede soort dat logicische studie. Dit principe vertelt ons dat een uitspraak als “als het regent, dan regent het” waar moet zijn. We kunnen gemakkelijk zien dat dit inderdaad het geval is, of het nu regent of niet.,Bovendien, zelfs als de wetten van de fysica of weerpatronen zouden veranderen, zal deze uitspraak waar blijven. Zo zeggen we dat wetenschappelijke waarheden (wiskunde terzijde) voorwaardelijk zijn, terwijl logische waarheden noodzakelijk zijn. Opnieuw laat dit zien hoe logica verschilt van de empirische wetenschappen zoals natuurkunde, scheikunde of biologie.

§5. Formele en informele logica

soms wordt een onderscheid gemaakt tussen informele logica en formele logica.De term “informele logica” wordt vaak gebruikt om hetzelfde te betekenen ask-kritisch denken., Soms wordt het gebruikt om te verwijzen naar de studie vanreasoning en drogredenen in de context van het dagelijks leven. “Formele logica” houdt zich voornamelijk bezig met formele systemen van logica. Dit zijn speciaal geconstrueerde systemen voor het uitvoeren van bewijzen, waarbij de talen en regels van het redeneren nauwkeurig en zorgvuldig worden gedefinieerd. Sententiële logica (ook bekend als” propositionele logica”) en predicaat logica zijn beide voorbeelden van formele systemen van de logica.

Er zijn vele redenen om formele logica te bestuderen., Een daarvan is dat formallogic ons helpt patronen van goed redeneren en patronen van slecht redeneren te identificeren, zodat we weten welke te volgen en welke te vermijden. Dit is waarom studying basis formele logica kan helpen kritisch denken te verbeteren. Formalsystems van de logica worden ook gebruikt door taalkundigen om natuurlijke talen te bestuderen.Computerwetenschappers gebruiken ook formele systemen van logica in onderzoek met betrekking tot Aritiificial Intelligence. Tot slot willen veel filosofen ook formele logica gebruiken bij het omgaan met ingewikkelde filosofische problemen, om hun redenering explicieter en nauwkeuriger te maken.

§6., Verdere lezingen

• inzendingen over logicin The Stanford Encyclopedia of Philosophy. Dit zijn moeilijke artikelen over de filosofie van de logica.