lo'gik: klar, følgerigtig tankegang; filosofisk
delvidenskab. Logik betragtedes tidligere som en del af psykologien, men anvendes
nu oftest om den af Aristoteles grundlagte formelle logik. Denne har i det
seneste århundreder gennemgået en hurtig udvikling og er blevet en
grænsedisciplin mellem matematik og filosofi, ofte benævnt symbolsk eller matematisk
logik. Til logik i videre betydning regnes også studiet af videnskabernes
undersøgelses- og bevismetoder. Den formelle logik undersøger sætningers form,
bl.a. med den centrale opgave at fastlægge de principper hvorefter sætningers
sandhedsværdi i visse tilfælde kan fastslås alene på grundlag af deres logiske
form. En vigtig logisk opgave er endvidere fastlæggelsen af gyldige slutningsregler.
Den videnskab som undersøger de krav man må stille til logiske systemer kaldes
metalogik.
........................................................................................................................