Logic and the Methodology of ScienceFormal LogicJuraj Simkojuraj.simko@ucd.ie

(Course on) Formal Logic(Apart from other things) a useful TOOL for mathematics, computing, linguistics, law, , and philosophyLanguage of formal logic: sentence, proposition, connective, belief, argument, form, truth, deduction, predicate, quantifier, model

Logic is the study of good reasoning, and in particular, of what makes good reasoning good.

(Course on) Formal Logic 0X & ()(X X ) & ()(Lim()&()(

(Course on) Formal LogicHistory? (Aristotle, Aquinas, Ockham, Leibniz, Frege, Russell, Wittgenstein, Gdel, Church, Quine, Tarski)Foundations? (Logic and Philosophy, Logic and Maths, Logic and Science, Where does the Logic come from?, Does God have to obey the rules of Logic?...)

Aim: Understanding of fundamental concepts and techniques of Logic

Course OutlinePropositional logicPropositions and argumentsConnectives and argument formsTruth tablesTrees?Natural deductionPredicate logicPredicates, names and quantifiersModels for predicate logic

ReferenceGreg Restall: Logic, An Introduction, Routledge, 2006

Richard C. Jeffrey: Formal Logic: Its Scope and Limits, McGraw-Hill, 1967Wilfrid Hodges: Logic, an Introduction to Elementary Logic, Penguin, 1997, 2001

http://people.hofstra.edu/faculty/Stefan_Waner/RealWorld/logic/logicintro.html