Выполняем написание дипломных за короткий срок.
. 2 этап – математическая логика. Основатель – немецкий ученый и философ Лейбниц (1642-1716), предпринял попытку логических вычислений. 3 этап – математическая логика (булева алгебра). Основатель – английский математик Джордж Буль (1815-1864), ввел алфавит, орфографию и грамматику для математической логики. До 20-х годов ХХ века логика развивалась в направлении формализации и каталогизации правильных способов рассуждений. Классическая (двузначная) логика – это первая ступень развития формальной логики. Вторая ступень – символическая (математическая) систематизирует формы мышления, применяя математические методы и специальный аппарат символов. Исследует содержательное мышление с помощью исчислений. Алгебра логики (булева алгебра, алгебра высказываний)– это математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания. Математическая логика - система обозначений и правил, применимая ковсевозможным объектам, от чисел до предложений, и позволяющая закодировать высказывания с помощью символов своего языка, а затем манипулировать ими. Что такое познание? Познание как процесс отражения объективного мира сознанием человека представляет собой единство чувственного и рационального познания. Формы чувственного познания: ощущение, восприятие, представление. Таким образом, чувственное восприятие мира происходит через органы чувств – приемников информации. Чувственное познание дает нам знание об отдельных предметах, их внешних свойствах. Мы познаем явление, но не сущность. Рациональное познание – познание с помощью разума, мышления. Законы мира, сущность предметов и явлений, общее в них мы познаем посредством абстрактного мышления – более сложной формы познания. Абстрактное или рациональное мышление отражает мир и его процессы глубже и полнее, чем чувственное познание. Переход от чувственного познания к абстрактному мышлению – скачок в процессе познания, скачок от познания фактов к познанию законов. Формыи законымышления Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания. Логика— это наука о формах и способах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Мышление всегда осуществляется в каких-то формах. Основными формами мышления являются понятие, высказывание и умозаключение. Понятие - это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет две стороны:содержаниеиобъем. Содержание понятия составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необходимые и достаточные для выделения данного объекта из множества других объектов. Например, содержание понятия «персональный компьютер» можно раскрыть следующим образом: «Персональный компьютер — это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя». Объем понятия определяется совокупностью предметов, на которую оно распространяется. Объем понятия «персональный компьютер» выражает всю совокупность (сотни миллионов) существующих в настоящее время в мире персональных компьютеров. Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо истинно, либо ложно. По форме высказывание является повествовательным предложением.Высказывание не может быть выражено повелительным или вопросительным предложением, так как оценка их истинности или ложности невозможна. Высказывания могут быть выражены с помощью не только естественных языков, но и формальных. Например, высказывание на естественном языке имеет вид «Два умножить на два равно четырем», а на формальном, математическом языке оно записывается в виде: «2 • 2 = 4». Высказывания бывают общими, частными или единичными. Общее высказывание чаще всего начинается со слов: все, всякий, каждый, ни один. Частное высказывание можно начать со слов: некоторые, большинство и т.п. Во всех других случаях высказывание является единичным. На основании простых высказываний могут быть построены составные высказывания. Например, высказывание «Процессор является устройством обработки информациии принтер является устройством печати» является составным высказыванием, состоящим из двух простых, соединенных союзом «и». Если истинность или ложность простых высказываний устанавливается в результате соглашения на основании здравого смысла, то истинность или ложность составных высказываний вычисляется с помощью использования алгебры высказываний.