Логика и аргументация - [44]
Тем не менее аналогия с исчислением высказываний оказывается весьма полезной для объяснения таких понятий, как общезначимая (или тождественно истинная) формула исчисления предикатов и логическое следование в этом исчислении. Формула А считается общезначимой в исчислении предикатов, если при всяком выборе универсума рассуждений (области ее значений) столбец ее значений в таблице будет состоять только из истин. Если универсум будет фиксирован, то формула называется общезначимой только в этом универсуме.
Поскольку проверка формулы на общезначимость, как мы видели, представляет собой крайне трудную задачу, то выход часто ищут в противоположной операции: в установлении необщезначимости формулы. Для этого в принципе достаточно найти такую единственную строку в таблице, где формула принимает ложное значение. В приведенном выше примере (см. табл.13) этими строками являются 8 и 11.
В некоторых случаях поиск необщезначимой формулы может быть ускорен, если воспользоваться сокращенными способами, основанными на определениях логических операций дизъюнкции, конъюнкции и импликации. Например, если нам было бы известно, что один из дизъюнктивных членов рассматриваемой формулы был бы истинен, тогда истинной была бы вся формула. Если же ложным оказался один член конъюнкции, то вся формула окажется ложной.
4.4. Логическое следование
Чтобы установить, следует ли логически формула В исчисления предикатов из множества формул A>1, А>2,..., A>m (m > 1), необходимо, как и в исчислении высказываний, построить соответствующую таблицу истинности и убедиться в том что формула В будет иметь истинное значение во всех тех строках, где A>1, А>2,..., A>m одновременно являются истинными, и это условие выполняется во всех универсумах рассуждения. Такое условие играет существенную роль, ибо одна формула будет логически следовать из другой (или других) в одном универсуме, но не следовать в ином универсуме.
Символически это определение можно представить в следующей форме:
A>1 ,A>2, ,A>m | = B
где знак | = обозначает следование.
В приведенном выше определении логического следования свободные переменные рассматриваются как обозначающие некоторые элементы из универсума рассуждения. Поэтому в течение всего рассуждения они, так же, как и предикаты, должны оставаться фиксированными. При другом определении переменные могут быть различными в разных формулах. Чтобы яснее представлять различия между двумя подходами к определению логического следования, обратимся к языку алгебры, в котором, как известно, различают, с одной стороны, уравнения (или условные равенства), а с другой - тождества (или тождественные равенства). В то время как уравнению удовлетворяют только определенные значения переменной, называемые его корнями, тождество выполняется при любых значениях переменной. Именно поэтому уравнения считаются условными равенствами. Действительно, например, в уравнении х2 + 2х - 3 = 0 левая часть равняется правой только при значениях х = 1 и х = -3, а в тождестве (х + 1)2 = х2 + 2х + 1 вместо переменной можно подставлять любые числа.
Соответственно этому будем говорить, что для переменных в уравнениях дается условная интерпретация, а в тождествах - интерпретация всеобщности. При условной интерпретации переменной х в определенном допущении А(х) - куда х входит свободно - любое следствие, полученное из него, должно относиться к тому же самому элементу из универсума А(х). Иными словами, переменная х в этом случае фиксирована, так как представляет то же самое число в процессе рассуждения. При тождественной интерпретации значения переменных могут изменяться. Отсюда становится ясным, что приведенное выше определение для логического следования в исчислении предикатов соответствует условной интерпретации свободных переменных, входящих в допущения A>1, А>2,..., A>n. Чтобы сформулировать другое определение следования, необходимо опираться на интерпретацию всеобщности для всех переменных. Для этого необходимо, во- первых, связать все допущения А>1, А>2, ..., A>m кванторами общности, а во-вторых, построить таблицы истинности, как и в первом определении.
4.5. Выводимость и доказуемость
Приведенные выше понятия общезначимой формулы логического следования в конечном итоге опираются на построение таблицы истинности. Но проверка с помощью таблиц оказывается, как мы видели, и крайне громоздким, и весьма неэффективным средством. Такой способ проверки целесообразно использовать для выявления общезначимых формул и логического следования в исчислении высказываний, где с помощью таблицы истинности мы можем всегда ответить на вопрос, является ли данная формула общезначимой или законом логики в этом исчислении, а также следует ли формула В из формул A>1, А>2,..., А>m. Когда существует определенная процедура, посредством которой можно за конечное число шагов разрешить определенный вопрос, тогда в логике и математике говорят, что для ответа на него существует алгоритм или эффективная процедура. Мы можем, например, сказать, что для сложения, умножения, деления и других хорошо известных математических действий существуют определенные алгоритмы. То же самое относится и к исчислению высказываний, где с помощью таблицы истинности всегда можно в конечном итоге ответить на вопрос, является ли данная формула законом исчисления или нет, либо следует ли рассматриваемая формула из другой или других формул.
Учебное пособие посвящено проблемам методологии научного познания, в том числе классификации способов и методов, которые являются специфическими для науки и отличают ее от других способов познания, постижения реального мира. Подробно рассмотрены методы анализа существующего знания и методы научного исследования, представляющие наибольший интерес для будущих исследователей. Для студентов и аспирантов высших учебных заведений, соискателей ученой степени, а также для всех интересующихся философией науки. Рекомендовано Учебно-методическим центром «Профессиональный учебник» в качестве учебного пособия для студентов и аспирантов высших учебных заведений.
Впервые в науке об искусстве предпринимается попытка систематического анализа проблем интерпретации сакрального зодчества. В рамках общей герменевтики архитектуры выделяется иконографический подход и выявляются его основные варианты, представленные именами Й. Зауэра (символика Дома Божия), Э. Маля (архитектура как иероглиф священного), Р. Краутхаймера (собственно – иконография архитектурных архетипов), А. Грабара (архитектура как система семантических полей), Ф.-В. Дайхманна (символизм архитектуры как археологической предметности) и Ст.
Серия «Новые идеи в философии» под редакцией Н.О. Лосского и Э.Л. Радлова впервые вышла в Санкт-Петербурге в издательстве «Образование» ровно сто лет назад – в 1912—1914 гг. За три неполных года свет увидело семнадцать сборников. Среди авторов статей такие известные русские и иностранные ученые как А. Бергсон, Ф. Брентано, В. Вундт, Э. Гартман, У. Джемс, В. Дильтей и др. До настоящего времени сборники являются большой библиографической редкостью и представляют собой огромную познавательную и историческую ценность прежде всего в силу своего содержания.
Атеизм стал знаменательным явлением социальной жизни. Его высшая форма — марксистский атеизм — огромное достижение социалистической цивилизации. Современные богословы и буржуазные идеологи пытаются представить атеизм случайным явлением, лишенным исторических корней. В предлагаемой книге дана глубокая и аргументированная критика подобных измышлений, показана история свободомыслия и атеизма, их связь с мировой культурой.
Макс Нордау"Вырождение. Современные французы."Имя Макса Нордау (1849—1923) было популярно на Западе и в России в конце прошлого столетия. В главном своем сочинении «Вырождение» он, врач но образованию, ученик Ч. Ломброзо, предпринял оригинальную попытку интерпретации «заката Европы». Нордау возложил ответственность за эпоху декаданса на кумиров своего времени — Ф. Ницше, Л. Толстого, П. Верлена, О. Уайльда, прерафаэлитов и других, давая их творчеству парадоксальную характеристику. И, хотя его концепция подверглась жесткой критике, в каких-то моментах его видение цивилизации оказалось довольно точным.В книгу включены также очерки «Современные французы», где читатель познакомится с галереей литературных портретов, в частности Бальзака, Мишле, Мопассана и других писателей.Эти произведения издаются на русском языке впервые после почти столетнего перерыва.
В книге представлено исследование формирования идеи понятия у Гегеля, его способа мышления, а также идеи "несчастного сознания". Философия Гегеля не может быть сведена к нескольким логическим формулам. Или, скорее, эти формулы скрывают нечто такое, что с самого начала не является чисто логическим. Диалектика, прежде чем быть методом, представляет собой опыт, на основе которого Гегель переходит от одной идеи к другой. Негативность — это само движение разума, посредством которого он всегда выходит за пределы того, чем является.
В монографии на материале оригинальных текстов исследуется онтологическая семантика поэтического слова французского поэта-символиста Артюра Рембо (1854–1891). Философский анализ произведений А. Рембо осуществляется на основе подстрочных переводов, фиксирующих лексико-грамматическое ядро оригинала.Работа представляет теоретический интерес для философов, филологов, искусствоведов. Может быть использована как материал спецкурса и спецпрактикума для студентов.