Цитата Анатолия Рапопорта

Теорема — это предложение, которое является строгим логическим следствием некоторых определений и других предложений. — © Анатолий Рапопорт
Теорема – это предложение, являющееся строгим логическим следствием определенных определений и других утверждений.
Чтобы сделать нашу позицию более ясной, мы можем сформулировать ее по-другому. Назовем суждение, которое фиксирует фактическое или возможное наблюдение, эмпирическим суждением. Тогда мы можем сказать, что это признак подлинно фактического суждения, не то, что оно должно быть эквивалентно эмпирическому суждению или любому конечному числу эмпирических суждений, а просто то, что некоторые эмпирические суждения могут быть выведены из него в сочетании с некоторыми другими суждениями. предпосылок, не выводимых только из этих других посылок.
Математика – это логический метод. . . . Математические предложения не выражают мыслей. В жизни нам никогда не нужны математические суждения, но мы пользуемся математическими суждениями только для того, чтобы вывести из суждений, не принадлежащих математике, другие, которые точно так же не принадлежат математике.
Другими словами, положения философии носят не фактический, а лингвистический характер, т. е. они не описывают поведение физических или даже психических объектов; они выражают определения или формальные следствия определений. Соответственно, мы можем сказать, что философия есть раздел логики. Ибо мы увидим, что характерным признаком чисто логического исследования является то, что оно касается формальных следствий наших определений, а не вопросов эмпирического факта.
Признаюсь, что теорема Ферма как изолированное положение меня очень мало интересует, потому что я легко мог бы сформулировать множество таких положений, которые нельзя было бы ни доказать, ни опровергнуть.
Для человека неправильно говорить, что он уверен в объективной истинности какого-либо утверждения, если он не может привести свидетельство, которое логически оправдывает эту уверенность. Это то, что утверждает агностицизм; и, по моему мнению, это все, что существенно для агностицизма. То, что агностики отрицают и отвергают как аморальное, — это противоположное учение, согласно которому существуют положения, в которые люди должны верить без логически удовлетворительных доказательств; и что осуждение должно быть связано с исповеданием неверия в такие неадекватно подкрепленные суждения.
То есть система начинается с группы взаимосвязанных предложений, которые включают ссылку на эмпирические наблюдения в рамках логической структуры рассматриваемых предложений.
О Томасе Гоббсе: Ему было 40 лет, когда он начал заниматься геометрией; что произошло случайно. Находясь в библиотеке джентльмена, «Элементы» Евклида лежали открытыми, и «это была 47 El. libri I» [Теорема Пифагора]. Он читал предложение «Ей-богу», сказал он, «это невозможно». Итак, он читает доказательство этого, которое отсылало его обратно к такому предложению; какое предложение он прочитал. Это отсылало его к другому, который он тоже читал. Et sic deinceps, что он, наконец, демонстративно убедился в этой истине. Это заставило его полюбить геометрию.
Существуют различные трактовки проблемы универсалий. Я понимаю это как проблему предоставления создателям истины суждений о том, что определенное частное является таким-то и таким-то, например, суждений типа «эта роза красная». Другие интерпретировали это как проблему онтологических обязательств таких предложений или проблему того, что эти предложения означают.
Система становится логически замкнутой, когда каждое из логических следствий, которые могут быть выведены из любого одного предложения внутри системы, находит свое выражение в другом предложении той же системы.
Фундаментальный принцип анализа предложений, содержащих описания, таков: каждое предложение, которое мы можем понять, должно полностью состоять из составляющих, с которыми мы знакомы.
Тезис о том, что вселенная имеет порождающую божественную причину, логически несовместим со всеми существующими определениями причинности и с логическим требованием, предъявляемым к этим и всем возможным действительным определениям или теориям причинности.
Люди убивали друг друга в массовых войнах и партизанских действиях на протяжении многих столетий и продолжают убивать друг друга в настоящем из-за идеологий и религий, которые, сформулированные как утверждения, не кажутся современным логикам ни истинными, ни ложными — бессмысленными утверждениями, которые кажутся осмысленными. к лингвистически наивным.
Во-первых, философское положение должно быть общим. Он не должен иметь дело специально с вещами на поверхности земли, или внутри солнечной системы, или с любой другой частью пространства и времени. . . . Это подводит нас ко второй характеристике философских предложений, а именно к тому, что они должны быть априорными. Философское положение должно быть таким, которое нельзя ни доказать, ни опровергнуть эмпирическими данными. . . . Философия, если то, что было сказано, верно, становится неотличимой от логики в том виде, в каком это слово стало употребляться теперь.
Многие люди, называющие себя дефляционистами, являются дефляционистами в отношении пропозициональной истины, но не пропозициональной истины. Я всегда упоминаю эту точку зрения только для того, чтобы отличить ее от дисквотационизма. На самом деле у меня нет против этого никаких возражений, кроме того, что я не верю в пропозиции, поэтому я не думаю, что существует такая вещь, как истинность пропозиции. Истина, на мой взгляд, есть прежде всего свойство представлений, таких как предложения и определенные виды ментальных состояний.
Если вам нужно доказать теорему, не торопитесь. Прежде всего, полностью поймите, что говорит теорема, постарайтесь ясно увидеть, что она означает. Затем проверьте теорему; это может быть ложным. Исследуй последствия, проверяй столько частных случаев, сколько нужно, чтобы убедить себя в истине. Когда вы убедились, что теорема верна, вы можете приступить к ее доказательству.
Истинное суждение — это убеждение в суждение, которое никогда не привело бы к такому разочарованию, пока суждение не понимается иначе, чем оно было задумано.
Этот сайт использует файлы cookie, чтобы обеспечить вам максимальное удобство. Больше информации...
Понятно!