Language, Proof and Logic

Provided by:
10/10 stars
based on  14 reviews
Provided by:
Cost FREE
Start Date TBA

Course Details

Cost

FREE

Upcoming Schedule

  • TBA

Course Provider

Stanford Online online courses
Stanford Lagunita offers a variety of professional education opportunities in conjunction with many of the University’s schools and departments. We also offer an array of free online courses taught by Stanford faculty to lifelong learners worldwide. We foster collaboration with other education organizations by sharing course material, data-driven research, and source code for enhancements to our open-source platform Stanford Lagunita. We continually experiment to improve what we do throu...
Stanford Lagunita offers a variety of professional education opportunities in conjunction with many of the University’s schools and departments. We also offer an array of free online courses taught by Stanford faculty to lifelong learners worldwide. We foster collaboration with other education organizations by sharing course material, data-driven research, and source code for enhancements to our open-source platform Stanford Lagunita. We continually experiment to improve what we do through creative use of technology, and we share what we learn with the rest of the world.

Provider Subject Specialization
Sciences & Technology
393 reviews

Course Description

The ability to reason is fundamental to human beings. Whatever the discipline or discourse it is important to be able to distinguish correct reasoning from incorrect reasoning. The consequences of incorrect reasoning can be minor, like getting lost on the way to a birthday party, or more significant, for example launching nuclear missiles at a flock of ducks, or permanently losing contact with a space craft.

The fundamental question that we will address in this course is "when does one statement necessarily follow from another" --- or in the terminology of the course, "when is one statement a logical consequence of another". This is an issue of some importance, since an answer to the question would allow us to examine an argument presented in a blog, for example, and to decide whether it really demonstrates the truth of the conclusion of the argument. Our own reasoning might also improve, since we would also be able to analyze our o...

The ability to reason is fundamental to human beings. Whatever the discipline or discourse it is important to be able to distinguish correct reasoning from incorrect reasoning. The consequences of incorrect reasoning can be minor, like getting lost on the way to a birthday party, or more significant, for example launching nuclear missiles at a flock of ducks, or permanently losing contact with a space craft.

The fundamental question that we will address in this course is "when does one statement necessarily follow from another" --- or in the terminology of the course, "when is one statement a logical consequence of another". This is an issue of some importance, since an answer to the question would allow us to examine an argument presented in a blog, for example, and to decide whether it really demonstrates the truth of the conclusion of the argument. Our own reasoning might also improve, since we would also be able to analyze our own arguments to see whether they really do demonstrate their conclusions.

In this course you will be introduced to the concepts and techniques used in logic. We will start right from the beginning, assuming no prior exposure to this or similar material, and progress through discussions of the proof and model theories of propositional and first-order logic.

We will proceed by giving a theory of truth, and of logical consequence, based on a formal language called FOL (the language of First-Order Logic). We adopt a formal language for making statements, since natural languages (like English, for example) are far too vague and ambiguous for us to analyze sufficiently. Armed with the formal language, we will be able to model the notions of truth, proof and consequence, among others.

While logic is technical in nature, the key concepts in the course will be developed by considering natural English statements, and we will focus the relationships between such statements and their FOL counterparts. The goal of the course is to show how natural English statements and arguments can be formalized and analyzed.

Reviews 10/10 stars
14 Reviews for Language, Proof and Logic

Ratings details

  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars

Rankings are based on a provider's overall CourseTalk score, which takes into account both average rating and number of ratings. Stars round to the nearest half.

Sort By
Student profile image
Student profile image

Student

8/10 starsCompleted
4 years ago
I was expecting to learn more about how the principles of formal logic can be applied to real-life situations and arguments, but it really focused on the symbolic and formal logic. I mostly enjoyed the course though. Maybe in the future, there could be a partner class where arguments/fallacious arguments from real life and why they are valid/invalid is explored more.
Was this review helpful? Yes2
 Flag
Germain Fruteau profile image
Germain Fruteau profile image
10/10 starsCompleted
  • 1 review
  • 1 completed
2 years, 8 months ago
The instructors are outstanding. The material is laid out very professionally. Pertinent questions in-between well-dosed videos help anchor the concepts, explanations for every wrong and correct answer being provided as a matter of course. The softwares that accompany the course are just amazing and are such a great help in doing in the exercises and thus mastering the material. Finally, even though it can take a few days and this is normal given the long run of the course (several years), questions on the forum get answers from the staff and other students. I'm very happy to have found that course.
Was this review helpful? Yes0
 Flag
Frank Hale profile image
Frank Hale profile image
10/10 starsCompleted
  • 1 review
  • 1 completed
