Язык, онтология и реализм. Л. Б. Макеева
Чтение книги онлайн.
Читать онлайн книгу Язык, онтология и реализм - Л. Б. Макеева страница 37
Название: Язык, онтология и реализм
Автор: Л. Б. Макеева
Жанр: Философия
isbn: 978-5-7598-0802-2
isbn:
35
В принципе, согласно Витгенштейну, каждый тип изображения предполагает свой особый способ «проецирования», т. е. свою собственную форму представления изображаемого и конвенцию относительно связывания элементов образа с тем, что они изображают.
36
«Мысль содержит возможность того положения вещей, которое в ней мыслится. То, что мыслимо, также возможно» (3.02).
37
«Понять предложение – значит знать, что имеет место, когда оно истинно. (Следовательно, можно его понимать, не зная, истинно оно или нет.) Предложение понято, если поняты его составные части» (4.024).
38
Хотя устранение реляционных предикатов освобождает от необходимости гипостазирования отношений как особых онтологических сущностей, но в то же время это ведет и к некоторым затруднениям. В частности, как отмечает Кюнг, становится непонятно, как можно в таком случае различать разные отношения: ведь если факты представляют собой конфигурации не имеющих содержания, «бесцветных», объектов в логическом пространстве, то как выразить специфику разных отношений? [Кюнг, 1999, c. 110–111].
39
В этом случае знать значение отрицательного предложения не-p значит знать значение p и знать, в чем заключается применение операции отрицания к предложению. В более общем случае знать значение любого логически сложного предложения значит знать, как его истинность или ложность определяется атомарными предложениями, из которых оно состоит.
40
Это «опосредование» понимается следующим образом. Возьмем, к примеру, умозаключение «Все коровы суть млекопитающие. Все млекопитающие суть теплокровные животные. Следовательно, все коровы суть теплокровные животные». Для обоснования его правильности сначала в логике доказывается общая теорема: для всех а, b и с, если все а суть b, то если все b суть с, то все а суть с. Затем демонстрируется, как с помощью трех подстановок (вместо «а», «b» и «с» терминов «коровы», «млекопитающие» и «теплокровные животные» соответственно) и двух применений правила вывода modus ponens мы получаем нужное заключение.
41
«Каждое предложение логики есть изображенный в знаках modus ponens» (6.1264).
42
«Если, например, два предложения «p» и «q», связанные как «p⊃q», дают тавтологию, то ясно что q следует из p» (6.1221).
43
Оператор N представляет собой совместное отрицание произвольного числа высказываний, являющихся его аргументами. При наличии одного аргумента применение оператора N дает обычное отрицание, т. е. N(p) означает ~p; при двух аргументах мы получаем конъюнкцию отрицаний, т. е. N(p, q) означает ~p&~q; соответственно конъюнкция двух высказываний выражается N(N(p),N(q)), а дизъюнкция – N(N(p, q)) и т. д. Если оператор N применяется к большему числу аргументов, то их необязательно перечислять и они � СКАЧАТЬ