What This Document Is
These are the lecture notes from Lesson One of Intro to Logic I (PHIL 110) at the University of South Carolina. The material introduces fundamental concepts in formal logic, setting the stage for the course’s exploration of reasoning and argumentation. It covers initial course logistics, required software setup, and a high-level overview of the field of logic itself, specifically focusing on the principles of deductive reasoning. The notes are designed to accompany the instructor’s presentation and provide a foundational understanding of the course’s core themes.
Why This Document Matters
This resource is essential for students beginning their study of logic. It’s particularly helpful for those who want to get a head start on understanding the course structure, required tools, and the basic definitions that will be used throughout the semester. Reviewing these notes *before* subsequent lectures will significantly improve comprehension and allow for more focused participation in class discussions. Students who find themselves struggling with the initial concepts of logical reasoning will benefit greatly from a careful review of this material.
Common Limitations or Challenges
These notes are a *supplement* to the live lecture and textbook readings; they are not a substitute for either. The notes provide an overview and key terms, but do not offer detailed explanations or worked examples of logical problems. They also assume a basic familiarity with academic course structures and software installation processes. Access to the course syllabus and required software is necessary to fully utilize the information presented.
What This Document Provides
* An overview of the course syllabus and schedule.
* Guidance on setting up required software and accessing course materials.
* A foundational definition of logic and its importance across various disciplines.
* An introduction to the concept of deductive inference and its distinction from other forms of reasoning.
* A preliminary look at the core principles of logical consequence and valid arguments.
* An initial glimpse into the formal language of First-Order Logic (FOL) and its application to logical problems.