Логика – как наука. История развития логики.
Формы человеческого мышления
Слово логика означает как совокупность правил, которым подчиняется процесс мышления, так и науку о правилах рассуждений. (Логика – это наука правильно рассуждать, наука о законах и формах человеческого мышления). Логика, как наука о законах и формах мышления изучает абстрактное мышление как средство познания объективного мира.
Если теория алгоритмов – в некотором смысле мать современных ЭВМ и программирования, то логика – их отец .
Умение рассуждать, логически мыслить, давать ответы на поставленные вопросы играет очень важную роль в жизни человека. Выделение логических задач носит до некоторой степени условный характер. Трудно определить, какую задачу следует назвать логической. Кажется, любая задача является таковой, так как для её решения требуются определенные логические рассуждения. И это верно, но все же по традиции для тренировки именно логического мышления человеком придумано множество задач, в которых речь идет об объектах, вообще говоря, произвольной природы. Именно такими задачами и правилами их решения мы и займемся.
Но какое отношение логика имеет к вычислительной технике и программированию? Оказывается, самое непосредственное. Именно логика является теоретической основой современных ЭВМ и сложных управляющих систем. Она приобретает важное прикладное значение – особенно в области разработки специальных языков для баз данных и представления знаний. Используя методы и средства логической науки, ученые разрабатывают эффективные языки программирования.
Например, основой так называемого доказательного программирования является формальная логика. Общая идея здесь, как говорится, лежит на поверхности: если можно конструктивно, используя интуицию, доказать, что существуют объекты, удовлетворяющие некоторому данному условию, то, построив доказательство, можно построить по нему и программу вычисления соответствующего условия (функции).
Опять же, в основе так называемого логического программирования лежат структуры логических доказательств.
Но особое значение логическая наука стала приобретать в вопросах, касающихся проблемы искусственного интеллекта . Именно здесь разработчикам пришлось создать новую область логических исследований – логический анализ .
Аристотель (384 – 322 гг. до н.э.) по праву считается основоположником логики. Он подверг анализу человеческое мышление и его формы: понятие , суждение , умозаключение . В своих определениях Аристотель представляет логику как науку о выводе одних умозаключений из других сообразно их логической форме, поэтому логику Аристотеля называют формальной . ( Он рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны). (Формальная логика – наука о законах и формах мышления).
В течение многих веков логика помогала математике стать строгой, последовательной наукой. Постепенно взаимная связь между математикой и логикой привела к тому, что логика оказалась под влиянием математики.
После падения античной цивилизации развитие математики, и особенно логики, замедлилось, потому что новые логические идеи нередко вступали в противоречие с формами мышления церкви. Любопытно отметить: первое, что было восстановлено из античной науки, - это именно логика Аристотеля.
Первые идеи использования общепринятых математических методов в логике появились в XVII в., в трудах французского философа и математика Рене Декарда (1596-1650), немецкого философа и математика Вильгельма Лейбница (1646 – 1716). Лейбниц впервые высказал мысль о возможности применения двоичной системы счисления в вычислительной математике. Он считал, что можно заменить простые рассуждения действиями со знаками и привел соответствующие правила .
Но этим идеям Лейбница суждено было получить дальнейшее развитие лишь в середине XIX века в трудах другого великого математика Джорджа Буля , отца писательницы Э. Войнович – автора романа «Овод». Он вывел для логических построений
Особую алгебру (алгебру логики). В отличие от обычной, в ней символами обозначают не числа, а высказывания . Алгебру логики по другому называют булевой алгеброй.
Большой вклад в развитие математической логики также внесли Аугустус де Морган (1806-1871), Уильям Стенли Джевонс(1835-1882), Платон Сергеевич Порецкий(1846-1907), Чарлз Сандерс Пирс (1839-1914) и др.
Сегодня математическая логика нашла приложение в вопросах конструирования и применения вычислительной техники. В ЭВМ информация подвергается не только математической, но и логической обработке. Основу работы логических схем и устройств ЭВМ составляет специальный математический аппарат – раздел математической логики, называемой алгеброй логики.
Прежде чем перейти к изучению данной темы необходимо повторить следующие темы: информация, виды информации, способы получения информации и т.д.
Одной из форм получения информации является речь. Информацию человек может получить через вопросы и ответы. Каждый вопрос выражает потребность в знании определенных сведений об окружающем нас мире. Эти знания мы высказываем в форме суждений.
Основные формы абстрактного мышления:
- ПОНЯТИЯ,
- СУЖДЕНИЯ,
- УМОЗАКЛЮЧЕНИЯ.
Наверняка у вас есть товары или услуги, продажа которых приносит вам максимальную прибыль. Для быстрого старта в сети вам необходимо создание посадочной страницы (одностраничного сайта), на которой будет размещена информация о маржинальных товарах/услугах интернет магазина. За 8 лет опыта разработки конверсионных страниц мы выработали оптимальную структуру, которая позволит привлекать через landing page больше продаж. На такую структуру «одевается» ваш контент — фирменный стиль, тексты, фотографии, уникальные торговые предложения, после чего страница выходит в свет. Разработка лендинга и запуск в сети — до 7 рабочих дней. Стоит отметить, что в разработку самой посадочной страницы входит и написание копирайтером продающих текстов для вашего бизнеса, чтобы каждый посетитель страницы захотел совершить покупку именно у вас. Результат: качественно разработаная продающая посадочная страница, которая готова приносить вам новых клиентов.