WEBVTT Kind: captions; Language: fi

1
00:00:00.000 --> 00:00:04.770
mulki esimerkki päättelyn muodon tunnistamisesta

2
00:00:04.770 --> 00:00:08.000
luonnollisen kielen tekstistä

3
00:00:08.000 --> 00:00:13.670
ohittaa että meillä on tiksi ja sitten pitäisi

4
00:00:13.670 --> 00:00:19.280
miettiä mahtaako teksti sisältää jonkin sellasen päättelyn muodon

5
00:00:19.280 --> 00:00:24.590
josta logiikan kurssilla on käsitelty onko päättely

6
00:00:24.590 --> 00:00:30.250
jonkun päättely säännön muotoinen esimerkiksi

7
00:00:30.250 --> 00:00:32.800
mä tässä on esimerkki

8
00:00:33.000 --> 00:00:35.550
tää selitystä

9
00:00:35.750 --> 00:00:42.440
ajatus on vakavasti otettava jos ajatuksen on esittänyt kuuluisa filosofi

10
00:00:42.440 --> 00:00:47.600
ajatusta kannattaa pohtia jos ajatus on vakavasti otettava siispä

11
00:00:47.600 --> 00:00:53.250
jos ajatuksena on esittänyt kuuluisan filosofin ajatusta kannattaa pohtia

12
00:00:53.250 --> 00:00:57.690
tässä päätelmän indikaattorina on siis sana

13
00:00:57.690 --> 00:01:01.250
ja ilmeisestikkin

14
00:01:01.250 --> 00:01:04.310
tämä edellyttää perustellut

15
00:01:04.500 --> 00:01:09.090
premissit ja sen jälkeen sitten johtopäätös

16
00:01:09.250 --> 00:01:14.170
no heti kärkeen voi huomata että

17
00:01:14.170 --> 00:01:19.250
tässä jonkunnäköisiä lauseita on esitetty

18
00:01:19.250 --> 00:01:25.000
siellä jos sana esiintyy johtopäätöksessä

19
00:01:25.000 --> 00:01:29.620
myöskin sitten tässä premisseistä johtopäätöksissä

20
00:01:29.620 --> 00:01:34.000
tosin jos sana

21
00:01:34.000 --> 00:01:35.530
pari

22
00:01:35.750 --> 00:01:40.340
on standardimuodossa logiikan näkökulmasta

23
00:01:40.500 --> 00:01:45.750
mutta sitten klassisen logiikan standardi

24
00:01:45.750 --> 00:01:50.340
mukaisesti tai sen vastaisesti premisseissä tuo ehto

25
00:01:50.340 --> 00:01:54.750
on jos sanan jälkeen

26
00:01:54.750 --> 00:01:58.320
ja nyt merkitään

27
00:01:58.500 --> 00:02:01.050
nämä jos pitää kiinni

28
00:02:01.250 --> 00:02:05.330
ilmaiset alle viitaten tähän

29
00:02:05.500 --> 00:02:08.050
esimerkkiin

30
00:02:08.250 --> 00:02:12.960
emme haluksi hahmoa siitä minkä

31
00:02:12.960 --> 00:02:17.250
lainen päätteli tämä voisi olla

32
00:02:17.250 --> 00:02:20.820
on hyvä etsiä

33
00:02:21.000 --> 00:02:26.220
sen logiikan lauselogiikan perus ilmaisujen

34
00:02:26.220 --> 00:02:31.000
luonnollisen kielen tavallisia vastineita

35
00:02:31.000 --> 00:02:38.500
tässä jos sana jää jos niitä kenne esiintyy

36
00:02:38.500 --> 00:02:43.330
hyvä on tarkistaa esiintyykö siellä muita ja

37
00:02:43.330 --> 00:02:48.490
tai jos ja vain jos negaatio

38
00:02:48.490 --> 00:02:52.840
ja niiden luonnollisen kielen kun vastineet

39
00:02:52.840 --> 00:02:57.310
on hyvä käydä läpi tässä kyseisessä esimerkissä

