Geeks With Blogs

News View Steve Michelotti's profile on LinkedIn

Mark Pearl UNISA COS 261 Formal Logic
Sound vs. Valid Argument
Today I spent some time reviewing my Formal Logic course for my up coming exam. I came across a section that I have never really explored in any proper depth… the difference between a valid argument and a sound argument. Here go some notes I made… What is an argument? In this case we are not referring to a verbal fight, but more what we call a set of premise followed by a conclusion. Before we go further we need to understand what a premise is… a premise is a statement that an argument claims will ......

Posted On Thursday, November 10, 2011 3:03 PM

Formal Logic 2 – Subject Summary Section A
Outcomes of the Section (Atomic Sentences) Understand the concept of formal first-order languages Know the syntax of FOL: predicate symbols, individual constants, function symbols. Get acquainted with examples of first-order languages: the blocks language, the language of arithmetic (Logic of Atomic Sentences) Understand logical validity of arguments Know how to show that arguments are valid Understand the basic properties of the identity predicate: reflexivity, principle of the substitutability ......

Posted On Tuesday, October 12, 2010 6:58 AM

COS261C Formal Logic 2 – Introduction and Exam Outline
Any ramblings and blog posts associated with the UNISA COS 261C tag should be considered study notes for my lectures... Today I managed to start my revision for my Unisa Formal Logic 2nd Year Subject. It has been more than a semester since I did the original work and I have less than 30 days before the actual exam. Below is an outline of the subject material as well as any exam related material for the subject. Outline of Subject There will be 2 sections to the subject… Propositional Logic Quantifiers ......

Posted On Saturday, October 2, 2010 1:32 PM

Copyright © MarkPearl | Powered by: