Логика - страница 25

в) «Если свет имеет волновую природу, то, когда он представляется в виде потока частиц (корпускул), допускается ошибка» – (А → (В → С)); А – «Свет имеет волновую природу», В – «Свет представляется в виде потока частиц», С – «Допускается ошибка»;

г) «Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» – (А → (В v С)); А – «Вы были в Париже», В – «Вы видели Лувр», С – «Вы видели Эйфелеву башню»;

д) «Если какое-то вещество нагревать, то оно расплавится или испарится, но оно может также взорваться» – (А → (В v С v Д)); А – «Вещество нагревается», В – «Вещество расплавляется», С – «Вещество испаряется», D – «Вещество взрывается».

Приведем еще один простой пример перехода от искусственного языка логики к обычному языку. Пусть переменная А представляет высказывание «Теория Дарвина является научной», В – «Теория Дарвина может быть подтверждена опытными данными», С – «Теория Дарвина может быть опровергнута опытными данными». Какие содержательные высказывания выражаются формулами:

а) А → (В → С);

б) (В Λ ~ С) → ~ А;

в) (~ В Λ ~ С) → ~ А?

Ответом на этот вопрос являются, соответственно, три высказывания:

а) Если теория Дарвина научна, то если она может быть подтверждена опытными данными, она может быть также опровергнута ими;

б) Если теория Дарвина может быть подтверждена опытными данными, но не может быть опровергнута ими, она не научна;

в) Если теория Дарвина не может быть подтверждена опытными данными и не может быть опровергнута ими, она не научна.

С точки зрения логической грамматики механизм человеческого мышления является простым. Имеются многообразные имена, в частности понятия, обозначающие отдельные предметы и их множества. С помощью логических связок, подобных «есть», «некоторые… есть…» и т. д., из понятий складываются высказывания. Из высказываний состоят все наши рассуждения. Те рассуждения, в которых какие-то высказывания принимаются за исходные, а из них выводится новое высказывание, называются умозаключениями.

Имя, высказывание и умозаключение – три центральных категории логики. Рассмотрим каждую из них более подробно.

Имена – необходимое средство познания и общения. Обозначая предметы и их совокупности, имена связывают язык с реальным миром.