40
00:02:57.310 --> 00:03:01.900
ei kuitenkaan näytä näitä muita olevan joten emme niistä

41
00:03:01.900 --> 00:03:06.750
tässä sen enempää käyn läpi

42
00:03:06.750 --> 00:03:10.320
konnektiivien

43
00:03:10.500 --> 00:03:14.070
tunnistamisen jälkeen

44
00:03:14.250 --> 00:03:21.000
on hyvä miettiä minkälaisia osa lauseita

45
00:03:21.000 --> 00:03:25.890
esimerkissä esiintyy ja olen tässä nyt

46
00:03:25.890 --> 00:03:31.000
poiminut ja merkinnyt eri tavoin

47
00:03:31.000 --> 00:03:35.170
lauseita jotka päätelmässä on

48
00:03:35.170 --> 00:03:39.500
luettavissa ja

49
00:03:39.500 --> 00:03:44.090
ensiksi jos täältä poimii kursiivilla

50
00:03:44.250 --> 00:03:49.110
olevas lauseet ole merkitty kursiivilla

51
00:03:49.110 --> 00:03:54.250
lauseen ajatuksen on esittänyt kuuluisat filosofit

52
00:03:54.250 --> 00:03:58.870
se esiintyy kahdessa otteessa sekä tuolla ensimmäisessä lauseessa

53
00:03:58.870 --> 00:04:02.750
että konkluusiossa

54
00:04:02.750 --> 00:04:08.660
sinisellä ole merkinnyt lauseen ajatusta kannattaa pohtia

55
00:04:08.660 --> 00:04:14.250
se löytyy toisessa premississä

56
00:04:14.250 --> 00:04:16.800
ja konkluusiossa

57
00:04:17.000 --> 00:04:21.590
sitten vuokrattuna eli vahvennettuna

58
00:04:21.750 --> 00:04:26.490
lause ajatus on vakavasti otettava ensimmäisessä

59
00:04:26.490 --> 00:04:30.250
ja toisessa premississä

60
00:04:30.250 --> 00:04:34.510
ja muita ilmaisuja

61
00:04:34.510 --> 00:04:39.160
tässä ei löydy lukuun ottamatta aiemmin mainittua

62
00:04:39.160 --> 00:04:43.250
sihistä ilmaisua

63
00:04:43.250 --> 00:04:49.400
ja tämä on nyt sitten jo valmiiksi sikäli standardi muotoinen esimerkki

64
00:04:49.400 --> 00:04:54.750
että nämä kyseiset lauseet ovat

65
00:04:54.750 --> 00:04:59.310
eri ilmenemiskohdissaan hän identtisellä tavalla muotoiltuja

66
00:04:59.310 --> 00:05:02.750
arkikielisessä

67
00:05:02.750 --> 00:05:09.050
ja joskus tieteellisessäkin esityksessä sama lause voi olla hiukan eri

68
00:05:09.050 --> 00:05:15.250
sanoin ilmaistuna ja tällöin voi olla hiukan hankala tunnistaa

69
00:05:15.250 --> 00:05:19.120
telyä suoraan mutta tässä nyt on ajatus

70
00:05:19.120 --> 00:05:23.250
melko suoraviivaisesti esitetty

71
00:05:23.250 --> 00:05:28.470
no hiukan problemaattinen esimerkkitapaus on

72
00:05:28.470 --> 00:05:33.750
sikäli että tuo juos sana

73
00:05:33.750 --> 00:05:38.820
on teiniisseissä ei standardimuotoisessa

74
00:05:38.820 --> 00:05:42.250
muodossa joten kannattaa

75
00:05:42.250 --> 00:05:48.500
sen pohtiminen että voisiko on muotoilla

76
00:05:48.500 --> 00:05:53.870
suoraan standardimuotoon siten että jos niihin

77
00:05:53.870 --> 00:05:59.500
muotoisia lauseita olivat kaikki ehtolause

78
00:05:59.500 --> 00:06:05.250
ja on nyt sitten

79
00:06:05.250 --> 00:06:07.290
mustaolut

80
00:06:07.500 --> 00:06:11.070
tuon esimerkin uudestaan

