production
Skip to Content

Log In

  1. University Home
  2. Catalogue of Courses
  3. Undergraduate
  4. 2019-2020
  5. Sixth Century Courses
  6. SX1518: Logic, Language, And Information

SX1518: LOGIC, LANGUAGE, AND INFORMATION (2019-2020)

Last modified: 28 Feb 2020 15:06


Course Overview

What makes an argument convincing? What gives our language meaning? Are there limits to reason? What are the laws of thought? 


Formal logic has proved itself an exceptionally powerful tool in contemporary philosophy, computer science, psychology, linguistics and mathematics.  This course will provide an introduction to the tools of formal logic including: the assessment of arguments; the symbolic representation of language; and the abstract representation of meaning. It will then apply these tools to topics in computer science.

Course Details

Study Type Undergraduate Level 1
Term Second Term Credit Points 15 credits (7.5 ECTS credits)
Campus Aberdeen Sustained Study No
Co-ordinators
  • Dr Stephan Torre

Qualification Prerequisites

  • Either Programme Level 1 or Programme Level 2

What courses & programmes must have been taken before this course?

  • Any Undergraduate Programme (Studied)

What other courses must be taken with this course?

None.

What courses cannot be taken with this course?

None.

Are there a limited number of places available?

No

Course Description

What makes an argument convincing? What gives our language meaning? Are there limits to reason? What are the laws of thought? 


Formal logic has proved itself an exceptionally powerful tool in contemporary philosophy, computer science, psychology, linguistics and mathematics.  This course will provide an introduction to the tools of formal logic including: the assessment of arguments; the symbolic representation of language; and the abstract representation of meaning. It will then apply these tools to topics in computer science.


Contact Teaching Time

Information on contact teaching time is available from the course guide.

Teaching Breakdown

More Information about Week Numbers


Details, including assessments, may be subject to change until 30 August 2024 for 1st term courses and 20 December 2024 for 2nd term courses.

Summative Assessments

Essay

Assessment Type Summative Weighting 40
Assessment Weeks Feedback Weeks

Look up Week Numbers

Feedback Word Count
Learning Outcomes
Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on MyAberdeen or with the Course Coordinator

Report: Group

Assessment Type Summative Weighting 40
Assessment Weeks Feedback Weeks

Look up Week Numbers

Feedback
Learning Outcomes
Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on MyAberdeen or with the Course Coordinator

Report: Individual

Assessment Type Summative Weighting 30
Assessment Weeks Feedback Weeks

Look up Week Numbers

Feedback
Learning Outcomes
Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on MyAberdeen or with the Course Coordinator

Formative Assessment

There are no assessments for this course.

Course Learning Outcomes

Knowledge LevelThinking SkillOutcome
Sorry, we don't have this information available just now. Please check the course guide on MyAberdeen or with the Course Coordinator
 

Compatibility Mode

We have detected that you are have compatibility mode enabled or are using an old version of Internet Explorer. You either need to switch off compatibility mode for this site or upgrade your browser.