русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Логика

Логика (от греч. logos - слово, смысл, мысль, язык ) - наука о законах и формах мышления, методах познания и условиях истинности знаний и суждений. Главным объектом исследования логики являются описательные системы мышления, т.е. системы которые предлагаются как инструкция для людей (а также, возможно других разумных существ / машин) как следует правильно мыслить. При этом, такие инструкции не следует рассматривать как описание того, как люди на самом деле мыслят, что является предметом исследования других дисциплин, например когнитивной психологии.

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

Побочным продуктом логики есть рецепты мышления, то есть описание того как люди и другие разумные существа / машины / системы должны мыслить. При этом такие рецепты не являются существенными для предмета самой логики, но является скорее одним из ее практических применений. Более того, они не должны рассматриваться как описание того как люди на самом деле мыслят, что является предметом исследования других дисциплин, в частности когнитивной психологии.

Традиционно логика изучается как отрасль философии. Начиная с середины Восемьсот лет прошлого тысячелетия логика становится предметом исследования математики, а последнее время и информатики. Как наука, логика исследует и классифицирует структуры утверждений и аргументов и разрабатывает схемы их кодификации. Таким образом, предмет исследования логики может быть очень широким, включая суждения о вероятности и причинность. Логикой также исследуются структуры логических недостатков и парадоксы. Древние греки делили диалектику на логику и риторику.Риторика имеет дело с переконувального аргументацией, что может в определенной степени рассматриваться как противопоставление логике.

 

Область применимости логики

В процессе развития, в логике был внедрен ряд разграничений помогающие формализуванню различных форм логики как науки. Примеры таких разграничений приведены ниже.

 

Просмотров: 16340

Вернуться воглавление




Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Полезен материал? Поделись:

Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.