Какво става, ако имате повече от един логически

След бележките, които логически - един. Получих писмо от читател Грегъри:

За съжаление, тази вяра в логиката може да направи лоша услуга.

В математика използват формалната логика означава Доказано е, че формулата "освен ако А и В трябва да бъде от B С, след това от А и Б да бъде едновременно и С» е т. Н. тавтология вярно за всяко изявление A, B, C. В същото време, реалния живот не иска да бъде в рамките на формалната логика.

Нека A = «Гриша разполага със 100 рубли», B = «Гриша може да отиде на кино», C = «Гриша може да яде торта." От лоялност към твърденията "Гриша е $ 100, а след това тя може да отидете на кино" и "Гриша има 100 рубли, това може да означава да се яде торта" трябва да следва отчета за лоялност "Гриша е $ 100, а след това той може да се яде пай, и отидете на кино ", които, като се има предвид ограниченото количество рубли, всъщност, не е вярно :-)

Това не е логично капан, е пример за това, че формалната логика, работещи в областта на математиката, може да не работи и в други области на знанието. В този случай, ние ще спаси модална логика. Това е втората поредна :-) логика - не един :-)

Това е доста типична ситуация - когато човек не знае как да се справи с логика, той си мисли, че проблемът е в логиката, а не в него. "Вярата в логиката", без да разбират, че може да направи лоша услуга - като всяка друга вяра, така че нека да се опитаме да се движат от вяра към разбиране, а ние трябва да се разбере с какво се случва тук.

Всъщност (A → B) (A → C) единствено и само ако A → (Британска Колумбия) (тук аз съм на традицията на математика заедно пиша това, което се умножава, тогава там е "I"). За да проверите това:

Всички формули на логика винаги се оказаха истина маси, отпрати тези, които ви кара да ги оттегли от един на друг - тъжно нещо в живота не е намерен. Истина таблици за (А → В) (А → С) и А → (BC) съвпадат, отчети еквивалентни средства. Пишем тези изявления в Руската честно:

(A → B) (A → C): От това, което Гриша е $ 100, то следва, че Грегъри може да отидете на кино, а дори и от факта, че Гриша е $ 100, то следва, че Грегъри може да яде баница.
А → (Британска Колумбия): От това, което Гриша е $ 100, то следва, че Грегъри може да отидете на кино и Грегъри може да яде баница.

Последното твърдение е съвсем вярно: Гриша действителност се предлага и двете възможности, и това може да направи и двете. Ако използвате една от възможностите, той ще загуби от друга, защото тя вече няма да бъде сто рубли, предпоставката ще бъде наред, и по този начин потвърждават верността на разследването вече ще бъде невъзможно. Между другото, в първоначалните твърдения обикновено са достатъчно данни, за да се прецени истинността на твърденията на Грегъри: Допускаме само от житейски опит, че когато отидеш на кино или да яде баница, вие ставате по $ 100 по-малко.

Защо има чувството, че има уловка? Защото bolgarskogovoryaschy хора разбират фразата "и ядат пай и си отиват на кино", не толкова, че и двете са налични и двете опции, както и, че ако Гриша отива на кино, той все още има останали пари в тортата, или, ако той ще яде торта, имат той все още има останали пари за филма. Но това е не съответства на смисъла на отчети A → (Британска Колумбия). Грегъри просто объркана логика, и тънкостите на българския език.

С езика на всички такива неща, че Иван га Маря - това не е задължително да е връзката на Иван и Мария. Но това не е причина да се твърди, че "в ботаническата логика връзка на хората, дава на растението." Ако има дисциплина на "модална логика", която въвежда устройството, което помага да се премахне такива грешки, дължащи се на условията "да" тип, а след това за Бога, непременно го някъде удобно. Просто, ако не се подчиняват на законите на логиката, той може безопасно да се изхвърлят.

Какво става, ако имате повече от един логика? Научи логика, докато стане един.

Консултации по Skype
за дизайна на уеб сайтове и приложения
10 000 ₽ / час