Контрольные вопросы

I. Каковы функции пропозициональных 1) переменных и 2) связок?

II. Что является законом классической логики высказываний?

III. В чём заключаются общие принципы построения истинностных таблиц?

VI. Каковы содержание и объём понятия формулы исчисления высказываний?

V. На какие виды подразделяются правила вывода логики высказываний?

VI. Каковы эвристики и их последовательность в выводах логики предикатов?

VII. Возможно ли формализовать средствами логики высказываний суждение «Для всякого предмета из множества металлов существует такой предмет этого множества, что эти предметы находятся в отношении подобия» и почему?

VIII. В чём суть интерпретации, модели, связанной и свободной переменных, выполнимой и невыполнимой формул в классической логике предикатов?

IX. Чем сходны и чем различаются классические исчисления логики предикатов и логики высказываний?

Часть IV теория правдоподобных рассуждений Введение

Во всём многообразии осуществляемых нами рассуждений логика позволяет выделить и проанализировать специфику как уже исследованных необходимых, или дедуктивных рассуждений, так и ранее затрагивавшихся лишь вскользь рассуждений правдоподобных, или вероятностных, которые часто называют индуктивными. Схема правдоподобных рассуждений существенно отличается от схемы достоверных рассуждений, поскольку не фиксирует логического закона, но показывает то, каким образом из информации, содержащейся в истинных посылках, можно с какой-то долей достоверности или вероятности перейти к истинному заключению. Т. е. правдоподобные рассуждения, как это было показано ранее на записываемых логически недетерминированными формулами неправильных модусах силлогистических рассуждений, могут иметь как истинные, так и ложные заключения. В связи с необходимостью различать правдоподобные рассуждения по степени вероятности, использовать приёмы её повышения, современная теория даёт системное изложение особенностей вероятностных логических форм. Осваивая теорию правдоподобных рассуждений, учась на практике применять её положения, следует начать с уяснения сущности собственно правдоподобных рассуждений, понять их отличие и взаимосвязь с дедукцией. Это в свою очередь требует осмысления феномена вероятности на уровне объектной логики, или логики вещей, с переходом к собственно формально-логическому осмыслению данного понятия. Особое внимание следует уделить использованию аппарата классической логики высказываний, в частности табличного метода установления истинностных значений высказываний для численного определения степени вероятности тех или иных правдоподобных рассуждений, что существенно дополнит интуитивное оперирование вероятностью и позволит освоить выводы статистического характера. Поскольку основным видом правдоподобных рассуждений является индукция, то необходимо изучить её формы, освоить приёмы, позволяющие повышать обоснованность полученных индуктивным способом заключений. Такого же рода задачи необходимо решать и применительно к другим разновидностям рассуждений правдоподобного характера: методам установления причинных связей, уподоблениям, или рассуждениям по аналогии. В связи с изучением метода предположений (гипотез) о возможных причинах исследуемых событий, или гипотетико-дедуктивного метода, также требуется освоить содержание понятия гипотеза, осмыслить критерии различия видов гипотез, изучить принципы их выдвижения и развития. В совокупности содержащийся в темах данного раздела учебный материал является одним из необходимых — дополняющим и отчасти обобщающим уже рассмотренные — элементов логической культуры современного образованного человека, позволяющей аргументировано, чётко и ясно излагать свои идеи, отстаивать личностно и общественно значимые принципы и предположения.