Што такое логіка?

Логіка - гэта слова, якое вызначае навуку разважанняў. Іншая канцэпцыя логікі - гэта "вывучэнне метадаў і прынцыпаў, якія выкарыстоўваюцца для адрознення правільных разваг ад няправільных". Гэтая навука ахоплівае некалькі паняццяў, сярод іх аргументацыя, матэматыка і інфарматыка. Праверце ніжэй, у якіх галінах мы можам выкарыстоўваць логіку.

Слова логіка паходзіць ад грэчаскага logos і асацыюецца з пэўным спосабам развагі. Логіка - гэта вобласць філасофіі, якая разглядаецца як увядзенне ў філасофскае даследаванне, паколькі яна звязана з лагатыпамі, прычынай, словамі, дыскурсам і разважае пра тое, што патрабуе аргументацыі і аргументацыі.

Грэчаскі філосаф Арыстоцель, вучань Платона, з'яўляецца вельмі важнай фігурай у разуменні логікі. Ён быў першым, хто пачаў вывучаць гэтую тэму, вызначыўшы, што мова знаходзіцца ў цэнтры ўсяго: зносін, мастацтва, абстрактнага мыслення і навуковых даследаванняў. Але каб яна працавала, неабходна прытрымлівацца лінгвістычных перадумоў.

Арыстоцель не разглядаў логіку як навуку. Карацей кажучы, сілагізм - гэта аргумент, утвораны прапановамі. Гэта форма развагі, якая выкарыстоўвае дэдукцыю, каб прыйсці да высновы, таму існуе некалькі задач або лагічных гульняў.

Іншым філосафам, які супрацоўнічаў з навукай аб развагах, быў немец Готлоб Фрэге ў 19 стагоддзі. Ён папярэджваўнеабходнасць матэматыкі для лепшага разумення логікі. Каб матэрыялізаваць гэтую перадумову, Фрэге распрацаваў вылічэнне прэдыкатаў, метад, які вывучаў лінгвістычныя прапановы праз матэматычную дэдукцыю.

Глядзіце тут усё пра значэнне Метафізікі .

Арыстоцелеўская логіка

Арыстоцелеўская логіка - гэта вывучэнне логікі праз мысленне. Гэта таму, што грэчаскі філосаф лічыў, што логіка была механізмам пацверджання думкі. Паняцце, меркаванне і разважанне з'яўляюцца пасылкамі логікі. Характарыстыкі арыстоцелеўскай логікі: інструментальная, фармальная, прапенеўтычная/папярэдняя, ​​нарматыўная, дактрына доказу і агульная/пазачасовая.

Арыстоцель таксама ўказваў на прапанову як на аснову логікі, дзе меркаванні ўтвараюць думку. Сказы - гэта сувязі, якія надаюць суб'екту прэдыкаты (якасць), такія сказы называюцца сілагізмамі. Сілагізм - гэта саюз паміж філасофскімі і навуковымі думкамі.

Разважанні Арыстоцеля, названыя асновамі лінгвістычнай логікі, сталі вяршыняй сярэднявечнай логікі, якая праіснавала да XIII ст. Галоўнымі сярэднявечнымі філосафамі былі Аляксандр Афрадызія, Парфірый і Гален. Сярэднявечная лагічная класіфікацыя была навукай аб дакладным меркаванні для пацверджання думкі.

Логіка праграмавання

Логіка праграмавання складаецца з распрацоўкілагічных паслядоўнасцей. Яго асноўныя прынцыпы - гэта варыянты і канстанты, імёны, якія прадстаўляюць значэнне і не патрабуюць паўтарэння, а таксама тыпы даных, падзеленыя на тып 1: тэкст, тып 2: цэлы лік, тып 3: рэальны і тып 4: лагічны, праверце, як апісанні з гэтых тыпаў даных:

Тып 1: радок з аднаго або некалькіх сімвалаў, звычайна ў двукоссі. Прабелы таксама з'яўляюцца сімваламі;

Тып 2: адмоўныя і дадатныя лікавыя значэнні без дзесятковых знакаў;

Тып 3: адмоўныя і дадатныя лікавыя значэнні з дзесятковымі знакамі;

Тып 4: такія альтэрнатывы, як ТАК, НЕ, ПРАЎДА і ХЛУСНЯ.

Лагічныя паслядоўнасці, запісаныя з прыведзенымі вышэй паняццямі, называюцца алгарытмамі, якія працуюць як рэцэпт торта. Алгарытмы паказваюць кампутару, што рабіць у кожнай лагічнай паслядоўнасці. Алгарытмы напісаны з выкарыстаннем мовы праграмавання, якая можа быць высокага або нізкага ўзроўню.

Мову праграмавання высокага ўзроўню лёгка зразумець, таму што, па-першае, каманда складаецца ў дыяграме з пераўтварэннем у меркаваную дзеянне, SQL (Specification Design Language) з'яўляецца прыкладам мовы высокага ўзроўню. Мова нізкага ўзроўню адносіцца да прамых інструкцый для прылады, прадстаўленых літарамі і лічбамі. Мова ASSEMBLY з'яўляецца прыкладам мовы нізкага ўзроўню.

Глядзіце тут усё пра Рацыяналізм .

Логіка аргументацыі

Логіка аргументацыі заключаецца ў тым, як выкарыстоўваць развагі, каб пераканаць чалавека. У гэтай логіцы паслядоўнасці прапаноў або выказванняў аб'ядноўваюцца, каб прыйсці да высновы. Асноўнымі паняццямі логікі аргументацыі з'яўляюцца: аргументацыя, аналогіі, высновы, дэдукцыі і высновы, дзе:

Аргументацыя - гэта набор пасылак або гіпотэз, і іх вынік называецца высновай. Прыклад: p1: усе гаянцы спяваюць кантры, p2: усе кантры-спевакі любяць музыку і p3: усе жыхары Гаяса спяваюць кантры;

Аналогія - гэта параўнанне паміж аргументамі, прыклад: "Святло для дня як цемра для ночы”;

Вывад - гэта прыход да высновы з выкарыстаннем набору зыходных пасылак. Існуе два віды высновы: дэдукцыя і індукцыя. У дэдукцыі інфармацыя знаходзіцца ў памяшканні ясным або прапанаваным спосабам, напрыклад: Прыназоўнік A: У птушак ёсць дзюбы. Прыназоўнік Б: Адкрыты новы від птушак. Выснова: новы від мае дзюбу. У індукцыі памяшканні перадаюць дастаткова інфармацыі, каб прыйсці да высновы. У індукцыі выснова атрымліваецца па найбольш прыдатнай верагоднасці. Прыклад: калі ўсе птушкі маюць дзюбу, новы від таксама павінен мець дзюбу.

Значэнне логікі знаходзіцца ў катэгорыі філасофіі

Гл.таксама:

• Сэнс этыкі
• Сэнс эпістэмалогіі
• Сэнс эпістэмалогіі
• Сэнс метафізікі
• Значэнне маралі
• Сэнс сацыялогіі
• Сэнс эмпірызму
• Сэнс эмпірычных ведаў
• Сэнс Асветніцтва
• Сэнс рацыяналізму