6 items | 1 visits
philosophy, logic, psychology, argumentation, syllogism, judgment, nonsense
Updated on Sep 17, 14
Created on Dec 17, 13
Category: Schools & Education
URL:
"We have over 100 online tutorials on different aspects of thinking skills. They are organized into modules listed below and in the menu above. Our tutorials are used by universities, community colleges, and high schools across the world. The tutorials are completely free and under a Creative Commons license.
This site is maintained by Dr. Joe Lau at the Philosophy Department, The University of Hong Kong."
"This Web site provides, through a range of materials and tools, an introduction to the study of elementary logic covering propositional and predicate calculus. It is aimed especially at first year undergraduates studying Philosophy at the University of Oxford, but it is hoped that the site may be useful more widely, for anyone who would like to investigate the subject.
The materials are structured as a series of eight detailed tutorials, which introduce the main concepts and definitions together with examples and exercises. The tutorials start with the notions of consistency and validity, and proceed to introduce a language and system of proof for propositional logic and for predicate logic. They include a tutorial on designators and a tutorial on relations. The language and system of proof (by means of tableaux, i.e. trees) are those to be found in W. Hodges, Logic, 2nd edition (Penguin, 2001).
Within each tutorial topics have been arranged sequentially, care being taken to provide a reasonable amount of information per page so that study can be undertaken step by step. The site is also designed to aid quick navigation so that relevant materials can be quickly reached from various locations. For instance, there is always available in the lefthand frame a link to an A-Z index, which lists most of the terms covered in the tutorials, and links each to relevant sections of the text.
A special feature of this site is Tableau3, a program to enable students to practise doing tableau (i.e. tree) proofs for propositional and predicate logic. Tableau3 is similar in functionality to a much earlier program, Tableau2, but is written in Java (rather than DOS), and so can run on most computer setups, either over the Web or on a local machine
-------------------------
The Logic Web project has been directed by Hugh Rice at the Faculty of Philosophy.
This site has been developed by the Academic Computing Development Team"
6 items | 1 visits
philosophy, logic, psychology, argumentation, syllogism, judgment, nonsense
Updated on Sep 17, 14
Created on Dec 17, 13
Category: Schools & Education
URL: