Логически символи - логиката - е на разположение за всички

логически символи

Всяка наука е система от знания, което е представено на определен език на философията, логика, математика, с който се създава различни видове на логика (логика на теорията), за да даде знания за методите и видове причини, форми и закони на абстрактно логично, рационално мислене, методи на познание, създадени специален език за адекватно изображение логическата знания.

Логически език - езикът на науката логика, която е създадена за адекватна картина на логически знания; система от символи, чрез които се симулира логично знания за обекта, изучава науката на логиката на определен етап от своето историческо развитие.

Символиката на логика - система от знаци (символи), използвани в логиката да се позова на срокове, предикати, Пропозиционални логически функции, отношенията между изречения. характер набор от символи, наречени логика. Логически символи са разделени на голям и малък

Появата на символична логика водена:

- давайки ново съдържание логически условия, които бяха въведени в традиционната логика, тъй като към момента на създаването си през пр.н.е. IV век. д;

Нови логически теории започнаха да се появяват от 20-те години на ХХ век и разработена в XXI век. Традиционната логика за повече от две хиляди години се използва за описване мислене в общ език. Само в XIX век. постепенно я утвърди идеята, че трябва да има специален изкуствен език, който се строи на строго формулирани правила за логически цели. Този език не е предназначен за комуникация. Тя трябва да бъде само една задача - определяне на логическите връзки на нашите мисли, но за решаване на този проблем е да бъде с най-голяма ефективност.

Принципи за изграждане на изкуствен логичен език са добре проектирани в модерен логика. то Създаване е около една и съща стойност в областта на мислене, за да инженерство извод, който в производството е преходът от ръчен труд за механизирано труда.

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

; ¬ - признаци, които служат за обозначаване отрицание; да се чете: "не", "това не е вярно";

•; Λ; - признаци за дизюнкция, нарича връзка; да се чете: "и";

V - знак, указващ логическата сухожилие, наречена неизключително дизюнкция; Той гласи: "или";

V - знак за строг, или елиминиране, дизюнкцията; както следва: "или, или";

→; - признаци за влиянието; То гласи: "ако, след това";

≡; ↔ - знаци за Пропозиционални равностойност; То гласи: "ако и само ако";

- универсален квантор; То гласи: "за всички", "всички";

- екзистенциална квантор; То гласи: "там", "има най-малко един";

L; N, - признаци за модален оператор е необходимо; да се чете: "необходимо е";

M - знак за модален оператор на възможност; да се чете: "възможно е".

Наред с горното, в логиката на множество системи, използвани и други специфични символи, всеки път като обяснява точно какво означава определен символ и как се чете.

Както пунктуация в изкуствени езици на логиката се използват, тъй като на езика на математиката, скоби.

Вземете, например, някои съдържателен забележки и да представи редица влизането им на езика на логиката:

а) "Този, който си мисли, ясно, ясно посочва" - (A → B); буквата А е твърдението, "Човек си мисли, ясно:" В - казва: "Човекът, ясно се казва" → - един куп ", ако, след това";

б) "Той - образован човек не е вярно, че той не е запознат с сонети на Шекспир" - А Λ

Б; И - твърдението "Той е образован човек," B - "Той не е запознат със сонетите на Шекспир," ламбда - връзки "и"

в) "Ако индикаторът има вълна характер, а след това, когато тя е представена като поток от частици (частици), оставя грешка" - (А → (B → C)); А - "има вълна естеството на светлина" Б - "светлина е представена като потока на частиците", C - "се отклоняваме";

ж) "Ако сте били в Париж, че видяхте Лувъра или Айфеловата кула се вижда" - (A → (В V в)); А - "Ти си бил в Париж," B - "Видя ли Лувъра" C - "Видя ли Айфеловата кула";

г) "Ако се нагрява материала, той ще се стопи или се изпарява, но може да се взривят" - (А → (B V. С V D)); А - "Веществото се нагрява," B - "разтопено вещество" S - "вещество се изпарява," Е "- вещество експлодира".

Ето още един прост пример за прехода от изкуствения език на логиката на обикновения език. Нека променлива се казва "теорията на Дарвин е научен" Б - "теория на експериментални данни на Дарвин може да бъде потвърдено от" C - ". Дарвиновата теория могат да бъдат оборени с експериментални данни" Какво смислено изразени становища по формулите:

Отговорът на този въпрос е, съответно, три твърдения:

а) Ако теорията на Дарвин е научен, ако може да бъде потвърдено от експериментални данни, то може да се отрече тях;

б) Ако теорията на Дарвин може да бъде потвърдено от експериментални данни, но не може да бъде оборена от тях, не е научен;

в) Ако теорията на Дарвин не може да бъде потвърдено от експериментални данни и не може да бъде оборена от тях, не е научен.