Intro

# Coursera: Logic: Language and Information 1

with  Greg Restall and Jen Davoren
Internet of Things
University of Technology Sydney via Open Learning
Information is everywhere: in our words and our world, our thoughts and our theories, our devices and our databases. Logic is the study of that information: the features it has, how it’s represented, and how we can manipulate it. Learning logic helps you formulate and answer many different questions about information:

• Does this hypothesis clash with the evidence we have or is it consistent with the evidence?
• Is this argument watertight, or do we need to add more to make the conclusion to really follow from the premises?
• Do these two sentences say the same things in different ways, or do they say something subtly different?
• Does this information follow from what’s in this database, and what procedure could we use to get the answer quickly?
• Is there a more cost-effective design for this digital circuit? And how can we specify what the circuit is meant to do so we could check that this design does what we want?
These are questions about Logic. When you learn logic you'll learn to recognise patterns of information and the way it can be represented. These skills are used whether we're dealing with theories, databases, digital circuits, meaning in language, or mathematical reasoning, and they will be used in the future in ways we haven't yet imagined. Learning logic is a central part of learning to think well, and this course will help you learn logic and how you can apply it.

If you take this subject, you will learn how to use the core tools in logic: the idea of a formal language, which gives us a way to talk about logical structure; and we'll introduce and explain the central logical concepts such as consistency and validity; models; and proofs. But you won’t only learn concepts and tools. We will also explore how these techniques connect with issues in linguistics, computer science, electronic engineering, and philosophy.

## Syllabus

Week 1The Syntax of Propositional Logic; Truth Tables; Classifying Propositions

Week 2. Relationships between Propositions; Tree Proofs; Soundness and Completeness

Weeks 3–5. Applications to different reasoning domains (take at least two):
• Electronic Engineering — simplifying digital circuits
• Philosophy — vagueness and borderline cases
• Computer Science — databases, resolution and propositional Prolog
• Linguistics — meaning: implication vs implicature
8 Student
reviews
Cost Free Online Course (Audit)
Pace Finished
Provider Coursera
Language English
Certificates Certificate Available
Hours 6-8 hours a week
Calendar

Disclosure: To support our site, Class Central may be compensated by some course providers.

### Earn a Master's Degree Online

#### from

##### FAQ View All
What are MOOCs?
MOOCs stand for Massive Open Online Courses. These are free online courses from universities around the world (eg. Stanford Harvard MIT) offered to anyone with an internet connection.
How do I register?
To register for a course, click on "Go to Class" button on the course page. This will take you to the providers website where you can register for the course.
How do these MOOCs or free online courses work?
MOOCs are designed for an online audience, teaching primarily through short (5-20 min.) pre recorded video lectures, that you watch on weekly schedule when convenient for you.  They also have student discussion forums, homework/assignments, and online quizzes or exams.

## Reviews for Coursera's Logic: Language and Information 1 4.4 Based on 8 reviews

• 5 stars 50%
• 4 stars 38%
• 3 star 13%
• 2 star 0%
• 1 star 0%

Did you take this course? Share your experience with other students.

• 1
5.0 4 years ago
completed this course.
Having quite a lot of software development experience, I'm quite used to using logic. The material is well presented and fairly easy for my taste. The course notes act like an accompanying textbook and are well written with a few (not too many) exercises.

I did the first run of this course and there were a few hiccups in grading of the quizzes and the size of the images, but they sorted it out nicely.

I'm rather impressed by the quality of their first run, especially since they did not follow the usual MOOC way of doing things. They had the students explain about logic in the final exam and the peer assessment part of the course.

I didn't like the topic of proof trees which. Since it is an intermediate between truth tables and using a programming language or other tool, I found some of it very tedious and not informing.

I really liked the fact that I could choose one or more topics for the peer assessment part of the course. Philosoph
Having quite a lot of software development experience, I'm quite used to using logic. The material is well presented and fairly easy for my taste. The course notes act like an accompanying textbook and are well written with a few (not too many) exercises.

I did the first run of this course and there were a few hiccups in grading of the quizzes and the size of the images, but they sorted it out nicely.

I'm rather impressed by the quality of their first run, especially since they did not follow the usual MOOC way of doing things. They had the students explain about logic in the final exam and the peer assessment part of the course.

I didn't like the topic of proof trees which. Since it is an intermediate between truth tables and using a programming language or other tool, I found some of it very tedious and not informing.

I really liked the fact that I could choose one or more topics for the peer assessment part of the course. Philosophy (called vagueness) was interesting, but language was too vague for me. Digital circuits was easy and Prolog quite hard to get my head around.

I can really recommend this course.
4 people found
5.0 4 years ago
completed this course.
Anonymous from Singapore's comment about peer grading is incorrect, and it seems to based on a misunderstanding.

Yes, there is peer grading for some of the assessment of the subject, but it's only for a small component—the 20% final exam, and two optional 10% components. Most of the students who passed the subject did little or none of the peer assignments. (And those who did them found them helpful.)
5 people found
5.0 3 years ago
completed this course, spending 5 hours a week on it and found the course difficulty to be hard.
The instructors were superb. The materials and methods of quizzing reinforced the excellent instruction given in a fun manner. As a veteran of many MOOCs, I would consider this one to be in an elite class for how well it was put together.
4 people found
5.0 3 years ago
by completed this course.
1 person found
3.0 4 years ago
completed this course.
I was surprised to learn that most of the assignments are essays that are to be graded by peers. I have had bad experiences before with peer-grading (both giving and receiving) so I dropped the class as soon as I realized that. I can't really comment on the quality of the courseware.
0 person found
4.0 2 years ago
by completed this course.