NOVUM TRIVIUM

RATIO STUDIORUM

LOGICA CLASSICAseuINDUCTIO INLOGICAM ELEMENTICIAMEJUSQUE HISTORIAM

Cursus a Gualterio Redmond apud Collegium Sancti Thomae Mori, Arce Vorthensi in Texia, S.F.A., semestre autumnali, anno MMVIII oblatus

Proposita cursus:

Meta praecipua: logicam hodiernam (calculum functionalem) tradere, eamque ad ejus historiam ordinare

Discipulus, cursu finito:* probationes formales perficere poterit in logica classica (necnon in syllogistica traditionali)* elementa linguae naturalis in signa logicalia vertere poterit* assuescet quoque nomenclaturae logicae, hodiernae ac scholasticae

Proposita adventicia. Insuper, discipulus:* fundamine fruetur solido pro studiis superioribus (in philosophia, theologia, in ipsa logica...)* historica logicae lineamenta cognoscet* modos intelliget quibus auctores (imprimis philosophi et theologi) logicam adhibuerunt* logicam structuram agnoscet in sermone naturali repertam * instrumentum validum possidebit quo critice cogitet, difficultates enodet, cum aliis efficaciter communicet* logicam computatri operationem comprehendet

Docendi ratio:* Magister, suo opusculo Logica Hodierna ac Traditionalis/ Inductio in Logicam Classicam studenti ante tradito, praelectiones Latine habebit* Exercitia perficienda sunt; omnia dubia in sessionibus resolventur* Expedit crebras quaestiunculas dari ut discipulus progressionem metiatur

SYLLABUS

CLASSICAL LOGIC

AN INTRODUCTION TO ELEMENTARY LOGICAND ITS HISTORY

Walter RedmondCollege of St. Thomas MoreFort Worth, Texas, U.S.A.Fall, 2008

Course objectives:

Major goal: teach current elementary logic (the functional calculus) and relate it to its history

By the end of the course the student should:* be able to work formal proofs in classical logic (including the traditional syllogistic)* be able to translate aspects of ordinary language into logical symbolism* be familiar with current and scholastic logical vocabulary

Secondary goals: the student will also:* have a solid basis for more advanced courses (in philosophy, theology, logic...)* know how logic has developed in the past* understand how thinkers (especially philosophers and theologians) have put logic to use* be able to identify the logical structure of ordinary language* have a powerful tool to think critically, solve problems, and communicate effectively* understand how computers function on the basis of logic

Instruction:* Students will have copies of Logica Hodierna ac Traditionalis/ Inductio in Logicam Classicam, written by the professer; lectures will be in Latin* The student should complete exercises; all problems will be solved in class* Frequent quizzes may be given to help the student measure progress

Redmond Ratio/ Syllabus, Logica 2

Notatio: Labor studentis secundum consuetudinem Collegii notabitur

Praesentia in scholis: Particeps omnibus sessionibus intererit, ad horam veniens

Nota de lingua Latina* Discipuli Latinum magis magis in dies intelligent; magister semper promptus erit auxilio dando extra sessiones* Magister haud expectat ut participes Latine calleant, eos tamen hortatur ut loqui conentur

Index materiae

0. Prooemium de logica, ratiocinio, philosophica communicatione1. LOGICA ELEMENTICIA1.0 Propositiones1.1 Logica propositionum1.11 Symbola et consilia strategica1.12 Regulae propositionales* Regulae fundamentales* Aequivalentiae Ockhami (“D.M.”)* Aliquot regulae derivatae1.13 Demonstratio tabularia1.2 Logica praedicatorum (quantificatio)1.21 Propositiones simplices* Res earumque attributa* Praedicationes et identitates1.22 Quantores* Symbola* Conjunctio extensioque quantorum* Propositiones compositae et generales* Exsistentia expressa1.23 Regulae praedicativae* Usus subordinum generalium* Quattuor regulae* Aequivalentiae Sherwood (“D.M.”)1.24 Logica scholastica* Syllogistica Aristotelico-scholastica* Conversio1.3 Logica identitatis* Identitas atque esse* Axioma et regula identitatis1.4 Scholasticum systema extensionale2. EXTENSIONES LOGICAE* Logica modalis* Logica epistemica4. HISTORIA LOGICAEAPPENDICES: signa logicalia; regulae logicales

Grading: The work of the student will be evaluated according to the custom of the College

Policy on attendance: The student is expected to attend all classes and arrive on time

Note on Latin* Comprehension of spoken Latin will quickly improve over time; the professor will always be available for help outside of class* Students of course are not expected to be able to speak Latin, but they are urged to try

Topical course outline

0. Preface: logic, argument, and philosophical communication1. ELEMENTARY LOGIC1.0 Propositions1.1 Propositional logic1.11 Symbols and strategy1.12 Propositional rules* Basic rules* Ockham (“D.M.”) equivalences* Some derived rules1.13 Tabulation method1.2 Predicate logic (quantification)1.21 Atomic propositions* Things and their attributes* Predications and identities1.22 Quantifiers* Symbols* Combination and range of quantifiers* Molecular and general propositions * Expressing existence1.23 Predicative rules* The use of general subproofs* Four rules* Sherwood (“D.M.”) equivalences1.24 Scholastic logic* The syllogistic* Conversion1.3 The logic of identity* Identity and being* The axiom and rule of identity1.4 Scholastic extensional logic2. EXTENSIONS OF LOGIC* Modal logic* Epistemic logic4. THE HISTORY OF LOGICAPPENDICES: logical signs; rules of logic