Положение о постоянном следовании


Этот принцип не является экспериментальным в той мере, в какой является им принцип единственного различия, ибо здесь нужно модифицировать все предшествующие во времени обстоятельства, за исключением А. Кроме того, и он также позволяет, пожалуй, только обосновать (далее…)

READ MORE

Составные части


Имеются две пары сложных наблюдений: ABC, Abc, а также ВС, Ъс. Комплексы случаев, обозначенные большими буквами, являются предшествующими во времени, комплексы случаев, обозначенные малыми буквами, являются последующими. В каждом из комплексов составные части существуют одновременно. Словом, (далее…)

READ MORE

Способ исследований


Роль Френсиса Бэкона как основателя индукции через отбор признана всеми специалистами. Мнения же о том, отражает ли методология, начало которой он положил, действительный способ исследований в науках индуктивного характера, разделились. Некоторые выдающиеся естествоиспытатели, как, например, известный (далее…)

READ MORE

Доказательства непротиворечивости системы


Интересно, что для доказательства непротиворечивости системы достаточно показать, что существует хотя бы одно ложное высказывание, выраженное с помощью одних только знаков системы согласно правилам надлежащего их сочетания. Допустим, что в рамках данной системы можно сформулировать ложное (далее…)

READ MORE

Идеал формальной дедуктивной системы


Благодаря идеям и трудам этих новаторов, а также продолжателей их замыслов, в сознании современных логиков выработался идеал формальной дедуктивной системы, точнее — гипоте — тико-дедуктивной. Помимо требования аксиоматизации и подчинения хода доказательства определенным правилам, этот образец (далее…)

READ MORE

Главные корифеи


Три имени следует упомянуть прежде всего, желая назвать, главных корифеев в этой области. Ими были: Г. Фреге, Дж. Пеано и Д. Гильберт. Готтлоб Фреге первым осознал необходимость директив, или правил, регулирующих ступени доказательства. «В том,— говорил (далее…)

READ MORE

Антиномия структуры


Лесневский обратил внимание на то, что антиномия инозначных выражений является частным случаем многих возможных антиномий подобной структуры. В каждой из них допускается, что в пределах класса М-ов есть элемент, который находится в отношении R к каждому (далее…)

READ MORE

Антиномия нерефлексивных классов


Эта же теория типов по-своему подходит к антиномии нерефлексивных классов, о которой шла речь в предшествующем изложении. Мы привели ее решение, данное Расселом. Здесь добавим, что встречается также попытка разрешить эту антиномию другим путем, а именно (далее…)

READ MORE

Исторический момент


Насколько нам известно, в течение большого промежутка времени, отделяющего период мегарской школы от современного исторического момента в развитии логики, не было выявлено никаких новых загадок, хитроумность которых и значение их для логики можно было бы сравнить (далее…)

READ MORE

Разрешение парадокса


Разрешение парадокса «Лжеца» не представляет серьезных трудностей, если термины «истинный» и «ложный» понимать в вербальном смысле, когда выражение «высказывание Р истинно» означает просто р, а выражение «высказывание Р ложно» означает просто «не-p». При этом понимании слов (далее…)

READ MORE