Проект «логика для чайников» — параграф 1
?Previous Entry | Next Entry
Что такое логика?
Прежде, чем чесать языком, хорошо бы понять, каков предмет разговора. Что такое логика?
Если смотреть по словарю, это слово имеет много разных значений.
Самый забавный пример – женская логика. Если мужчина несет чушь, ему вполне можно сказать: ты несешь чушь, глупости, пургу, дурость. Если женщина говорит глупости, надо высказать ей это как-нибудь помягче, чтобы губки не надувала. 🙂 Например, сказать: “ох уж эта твоя женская логика”. А смысл примерно тот же: “ты несешь чушь”. Ради смеха иногда собирают целые коллекции глупостей под заголовком “женская логика”. Мужчины не реже женщин допускают логические ошибки, просто никому не придет в голову называть мужские ошибки “мужской логикой”.
В электронных схемах встречаются логические элементы.
Иногда слово “логика” означает то же самое, что слово “закономерность”. Например, логика поведения, внутренняя логика, логика происходящего.
И, наконец, то значение, которое применяется в этой книге.
Логика – наука о рассуждениях.
Примеры:
математическая логика – наука о рассуждениях в математике;
философская логика – наука о рассуждениях в философии;
формальная логика – наука о формальных рассуждениях.
Насколько логика научна, об этом еще будет подробный разговор. А “рассуждение” – это последовательность суждений, которая что-нибудь доказывает. Например:
Все люди – братья. Ирина Морковкина и Елена Морковкина – люди. Значит, Ирина и Елена – братья.
Что-то тут не так, не находите? Судя по фамилиям, Ирина и Елена могут быть сестрами, но никак не братьями.
- psilogic
- Мирослав Войнаровский
- Психологика
| July 2022 | ||||||
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
| 1 | 2 | |||||
| 3 | 4 | 5 | 6 | 7 | 8 | 9 |
| 10 | 11 | 12 | 13 | 14 | 15 | 16 |
| 17 | 18 | 19 | 20 | 21 | 22 | 23 |
| 24 | 25 | 26 | 27 | 28 | 29 | 30 |
| 31 | ||||||
- dreimora : (no subject) [+1]
- goh_dan : (no subject) [+4]
- ex_neo_is_fl156 : (no subject) [+3]
- xuxu4nok : (no subject) [+1]
- eugenebo : (no subject) [+3]
- (Anonymous) : (no subject) [+1]
- (Anonymous) : (no subject) [+0]
- Dmitry Ponyatov : Еще бы описание как все это прикрутить в практическом [+0]
Powered by LiveJournal.
com
«Какие существуют хорошие книги по логике?» — Яндекс Кью
Популярное
СообществаИскусство и культураЛитература+3
Анонимный вопрос
·
27,3 K
ОтветитьУточнитьВладимир Козлов
Технологии
2,4 K
Разработчик встроенных систем, немного радиолюбитель. · 22 сент 2020 · vladimir-coslow.narod.ru/index.html
А по какой именно логике?
Аристотелевой, математической или женской?
Например, по цифровой логике есть замечательная книга Аванесяна «Интегральные микросхемы».
)
Чтобы ни дня в жизни не работать, на практике совмещаю работу с хобби.
Перейти на vladimir-coslow.narod.ru/index.
Михаил Яковлев
9 июня 2022
О логике 42-летних греков мужского пола, выросших в полной семье)
Комментировать ответ…Комментировать…
Евгений Ключников
270
Нам очень интересно все то, что неизвестно · 7 дек 2016
Георгий Челпанов «Учебник логики» для начинающих очень подойдет. В нем о логике как науке, о понятиях и суждениях, о законах мышления, логических ошибках и т.д.
10,9 K
Комментировать ответ…Комментировать…
Анастасия Харитонова
413
Сериалов насмотрелась, а теперь сижу тут умничаю. А вообще я программист. · 23 авг 2016
Советую прочитать «Искусство правильно мыслить» (Ивин А.А.) Лично для меня она оказалась очень полезной и интересной, вы не потратите время зря, читая эту книгу.
Комментировать ответ…Комментировать…
Первый
Денис Ермаков
Business analyst · 18 авг 2021
Есть 2 основных типа логики: формальная и не формальная Формальная логика- это основная логика которой пользуется наука и философия. Это логика типа: аргумент и/или аргумент = следствие. Не формальная логика- попытка создать логику применимую в повседневной жизни и размышлении. ( многие эту попытку считают провалом) По формальной логике: Введение в логику. Бочаров… Читать далее
Комментировать ответ…Комментировать…
Sasha Peshkova
346
безработный · 20 авг 2016
А я бы порекомендовала не книгу по логике, а курс на сайте 4brain.
Читала книгу, и там есть все тоже самое, что и в курсе, только еще больше воды.
Павел Корнеев
7 августа 2019
Очень рекомендую профессора Императорского Санкт-Петербургского университета А.И. Введенского. Он был автором гимн… Читать дальше
Комментировать ответ…Комментировать…
Олег
6,4 K
местами экономист, немножко психолог, совсем чуть-чуть математик · 20 авг 2016
Я бы порекомендовал «Историю с узелками» Кэррола.
Это, конечно, не академическая книга, но зато более-менее весело читается, и при этом содержит немножко полезного материала.
Комментировать ответ…Комментировать…
Arsenii O
Математика
502
МГУ, НМУ · 20 авг 2016
Ой, их достаточно много: А.Н.Колмогоров и А.Г.Драгалин «Математическая логика»; С.
А.Янковская «Лекции по алгебре логики»; Н.К.Верещагин и А.Шень «Языки и исчисления»; из олдскульной классики — А.Пуанкаре «Математика и логика» и Г.Фреге «Логика и логическая семантика». Думаю, что этого для знакомства с логикой хватит 🙂
Daria Demekhina
20 августа 2016
Было бы здорово, если бы вы написали не просто названия книг, а рассказали бы пару слов про них!
Комментировать ответ…Комментировать…
Вы знаете ответ на этот вопрос?
Поделитесь своим опытом и знаниями
Войти и ответить на вопрос
Logic For Dummies Cheat Sheet
Логика — это больше, чем наука, это язык, и если вы собираетесь использовать язык логики, вам необходимо знать грамматику, которая включает в себя операторы, тождества, эквивалентности и квантификаторы для обоих сентенциальная и кванторная логика. И, если вы изучаете предмет, вам могут пригодиться советы по экзамену.Операторы сентенциальной логики, таблицы ввода-вывода и правила импликации
Работа с сентенциальной логикой означает работу с языком, предназначенным для точного и ясного выражения логических аргументов.
Чтобы использовать этот язык логики, вам нужно знать, какие операторы использовать, таблицы ввода-вывода для этих операторов и правила импликации.
В этой таблице представлены логические операторы предложений:
Следующие таблицы предлагают таблицы ввода-вывода для сентенциальных логических операторов:
Логика помогает вам делать выводы, которые вы делаете с помощью правил импликации для сентенциальной логики:
Правила эквивалентности для сентенциальной логики
В любой логической системе вы сравниваете утверждения, чтобы доказать или опровергнуть их достоверность. В сентенциальной логике для проведения таких сравнений используются следующие правила эквивалентности:
Правила идентичности и кванторов для логики кванторов
Логика кванторов включает в себя правила сентенциальной логики и расширяет их, так что вы можете писать целые операторы с логическими символами.
Эти символы вступают в игру, когда вы работаете с тождествами, или взаимозаменяемыми константами. Правила идентификации показаны здесь:
И, говоря об идентичностях, вы можете дать количественную оценку утверждениям, используя правила из следующей таблицы:
Советы по сдаче экзамена по логике
Для сдачи экзамена по логике требуется ясная голова и четкий план. Советы в следующем списке могут помочь вам подойти к экзамену по логике с наибольшей вероятностью доказать свое мастерство:
Начните с просмотра всего экзамена, чтобы понять, о чем идет речь.
Сначала разогрейтесь с простой задачей.
Заполнить таблицы истинности столбец за столбцом.
Если вы знаете, что допустили ошибку, скажите об этом — вы можете получить частичный зачет.
Если времени мало, закончи утомительные дела.
Проверяйте и перепроверяйте свою работу.
Об этой статье
Эта статья взята из книги:
- Логика для чайников,
Об авторе книги:
Марк Зегарелли — профессиональный писатель со степенью в области английского языка и математики Университета Рутгерса. Он зарабатывал себе на жизнь в течение многих лет написанием огромного количества логических головоломок, большим количеством документации по программному обеспечению и редкими рецензиями на книги или фильмы. Попутно он также оплатил несколько счетов за уборку дома, декоративную роспись и (в течение десяти часов) розничные продажи. Хотя больше всего ему нравится писать.Эту статью можно найти в категории:
- Логика ,
От логики и математики к коду.
Для начинающих, для «чайников. Часть I: Основы | Роман КривцовЧтение: 3 мин.
·
16 мая 2017 г.
Мы привыкли думать, что разработка ПО — это своего рода точная наука. По крайней мере, мы в это верим. Как еще мы собираемся доказать нашим клиентам, что наше программное обеспечение будет работать? Но на деле обычно все не так однозначно (ответ почему будет в конце 3-й части).
Конечная цель программирования — перевести бизнес-требования из предложения на естественном языке в конкретные команды процессора, которые заставят машину делать то, что мы действительно хотим. Проблема в том, что неформальную логику и естественный язык очень трудно адаптировать к формальным системам, если вообще возможно полностью. Видимо, потому что эволюционно наш разум и сознание строились по другим законам.
Но как-то переводим и иногда даже более-менее правильно. Но, может быть, когда-нибудь мы сможем делать это автоматически?
Разработчики больше не нужны! Ура!
Такие мысли будоражат многих футуристов и журналистов.
Недавно Microsoft даже создала нейронную сеть, которая может сама писать код, используя более неформальные инструкции от людей.
Но фундаментально , связь между неформальной и формальной логикой пока не ясна, полная обработка естественного языка еще не решена и не забывайте, что требования в неформальной логике легко могут иметь ошибки, которые могут быть незаметны.
Итак, давайте представим ситуацию с доски фрилансеров:
Предпосылка : Боб — программист
Предпосылка : Программист разрабатывает программное обеспечение
Предпосылка : Facebook — это программное обеспечение
Заключение 90 020 : Боб может разработать Facebook
Если вы фрилансер попросил бы клиента объяснить, что означает «Facebook», чтобы написать реализацию в основном правильно, ему или ей нужно было бы разработать формальную логическую систему, описывающую сущность «Facebook».
В идеале такое описание должно выглядеть как величайшие попытки человечества построить логически обоснованные определения: «Начала» Евклида или «Этика» Спинозы , где окончательные определения (геометрия и этика) выводятся из атомарных понятий, таких как точка, линия, круг, бог, природа и сознание.
Также все утверждения должны быть правильно доказаны, быть верными, полными и согласующимися с другими известными теоремами. Да и то можно попасть в беду, например, из-за Теорема Гёделя о неполноте , в которой говорится, что даже в формально полной системе можно встретить недоказуемые утверждения (например, Парадокс лжеца).
Вероятно, заказчик подумает, что вы сошли с ума, и найдет кого-то другого для создания какой-то социальной сети.
Поэтому мы не будем рассматривать перспективы замены разработчиков нейронными сетями, вместо этого шаг за шагом рассмотрим магию перехода от формальной логики к коду . Итак, начнем.
Первым человеком, который ввел понятие формальной логики (или аналитики, как ее тогда называли) и описал ее основы, был великий человек — Аристотель. Он открыл 3 из 4 законов логики (здесь и далее я буду использовать знакомые каждому разработчику логические операторы C++ вместо математических):
- Закон тождества (A == A)
- Закон непротиворечия (A && !A == false)
- Закон исключенного третьего (!A || A == true)
Что-нибудь из этого кажется знакомым?
Точно! Булева алгебра, которая рассматривает значения только как значения истинности и расширяет правила формальной логики.