81
00:06:11.250 --> 00:06:18.000
tänne cian alalaitaan ja muuttanut kunkin

82
00:06:18.000 --> 00:06:20.040
kun lauseen

83
00:06:20.250 --> 00:06:24.330
jos niil muotoiseksi

84
00:06:24.500 --> 00:06:29.300
ja ensimmäinen lause alkuperäisessä tekstissä

85
00:06:29.300 --> 00:06:33.500
on muotoa

86
00:06:33.500 --> 00:06:41.000
ajatus on vakavasti otettava jos ajatuksen on esittänyt kuuluisat filosofit

87
00:06:41.000 --> 00:06:46.910
ja sehän kääntyy muotoon juos ajatuksen on esittänyt

88
00:06:46.910 --> 00:06:52.500
kuuluisat filosofit niin ajatus on vakavasti otettavat

89
00:06:52.500 --> 00:06:57.210
tiiän puolivälin alapuolella astikään että tämä

90
00:06:57.210 --> 00:07:01.500
ehto jos seuraamus toisin päin

91
00:07:01.500 --> 00:07:07.800
sama on tehty sitten toiselle lauseelle alkuperäinen muotoilu ajatusta

92
00:07:07.800 --> 00:07:13.000
kannattaa pohtia myös ajatus on vakavasti otettava

93
00:07:13.000 --> 00:07:17.230
se tulee muotoon jos ajatus on vakavasti

94
00:07:17.230 --> 00:07:21.500
otettava niihin ajatusta kannattaa pohtia

95
00:07:21.500 --> 00:07:27.250
konkluusiolle ei tarvitsisi tehdä mitään tässä suhteessa on alun perinkin

96
00:07:27.250 --> 00:07:31.840
hän jos niin muotonen lause poistettuna täällä

97
00:07:32.000 --> 00:07:34.040
alalaidassa

98
00:07:34.250 --> 00:07:37.820
seuraava askel

99
00:07:38.000 --> 00:07:42.590
on miettiä mitä hän

100
00:07:42.750 --> 00:07:48.300
päättely muostoa tämä voisi muistuttaa

101
00:07:48.300 --> 00:07:53.640
siinä vaiheessa kun hän päätteli säännöt tavalliset

102
00:07:53.640 --> 00:07:59.160
päättelysäännöt ovat tuttuja niin tämän muodon

103
00:07:59.160 --> 00:08:04.500
voi tunnistaa melkeinpä automaattisesti

104
00:08:04.500 --> 00:08:09.750
opetteluvaiheessa mojoustoa tekemään

105
00:08:09.750 --> 00:08:16.000
hiukan aputyötä niistä muistiinpanoja siitä

106
00:08:16.000 --> 00:08:19.060
mitä muistoja

107
00:08:19.250 --> 00:08:23.840
argumentti tai päättely voi sisältää

108
00:08:24.000 --> 00:08:28.080
jaa

109
00:08:28.250 --> 00:08:31.820
yksi tapa on lähteä

110
00:08:32.000 --> 00:08:37.340
kääntämään luonnollisen kielen ilmaisut formalle kielelle

111
00:08:37.340 --> 00:08:42.500
siten että päätetään että mikä

112
00:08:42.500 --> 00:08:47.090
logiikan kielinen ilmaisu vastaa mitäkin

113
00:08:47.250 --> 00:08:48.780
hahaa

114
00:08:49.000 --> 00:08:54.040
luonnollisen kielen ilmaisua ja tässä nyt periaatteessa

115
00:08:54.040 --> 00:08:58.000
ei O- väliä että minkä kirjaimen

116
00:08:58.000 --> 00:09:05.500
sitten valitsee logiikan sanastosta vastaamaan luonnollisen kielen ilmaisua

117
00:09:05.500 --> 00:09:12.250
olen tässä nyt edennyt siten että olen nostanut ensimmäisen vastaan

118
00:09:12.250 --> 00:09:15.820
tulevan lauseen tästä päättelykokonaisuudesta

119
00:09:16.000 --> 00:09:21.340
toinen lause on jos ajatuksen on esittänyt kuuluisat filosofit niin ajatus on vakavasti

