Избранные работы
жүктеу/скачать 3,46 Mb. Pdf көрінісі
|
logic of scientific discovery
| соответствия фактам.
Мне хочется подчеркнуть именно этот почти тривиальный момент, так как, не- • смотря на свою тривиальность, он будет играть ключе- вую роль в моей последующей аргументации. В высокой степени интуитивный 'характер идей Тар- ского становится еще более очевидным (как я обнару- жил в процессе преподавания), если мы сначала явным образом признаем «истину» синонимом «соответствия •фактам», а затем (совершенно забыв об «истине») пе- рейдем к определению идеи соответствия фактам. Поэтому сначала мы рассмотрим следующие две •формулировки, каждая из которых очень просто уста- навливает (в метаязыке), при каких условиях опреде- ленное утверждение (объектного языка) соответствует фактам. (1) Высказывание (или утверждение) «Снег бел» соответствует фактам, если, и только если, снег действи- тельно бел. (2) Высказывание (или утверждение) «Трава крас- .ная» соответствует фактам, если, и только если, трава .действительно красная. Эти формулировки (в которых слово «действитель- но» употреблено только для облегчения понимания и может быть опущено) выглядят, конечно, совершенно тривиальными. Однако Тарскому удалось обнаружить, что, несмотря на свою видимую тривиальность, эти •формулировки содержат решение проблемы объяснения идеи соответствия фактам, то есть проблемы истины. Решающим является открытие Тарского, что для •того, чтобы говорить о соответствии фактам, как это сделано в (1) и (2), мы должны использовать метаязык, в котором можно говорить о двух, вещах: о высказыва- ниях и о фактах, к которым, относятся эти высказыва- ния. (Такой метаязык Тарский называет «семантичес- •ким»; метаязык, в котором можно говорить об объект- ном языке, но не о фактах, к которым он относится, 'Тарский называет «синтаксическим».) Как только была 338 осознана необходимость использования семантического» метаязыка, все стало ясным. (Заметим, что, в то время как высказывание (3) «"Джон закричал" истинно» при- надлежит к такому метаязыку, высказывание (4) «Истинно, что Джон закричал» может принадлежать то- му же языку, которому принадлежит высказывание «Джон закричал». Поэтому выражение «Истинно, что», которое, подобно двойному отрицанию, логически избы- точно, существенно отличается от металингвистического предиката «истинно». Последний необходим для утверж- дений, подобных таким, как «Если заключение неистин- но, то посылки не могут быть все истинными» или «Однажды Джон произнес истинное высказывание».) Несколько ранее я сказал, что теория Шлика была ошибочной, однако мне представляется, что те коммен- тарии, которые он высказал по поводу своей собственной теории (см. [37]), проливают некоторый свет и на тео- рию Тарского. Шлик отметил, что проблема истины жүктеу/скачать 3,46 Mb. Достарыңызбен бөлісу:
|