ШЕСТ ВРСТА ЛОГИКЕ И ЊИХОВО ЗНАЧЕЊЕ - ФИЛОЗОФИЈА - 2025

Постоји неколико врста логике и сви они свој предмет проучавања усмеравају на разумевање резоновања и препознавање када су тачне или нетачне. Проучавање логике развило се од времена грчког филозофа Аристотела до данашњих дана.

Етика се прилагођава са намером да буде специфичнија и истовремено прилагођаванија свакодневном животу човека, што омогућава опипљивију примену у различитим областима.

Аристотел, препознат као отац логике.

Логика тражи систематско проучавање аргумената и пропозиција, а различите врсте логике омогућавају проучавање и само формалне структуре ових изјава, као и шта има везе са садржајем и снагом поменутог садржаја.

Иако се логика заснива на проучавању изјава, она се не фокусира јасно на природни језик (језик какав га познајемо), али његова корисност је достигла различита подручја и са различитим структурама, попут математике и рад на рачунару.

Најрелевантније врсте логике

Формална логика

Формална логика, позната и под називом класична логика или Аристотеловска логика, је проучавање пропозиција, аргумената, изјава или реченица са структуралног становишта. То је метода структурирања мисли и одређивања тачних или погрешних облика одређеног приступа.

Формална се логика не фокусира на истинитост или лажност садржаја одређеног аргумента, већ се концентрише на ваљаност или не конструкцију његовог облика.

То јест, предмет проучавања формалне логике није емпиријски, за логичара није релевантно да се утврди да ли је представљени аргумент стваран и доказан; Уместо тога, његова студија је јасно фокусирана на структуру наведеног аргумента.

У оквиру формалне логике постоје двије врло важне класификације: дедуктивна логика и индуктивна логика.

Дедуктивна логика односи се на оне специфичне изјаве које су настале из општих појмова. Кроз ову врсту логике могу се закључивати из концепата или теорија које већ постоје.

На пример, унутар дедуктивне логике могло би се рећи да, ако људи имају ноге, а Клара је људско биће, онда Клара има ноге.

У случају индуктивне логике, конструкција аргумената догађа се на супротан начин; то јест, општи појмови се стварају из одређених аргумената.

На пример, унутар индуктивне логике могло би се рећи да, ако једна мачка воли рибу, а друга такође, а друга такође, онда све мачке воле рибу.

Неформална логика

Неформална логика је грана студије која се фокусира на језик и поруку која потиче из семантичких конструкција и аргумената.

Та се логика разликује од формалне логике, јер формална логика проучава структуре реченица и приједлога; а неформална логика фокусира се на суштину пренесене поруке.

Његов циљ проучавања је начин аргументирања како би се постигао жељени резултат. Неформална логика даје ваљаност логичким аргументима који су кохерентнији међу осталим и који имају слабију аргументативну структуру.

Некласична логика

Некласична логика, односно модерна логика, потиче из деветнаестог века и настаје противно изјавама класичне логике. Оно успоставља друге облике анализе који могу обухватити више аспеката од оних који се могу обухватити класичним приступом логици.

Тако су укључени математички и симболички елементи, нове изјаве или теореме који су надокнадили недостатке формалног логичког система.

Унутар некласичне логике постоје различите подврсте логике, попут модалних, математичких, тровалентних, између осталих.

Све ове врсте логике се у одређеној мери разликују од формалне логике, или укључују нове елементе који се надопуњују и омогућавају да логичка студија одређене изјаве буде тачнија и прилагођена корисности у свакодневном животу.

Симболичка логика

Симболичка логика се назива и логиком првог реда, или математичком логиком, а карактеризира је употребом симбола који представљају нови језик преко којег се аргументи "преводе".

Намера симболичке логике је да апстрактне мисли претвори у формалније структуре. У ствари, не користи природни језик (идиом), већ користи технички језик који реченице претвара у елементе подложне примјени тачнијих правила него што се могу примијенити у природном језику.

Дакле, симболичка логика омогућава третирање приједлога кроз законе прорачуна, како би се избегла конфузија или нетачности.

Тежи да укључи математичке елементе у анализу структура формалне логике. У математичком царству логика се користи за доказивање теорема.

Укратко, симболичка или математичка логика настоји изразити људску мисао математичким језиком.

Ова математичка примјена логике омогућава да аргументи и конструкције буду тачнији.

Модална логика

Модална логика фокусира се на проучавање аргумената, али додаје елементе повезане са могућношћу да је дотична изјава тачна или лажна.

Модална логика покушава бити што више усклађена с људском мишљу, стога обухвата употребу конструкција попут "могао", "могуће", "понекад", "можда", "вјероватно", "вјероватно", "можда ", између осталог.

У модалној се логици ради о разматрању сценарија у којем постоји могућност и оно има тенденцију да размотри све могућности које могу постојати с логичког становишта.

Рачунална логика

Рачунална логика је врста логике изведена из симболичке или математичке логике, само се примењује у подручју рачунања.

Рачунални програми користе програмски језик за свој развој и, помоћу логике, могуће је радити на тим језичким системима, доделити одређене задатке и извршити радње верификације.

Референце

1. "Логика" у Енцицлопедиа Британница. Преузето 4. августа 2017. из Енцицлопедиа Британница: британница.цом
2. "Формална логика" у Енцицлопедиа Британница. Преузето 4. августа 2017. из Енцицлопедиа Британница: британница.цом
3. Хернандез, Ф. "Рачунарска логика" на Националном аутономном универзитету у Мексику. Преузето 4. августа 2017. са Националног аутономног универзитета у Мексику: унам.мк
4. Муноз, Ц. „Некласична логика“ на Универзитету Цомплутенсе у Мадриду. Преузето 4. августа 2017. са Универзитета Цомплутенсе у Мадриду: уцм.ес
5. Јулиа, Ј. "Шта је симболичка логика?" на еХов-у на шпанском. Преузето 4. августа 2017. из еХов на шпанском: еховенеспанол.цом
6. Оллер, Ц. „Формална логика и аргументација“ (2006) на Националном универзитету у Ла Плати. Преузето 4. августа 2017. са Националног универзитета у Ла Плати: рфитп.фахце.унлп.еду.ар
7. „Одводни и индуктивни закључци“ у Јунта де Ектремадура. Преузето 4. августа 2017. у Јунта де Ектремадура: едуцарек.ес.