# Is logica iets voor jou?

In de module Logica krijg je met verschillende zaken te maken. Het vakgebied van de Logica bevindt zich op het snijvlak van Waarheidsvinding, Filosofie, Informatica, Artificiële Intelligentie, Techniek, Wiskunde en ... Puzzels!

Waarheidsvinding = Logica is de algemeen geaccepteerde manier om waarheid te achterhalen. In debatten, in de rechtsspraak. In debatten, in de rechtspraak, in de wetenschap.

Filosofie =Logica werd al gebruikt in de Klassieke Oudheid. Aristoteles (384-322 v. Chr) wordt algemeen beschouwd als de grondlegger van de Logica.

Informatica = Bij het programmeren van computers, en als je met Google werkt, maak je gebruik van NOT, AND en OR en andere connectieven. Deze taal komt uit de Logica.

Artificiële Intelligentie = Het logisch redenieren is grotendeels te automatiseren. Daardoor hebben we nu gecomputeriseerde psychiaters en andere hulpverlerens, die op basis van inputkenmerken een snelle en slimme zoektocht door grote databanken kunnen maken om vervolgens een diagnose te stellen.

Techniek = Electronische schakelingen lijken op voegwoorden. Daardoor kun je met Logische Schakelingen koppelingen aanbrengen tussen bijvoorbeeld sensoren.

Wiskunde = In de wiskunde wordt veel geredeneerd en worden eigenschappen van wiskundige objecten bewezen. De grondslagen van de wiskunde bouwen dus op Logica.

Puzzels = Hoe kun je het probleem van de Wolf-en-Geit logisch aanpakken? Allerlei puzzels vergen logische redeneerstappen en vaak kunnen puzzels met een systematische aanpak worden opgelost. Als je ook gaat nadenken over de strategieën van je tegenstander ("Ik denk dat jij denkt dat ik nu de zwarte pion kies.") dan kom je op het gebied van de Modale Logica.

Denk alvast eens na over de volgende problemen.

Vragen

Meer weten?

Als je na deze cursus meer wilt weten over Logica, dan kun je bijvoorbeeld op zoek gaan naar de volgende boeken:

- Logicomix. Geschreven door Apostolos Doxiadis en Christos Papadimitriou, Dit is een boek dat in stripvorm de beginperiode van de wiskundige logica beschrijft met Bertrand Russell (1872-1970) als hoofdpersoon. Van hem is de volgende paradox: scheert een barbier die alleen mensen scheert die zichzelf niet scheren, zichzelf, of niet?
- Gödel, Escher, Bach. Geschreven door Douglas Hofstadter. In het boek wordt uitgelegd wat de implicaties van het incompleetheidstheorema van Kurt Gödel zijn voor de wiskunde, het dagelijks leven en de kunstmatige intelligentie. Daarbij laat hij zich inspireren door regelmaat en formalismen die bij herhaling meer opleveren dan wat er schijnbaar staat. Hij gebruikt hierbij de tekeningen van de Nederlandse kunstenaar M.C. Escher en composities van Bach.
- What Is the Name of This Book? en andere boeken van Raymond Smullyan. Ze staan vol met logische raadsels van het type van de Prinses en de Tijger. Hier is er nog een: "Drie goden X, Y, en Z heten (in onbepaalde volgorde) Waar, Vals en Willekeur. Waar spreekt altijd de waarheid, Vals liegt altijd en Willekeur antwoordt willekeurig de waarheid of de leugen. De opdracht bestaat eruit om door drie ja/neen vragen te stellen exact de identiteiten van X, Y en Z te bepalen. Je mag kiezen aan welke god je elke vraag stelt en je mag meerdere vragen aan dezelfde god stellen. Een bijkomend probleem is dat de goden wel Nederlands verstaan, maar zelf niet kunnen spreken. Ze antwoorden met 'dah' en 'nah', maar vooraf is niet bekend welke 'ja' en welke 'neen' betekent."
- Logica in actie. Geschreven door Johan van Benthem voor studenten van de Open Universiteit. Zeer toegankelijk.

Bron: http://www.youtube.com/watch?v=At-YiIAtLC4

Terug naar home