Логика је област филозофије која има за циљ проучавање формалне структуре изјава (пропозиција) и њихових правила. Укратко, логика служи за правилно размишљање, а самим тим и алат за исправно размишљање.
Логика потиче од грчке речи логотипи, што значи разлог, аргумент или говор. Идеја разговора и препирања претпоставља да оно што се говори има значење за слушаоца.
Овај смисао заснован је на логичкој структури, када нешто „има логику“ значи да то има смисла, то је рационалан аргумент.
Логика у филозофији
То је био грчки филозоф Аристотел (384. год. Ц.-322 а. Ц.) који је створио проучавање логике, назвао га је аналитичким.
За њега свако знање које се претвара да је истинито и универзално знање треба да поштује неке принципе, логичке принципе.
Логика (или аналитика) се схвата као инструмент исправног мишљења и дефиниција логичких елемената који леже у основи истинског знања.
Логички принципи
Аристотел се развио три основна принципа који воде класичну логику.
1. принцип идентитета
Биће је увек идентично са собом: ТХЕ é ТХЕ. Ако заменимо ТХЕ за Марију, на пример, јесте: Марија је Марија.
2. Принцип непротивуречности
Немогуће је бити и не бити истовремено, или да један ентитет буде уједно и његова супротност. то је немогуће ТХЕ бити ТХЕ и нот-А, истовремено. Или, следећи претходни пример: немогуће је да Марија буде Марија, а не да буде Марија.
3. Принцип искључене треће стране или искључене треће стране
У предлозима (субјект и предикат) постоје само две опције, било потврдне било негативне: ТХЕ é Икс или ТХЕ é но-к. Марија је учитељица или Марија није учитељица. Не постоји трећа могућност.
Погледајте такође:Аристотелова логика.
Пропозиција
У аргументу се оно што се каже и има облик субјекта, глагола и предиката назива предлогом. Пропозиције су изјаве, потврде или порицања, а њихова ваљаност или нетачност логично се анализира.
Из анализе пропозиција, проучавање логике постаје алат за исправно размишљање. За правилно размишљање потребни су (логички) принципи који гарантују његову ваљаност и истинитост.
Све што је речено у аргументу је закључак менталног процеса (мисли) који процењује и суди неке могуће постојеће везе.
Силогизам
Из ових принципа имамо дедуктивно логичко резоновање, односно из две претходне извесности (претпоставке) долази се до новог закључка на који се у премисама не говори директно. То се назива силогизам.
Пример:
Сваки човек је смртник. (премиса 1)
Сократ је човек. (премиса 2)
Према томе, Сократ је смртан. (закључак)
Ово је основна структура силогизма и темељ логике.
Три појма силогизма могу се класификовати према њиховој количини (универзалној, партикуларној или сингуларној) и њиховом квалитету (потврдни или негативни)
Предлози се могу разликовати у погледу квалитета у:
- Афирмације: С је П.. Свако људско биће је смртно, Марија је радница.
- Негативни: С није П.Сократ није Египћанин.
Такође се могу разликовати у својој количини у:
- Универзални: Свако С је П.сви људи су смртни.
- Приватни: Неки С је П. Неки мушкарци су Грци.
- Самци: Ово С је П.Сократ је Грк.
Ово је основа аристотеловске логике и њених извода.
Види и ти: Шта је силогизам?
Формал Логиц
У формалној логици, која се назива и симболичком, предлози се своде на добро дефинисане концепте. На овај начин речено није најважније, већ његова форма.
Логична форма исказа обрађена је путем (симболичког) представљања предлога словима: П., Штаи р. Такође ће истражити везе између пропозиција путем њихових логичких оператора: везници, дисјункције и условљавање.
пропозициона логика
Дакле, на предлозима се може радити на различите начине и служе као основа за формално потврђивање изјаве.
Логички оператори успостављају везе између пропозиција и омогућавају логично уланчавање њихових структура. Неки примери:
Порицање
Супротно је од појма или предлога, представљеног симболом ~ или ¬ (негација П. је ~ п или ¬ П). У табели, за п тачно, имамо ~ п нетачно. (сунчано је = П., није сунчано = ~ П. или ¬ П.).
Коњункција
То је унија између предлога, симбол ∧ представља реч „и“ (данас је сунчано и Идем на плажу, П. ∧ Шта). Да би веза била истинита, обе морају бити истините.
Дисјункција
То је раздвајање између пропозиција, симбол в представља "или" (Идем на плажу или Остани код куће, П. в Шта). За валидност, најмање један (или друго) мора бити тачно.
Условни
То је успостављање узрочног односа или условљености, симбол ⇒ представља "ако... онда..." (ако пада киша, онда Остаћу код куће, П. ⇒ Шта).
дво-условни
То је успостављање двосмерног односа условљености, постоји двострука импликација, симбол ⇔ представља "ако и само ако,". (Идем на час ако и само ако нисам на одмору, П. ⇔ Шта).
Примењујући се на табелу истине, имамо:
| П. | Шта | ~ стр | ~ шта | П. ∧ Шта | П. в Шта | П. ⇒ Шта | П. ⇔ Шта |
|---|---|---|---|---|---|---|---|
| В. | В. | Ф | Ф | В. | В. | В. | В. |
| В. | Ф | Ф | В. | Ф | В. | Ф | Ф |
| Ф | В. | В. | Ф | Ф | В. | В. | Ф |
| Ф | Ф | В. | В. | Ф | Ф | В. | В. |
Слова Ф и В могу се заменити нулом и један. Овај формат се широко користи у рачунској логици (Ф = 0 и В = 1).
Види и ти: Табела истине.
Остале врсте логике
Постоји неколико других врста логике. Ови типови су генерално изводи класичне формалне логике, представљају критику традиционалног модела или нови приступ решавању проблема. Неки примери су:
1. Математичка логика
Математичка логика је изведена из аристотеловске формалне логике и развија се из њених вредносних односа пропозиција.
У 19. веку математичари Георге Бооле (1825-1864) и Аугустус Де Морган (1806-1871) били су одговоран за прилагођавање аристотеловских принципа математици, дајући нови Наука.
У њему се кроз њихову логичку форму процењују могућности истине и лажи. Реченице се трансформишу у математичке елементе и анализирају на основу њиховог односа између логичких вредности.
Види и ти: Математичка логика.
2. Рачунарска логика
Рачунарска логика је изведена из математичке логике, али превазилази то и примењује се на рачунарско програмирање. Без ње би неколико технолошких достигнућа, попут вештачке интелигенције, било немогуће.
Ова врста логике анализира односе између вредности и трансформише их у алгоритме. За ово такође користи логичке моделе који се разилазе са моделом који је првобитно предложио Аристотел.
Ови алгоритми одговорни су за бројне могућности, од кодирања и декодирања порука до задатака попут препознавања лица или могућности аутономних аутомобила.
У сваком случају, цео однос који човек данас има са рачунарима пролази кроз ову врсту логике. Спаја темеље традиционалне аристотеловске логике са елементима такозване некласичне логике.
3. Некласична логика
Некласичном или антикласичном логиком препознаје се низ логичких поступака који напуштају један или више принципа развијених традиционалном (класичном) логиком.
На пример, нејасна логика (фуззи), који се широко користи за развој вештачке интелигенције, не користи трећи принцип изузећа. Претпоставља било коју стварну вредност између 0 (нетачно) и 1 (тачно).
Примери некласичне логике су:
- Логика фуззи;
- Интуиционистичка логика;
- Параконсистентна логика;
- Модална логика.
Занимљивости
Много пре било које врсте рачунарске логике, логика је служила као темељ свих постојећих наука. Неки ово образложење износе у своје име помоћу суфикса "логи“, грчког порекла.
Биологија, социологија и психологија су неки примери који чине њихов однос са логотипи Грчки, схваћен из идеје логичке и систематске студије.
Таксономија, класификација живих бића (царство, род, класа, поредак, породица, род и врста), чак и данас, следи логичан модел класификације у категорије које је предложио Аристотел.
Погледајте такође:
- Логичко расуђивање - вежбе
- Филозофске вежбе
