Beskrivelse
En introduksjon til teknikkene og de filosofiske implikasjonene av formell logikk med vekt på oversettelse av uttrykk til symbolsk form, testing for logisk korrekthet, formulering og anvendelse av slutningsregler, og forholdet mellom logikk og språk. Åpen for førstekårsstudentene.
Vilkår og bestemmelser
- Forelesninger tre timer i uken. Veiledningsøkter kan tilbys i utvalgte terminer.
Referansetekst i originalspråket
An introduction to the techniques and philosophical implications of formal logic with emphasis on translation of expressions into symbolic form, testing for logical correctness, the formulation and application of rules of inference, and the relation between logic and language. Open to first-year students.
- Lectures three hours a week. Tutorials may be offered in selected terms.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/undergrad/courses/PHIL/