Објави:
6 главних типова логике
Има их неколико врсте логике и сви фокусирају свој предмет истраживања на разумевање расуђивања и идентификују када су исправни или нетачни.
Проучавање логике еволуирало је од времена грчког филозофа Аристотела до садашњости, а то је прилагођено са намером да буде специфичније и истовремено прилагођеније свакодневном животу људског бића, што му омогућава опипљивија примена у различитим областима.
Логика тражи систематско проучавање аргумената и тврдњи, а различите врсте логике омогућавају да се проучи и чисто формална структура ових изјава, као и оно што има везе са садржајем и снагом наведеног садржаја.
Иако се логика заснива на проучавању изјава, она се не фокусира јасно на природни језик (језик какав познајемо), али његова корисност је достигла различите области и са различитим структурама, као што су математика и цомпутинг.
Најрелевантнији типови логике
Формално
Формална логика, позната и као класична логика или аристотелова логика, је проучавање пропозиција, аргумената, изјава или реченица са структурне тачке гледишта..
То је метода за структурирање мисли и утврђивање исправних или нетачних облика специфичног приступа.
Формална логика се не фокусира на истину или неистинитост садржаја одређеног аргумента, већ се фокусира на ваљаност или другачије конструкције његовог облика..
Наиме, предмет проучавања формалне логике није емпиријски, јер за логичара није релевантно одредити да ли је приказани аргумент стваран и доказан; али његова студија је јасно фокусирана на структуру наведеног аргумента.
У оквиру формалне логике постоје две веома важне класификације: дедуктивна логика и индуктивна логика.
Дедуктивна логика се односи на оне специфичне изјаве које су генерисане из општих појмова. Кроз овај тип логике могу се извести закључци из концепата или теорија које већ постоје.
На пример, унутар дедуктивне логике може се рећи да, ако људи имају ноге и Цлара је људско биће, онда Цлара има ноге.
У случају индуктивне логике, конструкција аргумената се дешава на супротан начин; то јест, опћи концепти се стварају из специфичних аргумената.
На пример, унутар индуктивне логике може се рећи да, ако једна мачка воли рибу, а други јој се допада, а друга такође, онда све мачке воле рибу.
Неформално
Неформална логика је грана студија која се фокусира на језик и поруку која произилази из семантичких конструкција и аргумената.
Ова логика се разликује од формалне логике, у тој формалној логици проучава структуре реченица и пропозиција; и неформална логика се фокусира на позадину пренесене поруке.
Његов предмет истраживања је начин да се аргументује да би се добио жељени резултат. Неформална логика потврђује логичке аргументе који су кохерентнији међу другима који имају слабију структуру аргументације.
Није класично
Некласична логика, или модерна логика, потиче из деветнаестог века и појављује се у супротности са изјавама класичне логике..
Она успоставља друге облике анализе који могу покрити више аспеката него што је могуће обухватити кроз класични приступ логике.
Овако су укључени математички и симболички елементи, нове изјаве или теореме које су надокнадиле недостатке формалног логичког система.
Унутар не-класичне логике постоје различити подтипови логике, као што су модални, математички, тровалентни, између осталих..
Све ове врсте логике се донекле разликују од формалне логике, или укључују нове елементе који су комплементарни, и дозвољавају да логично проучавање одређене изјаве буде прецизније и прилагођено корисности у свакодневном животу..
Симболиц
Симболичка логика се такође назива логика првог реда, или математичка логика, и карактерише је употребом симбола који чине нови језик кроз који се "преводи" аргументи.
Намера симболичке логике је да претвори апстрактне мисли у формалне структуре.
У ствари, она не користи природни језик (језик), већ користи технички језик који претвара реченице у елементе који су подложни примјени прецизнијих правила него што се могу примијенити на природном језику..
Затим, симболичка логика дозвољава третман пропозиција кроз законе израчунавања, како би се избјегла забуна или неточности.
Он настоји да укључи математичке елементе у анализу формалних логичких структура. У математичком пољу, логика се користи за доказивање теорема.
Укратко, симболичка или математичка логика настоји да изрази људску мисао кроз математички језик.
Ова математичка примена логике омогућава прецизније аргументе и конструкције.
Модал
Модална логика се фокусира на проучавање аргумената, али додаје елементе везане за могућност да је изјава о којој је ријеч истинита или лажна.
Модална логика се претвара да је више сагласна са људском мишљу, стога укључује употребу конструкција као што је "могла", "можда", "понекад", "можда", "вероватно", "вероватно", "можда" ", Између осталих.
У модалној логици, то је ствар разматрања сценарија у којем постоји могућност, а настоји се узети у обзир све могућности које могу постојати, са логичке тачке гледишта..
Цомпутатионал
Рачунарска логика је тип логике изведен из симболичке или математичке логике, само што се примењује у области рачунарства.
Компјутерски програми користе језик програмирања за њихов развој и, кроз логику, могуће је радити на тим језичким системима, додјељивати одређене задатке и извршавати верификационе радње..
Референце
- "Логика" у енциклопедији Британница. Преузето 4. августа 2017 из Енцицлопедиа Британница: британница.цом
- "Формална логика" у енциклопедији Британница. Преузето 4. августа 2017 из Енцицлопедиа Британница: британница.цом
- Хернандез, Ф. "Цомпутатионал Логиц" на Националном аутономном универзитету у Мексику. Преузето 4. августа 2017. из Националног Аутономног Универзитета у Мексику: унам.мк
- Муноз, Ц. "Некласична логика" на мадридском универзитету Цомплутенсе. Преузето 4. августа 2017 из Универсидад Цомплутенсе де Мадрид: уцм.ес
- Јулиа, Ј. "Шта је симболичка логика?" У еХов ен Еспанол. Преузето 4. августа 2017 из еХов ен Еспанол: еховенеспанол.цом
- Оллер, Ц. "Формална логика и аргументација" (2006) на Националном универзитету у Ла Плати. Преузето 4. августа 2017 из Националног Универзитета у Ла Плати: рфитп.фахце.унлп.еду.ар
- "Дедуктивни и индуктивни закључци" у Јунта де Ектремадура. Преузето 4. августа 2017. у Јунта де Ектремадура: едуцарек.ес.