120
00:09:21.340 --> 00:09:26.110
otettava ja olen nyt sitten korvannut tämän ensinnä

121
00:09:26.110 --> 00:09:31.000
olevan ajatuksen on esittänyt kuuluisat filosofit

122
00:09:31.000 --> 00:09:35.080
taakka sen ensimmäisellä kirjaimella eli alhaalla

123
00:09:35.250 --> 00:09:41.010
sitten seuraava lause ajatus on vakavasti otettava

124
00:09:41.010 --> 00:09:46.250
sen olen sitten korvannut wiillä

125
00:09:46.250 --> 00:09:50.840
päättänyt että se korvataan logiikan ilmaisua

126
00:09:51.000 --> 00:09:57.390
ja seuraava uusi ilmaisu joka tulee vastaan

127
00:09:57.390 --> 00:10:03.500
on ajatusta kannattaa pohtia ja sen koneen sitten

128
00:10:03.500 --> 00:10:07.580
miekkinyt logiikan kielen ilmaisulla

129
00:10:07.750 --> 00:10:11.830
ja kun tarkistetaan

130
00:10:12.000 --> 00:10:17.750
esimerkki läpi niin joka ikinen ei looginen

131
00:10:17.750 --> 00:10:21.680
ajatus on saanut vastaavan

132
00:10:21.680 --> 00:10:25.750
logiikan kielisen symbooli

133
00:10:25.750 --> 00:10:31.540
meillä on kaikki välineet kääntää

134
00:10:31.540 --> 00:10:37.250
tämä esimerkki logiikan kielelle meillä on siellä

135
00:10:37.250 --> 00:10:42.890
kiviä haaveilla se vastaamassa tiettyjä lauseita ja sit sen lisäksi

136
00:10:42.890 --> 00:10:48.530
meillä on loogisia vakioita jos niihin ilmaisuja

137
00:10:48.530 --> 00:10:53.750
ja muita logiikan pakijoitahan tässä esimerkissä ei isiin

138
00:10:53.750 --> 00:10:58.010
ja kun sitten käännämme

139
00:10:58.010 --> 00:11:02.250
tämän logiikan kielelle niin saamme sitten

140
00:11:02.250 --> 00:11:05.820
ilmaisun

141
00:11:06.000 --> 00:11:13.500
jos ajatuksen on esittänyt kuuluisat filosofit niin ajatus on vakavasti otettava

142
00:11:13.500 --> 00:11:16.050
implikointiin

143
00:11:16.250 --> 00:11:22.500
toiseksi jos ajatus on vakavasti otettava miinajoista kannattaa pohtia

144
00:11:22.500 --> 00:11:28.680
coisseen ja sitten konkluusiona jos ajatuksen on esittänyt kuuluisat filosofit

145
00:11:28.680 --> 00:11:34.500
ajatusta kannattaa pohtia liikaa implikoi tissei

146
00:11:34.500 --> 00:11:37.560
tää nyt on aika olla mekaaninen

147
00:11:37.750 --> 00:11:39.790
täältä kannattaa

148
00:11:40.000 --> 00:11:44.080
yksinkertasesti huomata sen että

149
00:11:44.250 --> 00:11:50.000
ajatuksena estänyt kuuluisa filosofit se oli lause

150
00:11:50.000 --> 00:11:54.440
ja siinä jos niihin rakenteissa se on etuosa

151
00:11:54.440 --> 00:11:59.120
ja sit jälkiosa ajatusta kannattaa pohtia on se

152
00:11:59.120 --> 00:12:03.500
ja näin on sitten oppiin lause

153
00:12:03.500 --> 00:12:08.090
ilmaistu logiikankielisessä muodossa

154
00:12:08.250 --> 00:12:12.330
ja nyt sitte kun meillä on logiikankielinen muoto

155
00:12:12.500 --> 00:12:19.250
eksplisiittisesti isillä nivomme sitten mennä

156
00:12:19.250 --> 00:12:23.840
tarkastelemaan sitä että mitähän päättelyn

