45757

Лейбниц. Об основных аксиомах познания

Доклад

Логика и философия

Если чтото отрицается как истинное то очевидно оно является ложным; а если чтото отрицается как ложное то оно является истинным. Подобным же образом если истинно то что нечто ложно или ложно то что нечто истинно то утверждение является ложным; а если истинно то что нечто истинно и лоншо то что нечто ложпо то оно является истинным. С другой стороны среди истинных предложений первыми являются те которые обычно называют тождественными как А есть Л Не А есть не А Если истинно предложение L то следовательно истинно...

Русский

2013-11-18

31 KB

1 чел.

№ 124. Лейбниц. Об основных аксиомах познания. Краткое содержание.всякое высказывание (т. е. утверждение или отрицание) бывает либо истинным, либо ложным; при этом если истинным будет утверждение, то ложным будет отрицание; если истинным будет отрицание, то ложным будет утверждение. Если что-то отрицается как истинное, то (очевидно) оно является ложным; а если что-то отрицается как ложное, то оно является истинным. Если что-то отрицается как утверждение или утверждается как отрицание, то оно отрицается; если что-то утверждается как утверждение и отрицается как отрицание, то оно утверждается. Подобным же образом если истинно то, что нечто ложно, или ложно то, что нечто истинно, то утверждение является ложным; а если истинно то, что нечто истинно, и лоншо то, что нечто ложпо, то оно является истинным. Все это обычно выражается одним названием: принцип противоречия каково же то, что может утверждаться и отрицаться, а следовательно, противоречащее ему — восприниматься как ложное. С другой стороны среди истинных предложений первыми являются те, которые обычно называют тождественными, как «А есть Л»,

«Не А есть не А», «Если истинно предложение L, то, следовательно, истинно предложение L». И хотя кажется, что в этих высказываниях имеется бесполезное повторение, однако из них при незначительном изменении получаются полезные аксиомы. всякая вещь в данный момент такова по величине, какова она есть, т. е.  равна себе самой. часть равна части целого (ибо, согласно аксиоме, она тождественна себе); что равно части целого, то меньше целого (по определению меньшего); следовательно, часть меньше целого.Тождественные предложения являются первыми из всех и не допускают никакого доказательства, будучи тем самым истинными сами по себе. Истинными являются виртуально тождественные, которые нетрудно свести через анализ терминов (если вместо первого термина подставляется понятие или эквивалентное, или включенное) к формальным, т. е. явно выраженным, тождествам.   Все необходимые, или вечно истинные, предложения являются виртуально тождественными — те, конечно, которые могут быть доказаны из одних только идей, или определений (т. е. разложением терминов), т. е. могут быть сведены к первым истинам, так что окажется, что противоположное содержит в себе противоречие и приходит в столкновение с каким-либо тождеством, или первой истиной.

Всякое истинное предложение (которое не является тождественным, т. е. истинным самим по себе) может быть доказано априори с помощью аксиом, или предложений, истинных самих по себе, и с помощью определений, или идей. Ибо всякий раз, когда предикат истинно утверждается о субъекте, непременно считается, что между предикатом и субъектом имеется некая реальная связь, так что в любом предложении «А есть В» (т. е. «В истинно предицируется относительно Л») В обязательно содержится в самом А, т. е. его понятие некоторым образом содержится в понятии самого А, и это происходит или благодаря абсолютной необходимости, содержащейся в вечно истинных предложениях, или благодаря некоей достоверности, исходящей из предполагаемого решения свободной субстанции, касающегося случайностей (contingentes), а это решение никоим образом никогда не бывает произвольным и лишенным основания, но всегда может быть найдено некоторое его основание (однако склоняющее, а не необходимое), которое само могло бы быть выведено из анализа понятий (если бы это всегда было в человеческой власти) и которое не ускользает от субстанции, воистину все знающей и все обнаруживающей априори из самих идей и своих решений. Следовательно, не подлежит сомнению, что все истины, даже совершенно случайные, доказываются априори, т. е. имеют некое разумное основание, почему они скорее существуют, чем не существуют. Ничто не случается без причины, т. е. ничего не бывает без основания. Однако это основание, каким бы оно ни было твердым (пусть оно и было бы достаточным для склонения в какую-либо сторону), даже если бы оно и создало уверенность в предвидящем (praesciens), все же не полагает в вещи необходимости и не уничтожает случайности, так как противоположное все же остается возможным само по себе и не содержит в себе никакого противоречия; иначе то, что мы взяли как случайное, будет скорее необходимым, т. е. вечно истинным. А эта аксиома, что «ничего не бывает без основания» должна считаться одной из самых важных и плодотворных аксиом во всем человеческом познании, без нее нельзя ни доказать существование Бога из творений, ни построить доказательство от причин к следствиям или от следствий к причинам, ни сделать какие-либо выводы в делах гражданских.


 

