Logo Université Laval Logo Université Laval
Accueil > Études > Cours > Logique symbolique I

Cours

PHI-2006 Logique symbolique I

3 crédits / 1er cycle

Session en cours

Période d'inscription

Session inactive

A20
Automne 2020
NRC : -
Le cours est non disponible à distance pour cette session.
E20
Été 2020
NRC : -
Le cours est non disponible à distance pour cette session.
H20
Hiver 2020
NRC : -
Le cours est non disponible à distance pour cette session.

Description

La logique formelle traite de la validité des inférences, abstraction faite de leur contenu. Ce cours a pour objectif de clarifier en quoi consiste une inférence valide, d'enseigner à l'étudiant comment traduire une langue naturelle en langage formel et de l'initier à quelques méthodes permettant de juger de la validité des inférences.

Responsables

Faculté : Philosophie

Courriel : fp@fp.ulaval.ca

Département :

Courriel :

Accès au site Web du cours (à partir du premier jour de la session)

Soutien technique

Centre de services en technologies de l'information et en pédagogie (CSTIP) du pavillon De-Koninck

Matériel didactique

Si vous devez vous procurer du matériel pour votre cours, celui-ci sera disponible à la librairie Coop Zone de 3 à 4 semaines avant le début de la session (plus tôt, c'est le matériel de la session précédente qui est annoncé). Des ouvrages peuvent être obligatoires et d'autres facultatifs.

Consultez la liste des ouvrages de votre cours (Coop Zone).

Consultez aussi le site Web du cours à partir du premier jour de la session.

Cette activité est contributoire dans

Certificat en philosophie (cours à option)