3 years, 4 months ago
Fantastic course which I recommend to all my students and friends. I first studied logic using Copi's "Symbolic Logic" back in 1976, and studied more logic through college, and worked applying logic in computational research. Now retired, I am teaching part time and I will recommend this course to anyone seeking a basic knowledge of logic. I particularly enjoyed the use of the Fitch and Tarski's World software, and the reliable and speedy feedback of the Submit program. The entire experience was excellent!
Was this review helpful? Yes0
 Flag
Student profile image
Student profile image

Student

10/10 starsTaking Now
4 years ago
Didnt know quite what to expect bot can clearly see the value of first order logic. The exercises are challenging but this is probably why solving some is satisfying. I think it is hard for a beginner to evaluate things because you may not know enough to evaluate what you are doing. Despite my ignorance I feel a very positive assessment is appropriate.
Was this review helpful? Yes1
 Flag
Omar Samir profile image
Omar Samir profile image
10/10 starsTaking Now
  • 3 reviews
  • 2 completed
4 years ago
I really wanted to learn about what's logic, what is proof. I had no idea whatsoever about logic or First Order Language. This course was the perfect entry to all of this, and even more. I felt my ideas - even in normal life situations - became more organized, more meaningful. Thank you very much for this opportunity.
Was this review helpful? Yes0
 Flag
Silviya Angelova profile image
Silviya Angelova profile image
10/10 starsTaking Now
  • 1 review
  • 0 completed
4 years ago
I expected to practice logic and to improve some of my skills. In the past I had difficulties constructing truth tables but after taking the short version of the course I'm doing just fine. The conjunction, disjunction and negation are my new best friends and I'm really happy about it. Anyway, I'll try to get to the end of the long course as well for new levels of improvement.
Was this review helpful? Yes0
 Flag
Sean McCusker profile image
Sean McCusker profile image
10/10 starsTaking Now
  • 1 review
  • 0 completed
4 years ago
Well improve my problem solving skills and this course did just that I am very happy taking this course. I hope and wish that there be more sessions for this course in the future.
Was this review helpful? Yes0
 Flag
Alex Diaz profile image
Alex Diaz profile image
10/10 starsCompleted
  • 1 review
  • 1 completed
4 years ago
I didn't really know what First Order Logic was before I began the course, so I didn't expect much. I liked the tools that the software package provided and the videos the instructors created to accompany the text. The only thing I would consider improving is including more examples or breakdowns of concepts, although there were usually at least one or two examples provided for each concept, but looking back I probably should have asked more questions on the community forum.
Was this review helpful? Yes0
 Flag
Alexander Polomodov profile image
Alexander Polomodov profile image
10/10 starsCompleted
  • 2 reviews
  • 2 completed
4 years ago
I expect to improve my understanding of first order predicate logic. And I got it. The learning process in this course seems to me like playing very interesting game. In my opinion this is the best compliment to the team of people that created this course. Thank you.
Was this review helpful? Yes0
 Flag
Student profile image
Student profile image

Student

10/10 starsDropped
4 years ago
I expect to learn more about FOL and how your software worked. I liked the instructors, the software, the program. I disliked the fact that due to travels and work I couldn´t follow up all the course. I hope you guys can do it again next year. I would improve the quality of the video. I mean, since in my country we don´t get a good internet conexion, I would like to have the chance to change the resolution of the video to both high and low.
Was this review helpful? Yes0
 Flag
Student profile image
Student profile image

Student

10/10 starsDropped
4 years ago
I really loved this course. The instructors were great, the material, exercises and tools were equally as good. I was honestly surprised that I was beginning to understand a subject that I have had no exposure to. And, I was enjoying it! Due to no fault of the instructors I was unable to complete the course, simply had life get in the way. But I would like to take it again. Thanks John and Dave!
Was this review helpful? Yes0
 Flag
Matheus A. Ferreira profile image
Matheus A. Ferreira profile image
10/10 starsCompleted
  • 1 review
  • 1 completed
4 years ago
This is the best of what's around.
Was this review helpful? Yes0
 Flag
DesperateForTruth profile image
DesperateForTruth profile image
10/10 starsCompleted
  • 1 review
  • 1 completed
4 years, 1 month ago
This is a model for how to do a MOOC. Instructors are awesome and friendly. Videos are very helpful and explanatory. The other course materials(book/software package) are flawlessly put together.
Was this review helpful? Yes0
 Flag
Rob Michaels profile image
Rob Michaels profile image
10/10 starsTaking Now
  • 1 review
  • 0 completed
4 years, 1 month ago
The only disappointment for me has been the lack of activity in the Discussion Forums. Although the staff answer questions there seems to be very little student activity. Overall I liked the online platform better than Coursera's but the latter has more active discussion forums.
Was this review helpful? Yes0
 Flag

Rating Details


  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars
  • 5 stars
  • 4 stars
  • 3 stars
  • 2 stars
  • 1 stars

Rankings are based on a provider's overall CourseTalk score, which takes into account both average rating and number of ratings. Stars round to the nearest half.