А также другие работы, которые могут Вас заинтересовать

24515. Мультипрограммирование на основе прерываний. Механизм прерываний 25.58 KB
  Мультипрограммирование на основе прерываний. Механизм прерываний.Мультипрограммирование на основе прерываний. Назначение и типы прерываний.
24516. Необходимость синхронизации процессов и потоков. Критическая секция 19.14 KB
  Необходимость синхронизации процессов и потоков.4 Синхронизация процессов и потоков. В многозадачной ОС синхронизация процессов и потоков необходима для исключения конфликтных ситуаций при обмене данными между ними разделении данных доступе к процессору и устройствам вводавывода. Пренебрежение вопросами синхронизации процессов выполняющихся в многозадачной системе может привести к неправильной их работе или даже к краху системы.
24517. Способы реализации взаимных исключений путем запрещения прерываний, использования блокирующих переменных, системных вызовов 103.83 KB
  Поток при входе в критическую секцию запрещает все прерывания а при выходе из критической секции снова их разрешает. Это самый простой но и самый неэффективный способ так как опасно доверять управление системой пользовательскому потоку который может надолго занять процессор а при крахе потока в критической области крах потерпит вся система потому что прерывания никогда не будут разрешены. Для синхронизации потоков одного процесса программист может использовать глобальные блокирующие переменные к которым все потоки процесса имеют прямой...
24518. Назначение и использование семафоров 46.4 KB
  Пусть буферный пул состоит из N буферов каждый из которых может содержать одну запись рис. Для решения задачи введем три семафора: e число пустых буферов; f число заполненных буферов; b блокирующая переменная двоичный семафор используемый для обеспечения взаимного исключения при работе с разделяемыми данными в критической секции. Использование семафоров для синхронизации потоков Здесь операции Р и V имеют следующее содержание: Ре если есть свободные буферы то уменьшить их количество на 1 если нет то перейти в состояние...
24519. Взаимные блокировки процессов. Методы предотвращения, обнаружения и ликвидации тупиков 35.63 KB
  Методы предотвращения обнаружения и ликвидации тупиков. Тупиковые ситуации надо отличать от простых очередей хотя и те и другие возникают при совместном использовании ресурсов и внешне выглядят похоже: процесс приостанавливается и ждет освобождения ресурса. Проблема тупиков включает в себя решение следующих задач: предотвращение тупиков; распознавание тупиков; восстановление системы после тупиков. Другой более гибкий подход динамического предотвращения тупиков заключается в использовании определенных правил при назначении ресурсов процессам.
24520. Функции ОС по управлению памятью. Типы адресов. Преобразование адресов 40.26 KB
  Сама ОС обычно располагается в самых младших или старших адресах памяти. Функциями ОС по управлению памятью являются: отслеживание свободной и занятой памяти; выделение и освобождение памяти для процессов; вытеснение процессов из оперативной памяти на диск когда размеры основной памяти не достаточны для размещения в ней всех процессов и возвращение их в оперативную память когда в ней освобождается место; настройка адресов программы на конкретную область физической памяти. Программист при написании программы в общем случае обращается...
24521. Методы распределения памяти без использования диска (фиксированными, динамическими, перемещаемыми разделами) 83.87 KB
  Методы распределения памяти без использования диска фиксированными динамическими перемещаемыми разделами. Методы распределения памяти. Рассмотрим наиболее общие подходы к распределению памяти которые были характерны для разных периодов развития ОС. Классификация методов распределения памяти 5.
24522. Понятие виртуальной памяти, ее назначение. Свопинг 14.41 KB
  Понятие виртуальной памяти ее назначение. Понятие виртуальной памяти. Необходимым условием для того чтобы программа могла выполняться является ее нахождение в оперативной памяти. Уже давно пользователи столкнулись с проблемой размещения в памяти программ размер которых превышает имеющуюся в наличии свободную память.
24523. Страничное распределение оперативной памяти 90.7 KB
  В общем случае размер виртуального адресного пространства не является кратным размеру страницы поэтому последняя страница каждого процесса дополняется фиктивной областью. Чтобы упростить механизм преобразования адресов размер страницы обычно выбирается равным 2n: 512 1024 и т. Смежные виртуальные страницы не обязательно располагаются в смежных физических страницах. Запись таблицы называемая дескриптором страницы включает следующую информацию: номер физической страницы в которую загружена данная виртуальная страница; признак...