Mantiq çi ye?

Mantiq peyvek e ku zanista ramanê diyar dike. Têgeheke din a mantiqê jî "lêkolîna rêbaz û prensîbên ku ji bo cudakirina ramanên rast ji xelet têne bikar anîn" e. Ev zanist gelek têgehan vedihewîne, di nav wan de argumankirin, matematîk û înformatîk. Kîjan qadan em dikarin mantiqê bi kar bînin binêre.

Peyva mantiq ji logos ya yewnanî tê û bi awayeke taybet a ramanê ve girêdayî ye. Mantiq qadeke Felsefeyê ye ku wekî destpêkek ji lêkolîna felsefî re tê dîtin, ji ber ku ew bi logos, aqil, peyvan, axaftinê ve girêdayî ye û li ser tiştek ku daxwaziya aqil û argumanan dike radiweste.

Fîlozofê Yewnanî Arîstoteles, şagirtê Platon, di têgihîştina mantiqê de kesayetek pir girîng e. Ew yekem bû ku li ser mijarê lêkolîn kir, û destnîşan kir ku ziman di navenda her tiştî de ye: ragihandin, huner, ramana razber û lêkolîna zanistî. Lê ji bo ku ew kar bike, pêdivî ye ku meriv li gorî bingehên zimannasî tevbigere.

Ew mantiq ku wekî zanistek hatî pêşkêş kirin, ji hêla Arîstoteles ve wusa nehatiye dîtin. Bi kurtasî, silogîzm argumana ku ji hêla pêşniyaran ve hatî çêkirin e. Ew şêwazek ramanê ye ku ji bo gihîştina encamê deduksiyonê bikar tîne, ji ber vê yekê çend pirsgirêk an lîstikên mantiqê hene.

Fîlozofê din ê ku bi zanista ramanê re hevkarî kiriye Gottlob Frege Almanî ye, di sedsala 19-an de. Wî hişyar kirji bo baştir têgihiştina mantiqê pêwîstiya matematîkê heye. Ji bo bicihanîna vê pêşgotinê, Frege hesaba pêşdarazê berfireh kir, rêbazek ku pêşniyarên zimanî bi riya daxistina matematîkî lêkolîn dike.

Li vir binêre hemî li ser wateya Metafizîkê .

Mantiqê Arîstotelesî

Pênaseya mantiqê Arîstotelesî lêkolîna mantiqê bi ramanê ye. Ji ber ku fîlozofê Yewnanî bawer kir ku mantiq mekanîzmayek e ku ramanê rast bike. Têgîn, daraz û aqil bingehên mantiqê ne. Taybetmendiyên mantiqa Arîstotelesî ev in: amûrî, resmî, pênasî/destpêkî, normatîf, doktrîna îsbatê û giştî/bêdem.

Arîstoteles ev pêşniyar wekî bingeha mantiqê jî destnîşan kiriye, ku daraz ramanê pêk tîne. Pêşniyar girêdanên ku pêşdaçekan (kalîteyê) didin mijarekê, ji van pêşniyaran re sîllogîzm tê gotin. Syllogism yekbûna ramanên felsefî û zanistî ye.

Eqlê Arîstoteles ku jê re bingehên mantiqê zimanî tê gotin, mantiqa serdema navîn ku heta sedsala sêzdehan dom kiriye, bi dawî kiriye. Feylesofên sereke yên serdema navîn Skenderê Aphrodisia, Porphyry û Galen bûn. Tesnîfkirina mantiqê ya serdema navîn zanista dadbarkirina rast ji bo rastkirina ramanê bû.

Mantiqê bernamekirinê

Mantiqê bernamekirinê ji berfirehkirinê pêk tê.rêzikên mantiqî. Prensîbên wê yên bingehîn guherto û domdar in, navên ku nirxek temsîl dikin û dubare ne hewce ne û her weha celebên daneyê, li Tîpa 1 têne dabeş kirin: nivîs, Tîpa 2: jimar, Tîpa 3: rastîn û Tîpa 4: mentiqî, binihêrin ka ravekirin çawa ye. ji van cureyên daneyan:

Tîpa 1: rêzika yek an jî çend tîpan, bi gelemperî di nav lêkerên ducarî de têne girtin. Cih jî tîp in;

Tîpa 2: nirxên hejmarî yên neyînî û erênî yên bê deh;

Tîpa 3: nirxên hejmarî yên neyînî û erênî yên bi deh dehkan;

Tîpa 4: alternatîvên wek ERÊ, NA, RAST û DEŞTIN.

Rêzên mantiqî yên ku bi têgînên jorîn tên nivîsandin algorîtmayên ku wek rîtma kekê dixebitin tê gotin. Algorîtmayan nîşan dide ku kompîturê di her rêzek mentiqî de çi bike. Algorîtma bi zimanekî bernamesaziyê tê nivîsandin ku dikare asta bilind an nizm be.

Zimanê bernamesaziyê di asta bilind de hêsan tê fêm kirin, ji ber ku, yekem, ferman di diagramekê de tê çêkirin, bi veguhertina armancê. çalakî, SQL (Zimanê sêwirana taybetmendiyê) mînakek zimanek asta bilind e. Zimanê nizm rêwerzên rasterast ên cîhazê ku bi tîp û jimareyan têne temsîl kirin vedibêje. Zimanê ASSEMBLY mînakek zimanek nizm e.

Li vir binêre hemî der barê Rasyonalîzm .

Mantiqa argumankirinê

Mantiqa argumankirinê ew e ku meriv çawa aqilê bi kar tîne da ku meriv qanih bike. Di vê mantiqê de, rêzikên pêşniyaran an jî gotinan bi hev re digihîjin encamê. Têgehên bingehîn ên mantiqê argumankirinê ev in: argumankirin, analojî, encam, daxistin û encam, ku:

Argumentasyon komek pêşgo yan hîpotezan e û ji encama wan re encamname tê gotin. Mînak: p1: Hemû Goianos muzîka welat distirê, p2: Hemî stranbêjên welat ji muzîkê hez dikin û p3: Hemî mirovên ji Goiás muzîka welat dibêjin;

Analojî berawirdkirinek di navbera argumanan de ye, mînak: "Ronahî ji bo rojê ye. wek ku tarî ji bo şevê ye”;

Encam bi karanîna komek pêşnûmeyên destpêkê digihîje encamê. Du cureyên encamgirtinê hene: deduction û induction. Di veqetandinê de agahdarî bi awayekî zelal an pêşniyarkirî di nav deran de ne, mînak: Pêşpirtika A: Çûk xwedî mêş in. Pêşdaçek B: Cureyek teyran a nû hat dîtin. Encam: Cureya nû xwedî bejik e. Di înductionê de, cîh têra agahdariya ku bigihîje encamekê radigihîne. Di inductionê de, encam bi îhtîmala herî guncaw tê wergirtin. Nimûne: Heger hemû çûkan xwedî bejik bin, divê cureyên nû jî xwedî bejik bin.

Wateya Mantiqê di kategoriya Felsefeyê de ye

Binêre.herwiha:

• Wateya Ehlaqê
• Wateya Epîstemolojiyê
• Wateya Epîstemolojiyê
• Wateya Metafizîkê
• Wateya Ehlaqê
• Wateya Civaknasiyê
• Wateya Empirîzmê
• Wateya Zanabûna Empirîk
• Wateya Ronahîbûnê
• Wateya Rasyonalîzmê