Формальная логика

Cтраница 1

Формальная логика связана с формализацией и обоснованием корректных рассуждений. Последние также называются общезначимыми: их правильность несомненна при всех интерпретациях. Дедуктивные системы логики специально приспособлены для формализации этого класса рассуждений. А распространяется ли их полезность на другие классы. [1]

Формальная логика и некоторые допущения, которые сторонники и противники обсуждаемой гипотезы подбирают достаточно произвольно, позволяют вести дискуссию до бесконечности. Основополагающий факт, который следует принять во внимание, заключается в том, что для большинства видов, в силу неизбежной гибели от внешних причин, старение и старость ( этап от прекращения репродукции до естественной смерти) - необязательный и, более того, нечастый элемент индивидуального жизненного цикла. Главная забота диких животных и примитивных человеческих популяций - контроль не за тем, сменяются ли поколения, а за тем, не сменяются ли они слишком успешно, грозя вымиранием. [2]

Формальная логика связана с сообщениями и оценками истинности утверждений, сделанными человеком или группой лиц. С помощью аксиоматического исчисления ( методики рассуждения, базирующейся на ряде аксиом) формальная логика устанавливает новые оценки истинности различных комбинаций исходных утверждений. Ниже обсуждаются две такие системы формальной логики: исчисление высказываний и исчисление предикатов, использующее расширенное множество аксиом. [3]

Формальная логика была известна в средние века и до XIX в. [4]

Формальная логика рассматривает обоснование как вид доказательства истинности утверждения. [5]

Наконец формальная логика позволяет вывести второй закон Ньютона из закона инерции. В самом деле, если скорость ненарушимо лежит в самой природе вещей, то ее изменение, то есть ускорение, должно быть только результатом действия силы. Самая простая зависимость между силой и ускорением - прямая - пропорциональность. Далее остается только это утверждение проверить опытом. Это могут быть опыты с падающим телом и телом, движущимся по наклонной плоскости, которые проводил Галилей и судя по результатам этих опытов был на пороге открытия второго закона механики. Это могут быть опыты с пружиной. Для чего на конце протарированной линейной пружины, создающей силу F - c x, необходимо закрепить тело определенной массы и пружину навить на достаточно гладкий стержень. [6]

Даже формальная логика представляет прежде всего метол для отыскания новых результатов, для перехода от известного к неизвестному; то же самое, только в гораздо более высоком смысле, представляет собой диалектика. [7]

Поскольку формальная логика также не спецнфи-цирует объектов тех предметных областей, к рассуждениям о к-рых должны быть применимы се правила [ но случайно еще Аристотель выражал общие правила логики ( см. Аналитики... Именно этой применимостью математики и логики к любым объектам, рассматриваемым в отвлечении от их качеств, особенностей ( в пределах нек-рой предметной области), и объясняется исключит, общность этих паук и плодотворность их применения в др. науках. Достаточно напомнить в этой связи, что кет такой мысли, к-рая не могла бы быть выражена ( закодирована) с помощью букв к. [8]

Законы формальной логики ( тождества, противоречия, исключенного третьего и достаточного основания) способствуют достижению определенности, непротиворечивости и - в известном смысле - доказательности мышления. В то же время они придают слишком большое значение форме нередко в ущерб содержанию. К тому же сама форма предполагает уже сложившиеся, устоявшиеся, жесткие понятия, а не изменяющиеся, развивающиеся, текучие. [9]

Родоначальником формальной логики обычно считают Аристотеля. Он жил в четвертом веке до нашей эры и был первым философом, который сформулировал правила строгого мышления и формальные законы, определяющие, что можно и чего нельзя утверждать, а также исчерпывающе исследовал все эти проблемы. [10]

Причины недостатков МО. [11]

Различают содержательную и формальную логику. [12]

В формальной логике используются следующие символы: л - И; v - ИЛИ; - - ЕСЛИ... [13]

В формальной логике - система ( схема) соподчиненных понятий ( имен классов), каждое из к-рых занимает в ней строго определенное место. [14]

В формальной логике аналогией называется такой вид умозаключения, когда на основе сходства в ряде существенных признаков между двумя или несколькими предметами делается вывод о наличии у интересующего нас предмета признака, характерного для других сравниваемых предметов. [15]

Страницы: 1 2 3 4