WEBVTT

00:00:09.910 --> 00:00:13.290 align:middle line:84%
We all have an interest in
working out what to believe.

00:00:13.290 --> 00:00:15.010 align:middle line:84%
We are often faced
with people trying

00:00:15.010 --> 00:00:17.830 align:middle line:84%
to make a case for a particular conclusion.

00:00:17.840 --> 00:00:20.020 align:middle line:84%
They lay out some claims that are

00:00:20.040 --> 00:00:22.650 align:middle line:84%
meant to support that
conclusion; suggesting,

00:00:22.650 --> 00:00:25.950 align:middle line:84%
in effect, that if you think
those claims are true, then

00:00:25.950 --> 00:00:28.510 align:middle line:84%
that gives you a reason to
believe that their conclusion

00:00:28.510 --> 00:00:29.520 align:middle line:90%
is true.

00:00:30.520 --> 00:00:35.010 align:middle line:84%
And frequently you'll
want to do that aswell:

00:00:35.010 --> 00:00:37.850 align:middle line:84%
make a case for something
you think is true by making

00:00:37.850 --> 00:00:41.390 align:middle line:84%
an argument: laying out starting
claims -- your premises --

00:00:41.390 --> 00:00:44.530 align:middle line:84%
which are meant to
support your conclusion.

00:00:44.530 --> 00:00:47.580 align:middle line:84%
A quick survey of
heated debates shows

00:00:47.580 --> 00:00:49.360 align:middle line:84%
that there is
disagreement not only

00:00:49.360 --> 00:00:52.440 align:middle line:84%
on the truth of the premises,
but also on whether they

00:00:52.440 --> 00:00:54.850 align:middle line:90%
support the conclusion or not.

00:00:54.850 --> 00:00:58.430 align:middle line:84%
It matters, then, whether
the truth of some premises

00:00:58.430 --> 00:01:01.560 align:middle line:84%
really is connected
in a positive way

00:01:01.560 --> 00:01:04.750 align:middle line:90%
with the truth of a conclusion.

00:01:04.750 --> 00:01:08.240 align:middle line:84%
It matters in politics,
the law, science,

00:01:08.240 --> 00:01:11.950 align:middle line:84%
computing in probing deep
fundamental questions,

00:01:11.950 --> 00:01:13.980 align:middle line:90%
and in everyday life.

00:01:13.980 --> 00:01:17.510 align:middle line:84%
Logic is the study
of those connections,

00:01:17.510 --> 00:01:21.050 align:middle line:84%
giving us the tools to find out
where the connections really

00:01:21.050 --> 00:01:22.880 align:middle line:90%
hold.

00:01:22.880 --> 00:01:25.920 align:middle line:84%
This course will introduce you
to a special kind of language

00:01:25.920 --> 00:01:29.780 align:middle line:84%
- a formal logical language
- in which all the words

00:01:29.780 --> 00:01:32.550 align:middle line:84%
and expressions are
precisely defined.

00:01:32.550 --> 00:01:37.060 align:middle line:84%
We'll explore with you how this
language can be used as a tool

00:01:37.060 --> 00:01:40.340 align:middle line:84%
to clarify and evaluate
arguments expressed

00:01:40.340 --> 00:01:42.470 align:middle line:90%
in everyday languages.

00:01:42.470 --> 00:01:46.090 align:middle line:84%
And we'll encounter some deep
and interesting questions

00:01:46.090 --> 00:01:51.580 align:middle line:84%
about truth, reasoning,
meaning, and language.

00:01:51.580 --> 00:01:54.470 align:middle line:84%
Join us here at the University
of York on the next step

00:01:54.470 --> 00:01:58.510 align:middle line:84%
in exploring Logic:
the Language of Truth.