логика

Какво е логика:

Логиката е женственото съществително, произхождащо от гръцкия термин logiké, свързано с лога, разума, думата или речта, което означава наука за разсъжденията .

В преносен смисъл думата логика е свързана с конкретен начин на разсъждение правилно. Например: Това никога няма да работи! Вашият план изобщо няма логика!

Проблеми или логически игри са дейности, при които индивидът трябва да използва логически разсъждения за решаване на проблема.

Аристотелова логика

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

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

Логика на програмирането

Логиката на програмиране е езикът, използван за създаване на компютърна програма. Логиката на програмирането е от съществено значение за разработването на програми и компютърни системи, тъй като тя определя логическата връзка за това развитие. Стъпките за това развитие са известни като алгоритъм, който се състои от логическа последователност от инструкции за изпълняваната функция.

Аргументна логика

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

Фуба е куче.

Всички кучета са бозайници.

Следователно, Fubá е бозайник.

Математическа логика

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

Математическата логика също се използва за конструиране на валидното разсъждение чрез други аргументи. Мотивите могат да бъдат дедуктивни (заключението непременно се получава от истината на помещенията) и индуктивни (вероятностни).

Формалната логика може да се раздели на две групи: предложена логика и предикатна логика.

Лайбниц се възприема от мнозина като ум, който инициира концепцията за формална или математическа логика, която разглежда централните въпроси на математиката. Но едва след 1890 г. с Пеано започва въпросът за последователността на аксиомите. Някои важни принципи на формалната логика са открити в Математическия анализ на логиката на Джордж Бул (автор на логическа или булева алгебра).

Пропозиционна логика

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