157
00:12:23.840 --> 00:12:28.250
muotoa juos mitään päättelymuoto

158
00:12:28.250 --> 00:12:31.310
vastaa tai johonka se soppii

159
00:12:31.500 --> 00:12:36.600
no kun käy kaavoja

160
00:12:36.600 --> 00:12:41.500
läpi päättelysääntö monisteesta

161
00:12:41.500 --> 00:12:44.050
ensimmäinen

162
00:12:44.250 --> 00:12:47.310
kaava jossa isiin kii

163
00:12:47.500 --> 00:12:51.580
kaksi implikaatiota

164
00:12:51.750 --> 00:12:55.830
tenisseissä

165
00:12:56.000 --> 00:12:59.570
konkluusiossa integraatio

166
00:12:59.750 --> 00:13:03.830
en tässä äsken saadessa muodossa

167
00:13:04.000 --> 00:13:09.520
näkyy ensimmäinen näistä on hipoteettinen

168
00:13:09.520 --> 00:13:15.000
syllogismit ja itseasiassa kauan monisteessa muita

169
00:13:15.000 --> 00:13:18.060
ei ole jossa näin

170
00:13:18.250 --> 00:13:22.960
tähän muotoon sopiva kaava

171
00:13:22.960 --> 00:13:27.750
olisi olemassa ja kun sitten tarkistetaan

172
00:13:27.750 --> 00:13:30.810
tyiskohtaisesti että vastakostoa

173
00:13:31.000 --> 00:13:38.500
saatu päättelyt tätä kaavaa sijoittamalla aan paikalle aina ääksi

174
00:13:38.500 --> 00:13:44.410
niissä esiintyi ensimmäisessä premississä implikaation etu

175
00:13:44.410 --> 00:13:50.500
osana ja sitten konkluusiossa implikaation essu etuosassa

176
00:13:50.500 --> 00:13:55.090
tähän tapaan

177
00:13:55.250 --> 00:13:58.820
kaavasta äksää

178
00:13:59.000 --> 00:14:00.530
ja kun

179
00:14:00.750 --> 00:14:06.000
ilimaisun

180
00:14:06.000 --> 00:14:08.550
korvaamme

181
00:14:08.750 --> 00:14:15.530
se missä se isiintyykään ensimmäisen premissin jälkiosa

182
00:14:15.530 --> 00:14:21.250
ja toisen premissi etuosa täsmälleen samassa järjestyksessä kuin kaavassa

183
00:14:21.250 --> 00:14:25.330
ihan Maisto ja sitten lopuksi se Eka

184
00:14:25.500 --> 00:14:30.120
nämä korvataan setalla niin huomaamme että

185
00:14:30.120 --> 00:14:34.680
tähtelyn kumota täydelleen vastaa hikoteettista syllogismia

186
00:14:34.680 --> 00:14:39.420
ja näin ollen voimme todeta että tämä kyseinen esimerkki on

187
00:14:39.420 --> 00:14:44.000
hypoteettisen silloin kismikaavan muodossa

188
00:14:44.000 --> 00:14:51.500
kun logiikan kieltä opettelee ja

189
00:14:51.500 --> 00:14:56.450
sitä tarkastelee luonnollisen kielen

190
00:14:56.450 --> 00:15:01.000
ilmaisuja vasten niin aluksi voi joutua tekemään

191
00:15:01.000 --> 00:15:04.570
aika tarkastikin tämän tyyppisiä

192
00:15:04.750 --> 00:15:10.630
vastaavuusko irstailuja kuten tässä ja se voi olla hyvinkin työläs mutta ennen

193
00:15:10.630 --> 00:15:16.250
pitkää nämä muodostui pystyy hahmottamaan

194
00:15:16.250 --> 00:15:19.310
kun automaattisesti

195
00:15:19.500 --> 00:15:25.750
kunnollisen kielen tekstistä riippuen toki siitä että miten hyvin se teksti

196
00:15:25.750 --> 00:15:28.300
muotoiltu miten

197
00:15:28.500 --> 00:15:33.750
loogisesti niin sanotusti se on muotoiltu