Цитата Бертрана Рассела

Формальность Таким образом, отсутствие всякого упоминания об отдельных вещах или свойствах в логике или чистой математике является необходимым следствием того факта, что это исследование является, как мы говорим, «чисто формальным».
Формальная логика — это математика, и есть такие философы, как Витгенштейн, очень математические, но на самом деле они занимаются математикой — они не говорят о вещах, которые повлияли на информатику; это математическая логика.
Другими словами, положения философии носят не фактический, а лингвистический характер, т. е. они не описывают поведение физических или даже психических объектов; они выражают определения или формальные следствия определений. Соответственно, мы можем сказать, что философия есть раздел логики. Ибо мы увидим, что характерным признаком чисто логического исследования является то, что оно касается формальных следствий наших определений, а не вопросов эмпирического факта.
Тот факт, что вся математика есть символическая логика, является одним из величайших открытий нашего века; и когда этот факт установлен, остальные принципы математики состоят из анализа самой символической логики.
[Математика есть] чисто интеллектуальное, чистое учение о формах, имеющее своими объектами не сочетание величин или их образов, чисел, а мыслительные вещи, которым могли бы соответствовать действующие объекты или отношения, хотя бы такое соответствие и было не обязательно.
Логически трудно удалить идею, изначально не помещенную туда логикой. По своей природе мы эмоциональные существа. Часто мы живем и реагируем, основываясь на чувствах, а не на логике. Чувства прекрасны, но когда мы привязываемся к определенной мысли или убеждению, мы склонны игнорировать тот факт, что изменения могут быть необходимы.
Благодаря сочетанию формального обучения и самообучения, которое систематически продолжалось вплоть до 1940-х годов, я смог получить обширную базу знаний в области экономики и политологии, а также разумные навыки в высшей математике, символической логике и математической статистике.
... математика отличается от всех других наук, кроме только этики, тем, что не нуждается в этике. Всякой другой науке, даже логике, особенно на ранних стадиях, угрожает опасность испариться в воздушное ничто, выродиться, как говорят немцы, в паутинную пленку, сотканную из вещества, из которого сделаны сны. Для чистой математики такой опасности нет; ибо именно такой должна быть математика.
Можно сказать, что математика говорит о вещах, которые не касаются людей. Математика обладает нечеловеческим качеством звездного света - блестящим, острым, но холодным ... поэтому мы наиболее ясны там, где знание имеет наименьшее значение: в математике, особенно в теории чисел.
Чистая математика не предлагает корыстных соблазнов своим последователям, которых привлекает важность и красота содержащихся в ней истин; и полное отсутствие какой-либо материальной выгоды, которую можно было бы получить с его помощью, добавляет, пожалуй, еще одну прелесть его изучению.
Суть математики в том, что в ней мы всегда избавляемся от отдельных экземпляров и даже от каких-либо конкретных видов сущностей. Так что, например, никакие математические истины не применимы только к рыбам, или только к камням, или только к цветам. Пока вы имеете дело с чистой математикой, вы находитесь в царстве полной и абсолютной абстракции. . . . Математика есть мысль, движущаяся в сфере полной абстракции от любого частного случая того, о чем она говорит.
В формальной логике [Аристотеля] мысль организована совершенно иначе, чем в диалоге Платона. В этой формальной логике мысль безразлична к своим объектам. Являются ли они ментальными или физическими, относятся ли они к обществу или к природе, они подчиняются одним и тем же общим законам организации, исчисления и вывода, но они делают это как взаимозаменяемые знаки или символы, абстрагированные от своей особой «субстанции». " Это общее качество (количественное качество) является предпосылкой правопорядка — как в логике, так и в обществе — ценой всеобщего контроля.
Если вы хотите стать физиком, вы должны делать три вещи: во-первых, изучать математику, во-вторых, больше заниматься математикой и, в-третьих, делать то же самое.
Чтобы относиться к программированию с научной точки зрения, необходимо точно указать требуемые свойства программ. Формальность, конечно, не самоцель. Важность формальных спецификаций, в конечном счете, должна основываться на их полезности — независимо от того, используются ли они для улучшения качества программного обеспечения или для снижения стоимости производства и обслуживания программного обеспечения.
Доказано, что математика и логика едины; факт, из которого, по-видимому, следует, что математика может успешно решать неколичественные задачи в гораздо более широком смысле, чем предполагалось.
На чисто формальном уровне можно было бы назвать теорию вероятностей изучением пространств меры с полной мерой единица, но это было бы все равно, что назвать теорию чисел изучением строк цифр, которые заканчиваются.
Пуанкаре был яростным противником теории о том, что вся математика может быть переписана в терминах самых элементарных понятий классической логики; он считал, что нечто большее, чем логика, делает математику тем, чем она является.
Этот сайт использует файлы cookie, чтобы обеспечить вам максимальное удобство. Больше информации...
Понятно!