|
|
| Line 17: |
Line 17: |
| ===Link=== | | ===Link=== |
| A link to our course co-ordinator. [[User:Acam001|Ann Cameron]] | | A link to our course co-ordinator. [[User:Acam001|Ann Cameron]] |
|
| |
|
| |
| ===The Philosophy(Logic)===
| |
|
| |
| {{Main|Logic}}
| |
| Logic is the study of the principles of correct [[reasoning]]. [[Argument]]s use either deductive reasoning or inductive reasoning. [[Deductive reasoning]] is when, given certain statements (called [[premise]]s), other statements (called conclusions) are [[logical consequence|unavoidably implied]]. [[Rules of inference]]s from premises include the most popular method, [[modus ponens]], where given “A” and “If A then B”, then “B” must be concluded. A common convention for a deductive argument is the [[syllogism]]. An argument is termed [[validity|valid]] if its conclusion does indeed follow from its premises, whether the premises are true or not, while an argument is [[soundness|sound]] if its conclusion follows from premises that are true. [[Propositional logic]] uses premises that are [[proposition]]s, which are [[Statement (logic)|declarations]] that are either true or false, while [[predicate logic]] uses more complex premises called [[formula (mathematical logic)|formulae]] that contain [[Variable (math)|variable]]s. These can be assigned values or can be [[quantification|quantified]] as to when they apply with the [[universal quantifier]] (always apply) or the [[existential quantifier]] (applies at least once). [[Inductive reasoning]] makes conclusions or generalizations based on [[probabilistic reasoning]]. For example, if “90% of humans are right-handed” and “Joe is human” then “Joe is probably right-handed”. Fields in logic include [[mathematical logic]] (formal symbolic logic) and [[philosophical logic]].
| |
Revision as of 04:32, 21 March 2013
About myself
Hi. My name is Jason. My major is Computer science. Nice to meet you.
Classes This Semester
- COMPSCI 101
- COMPSCI 111
- MATHS 102
- STATS 101
My Interest
Link
A link to our course co-ordinator. Ann Cameron
