Mijarek çi ye: Qanûn û Qanûn

Logic têgehek celebek e, di nav jiyan û çandî de di nav me de axaftin. Di vê gotarê de, em ê ji nîqaşek zanyariyek zanistî ka çi maqûl e? Wateya, cure, qanûnê yên agahdarî û dîrokî yên me di vê yekê de alîkariya me bike.

Taybetmendiyên gelemperî

Wêca logîk çi ye? Wateya diyalogê ya logic pir pirrjimar e. Di Greek de, ew tê wateya "raman," "hiş," "peyv," û "riya rastiyê". Di şirovekirina modern de ev têgehan di sê rewşan de tê bikaranîn:

1. Daxuyaniya pêwendiyên û nimûneyên ku çalakiyên mirovan an bûyerên li cîhanê armanca yekîtiya yekbûyî. Di vê wateyê de, têgihanên wisa wekî "zincek", "logic of facts", "logic of things" û bi vî awayî têne bikaranîn.
2. Sernavkirina peydakirina hûrgelan û nirxên hişk ên pêvajoya ramanê. Di vê rewşê de, îfadeyên wekî "logic of reasoning", "logic of thinking", "logic axaftin" û hingê têne bikaranîn.
3. Siyasetkirina zanistek taybetî ye ku formên rexne û operasyonên xwendekaran, û herweha qanûnên ramanê yên wan re têkildar kirin.

Tasksên logic

Wekî ku hûn dikarin bibînin, di rewşeke taybetî de hebe hema hema çend bersivên pirsa bersivê bibin: "Dîtin çi ye?" Dîroka karûbarên mantîk kêmtir zûtir e. Karê sereke ew e ku li ser bingeha pêşerojê bigihîne û li ser mijara maqûlkirina zanistî da ku ji bo pêwendiyên wê bi rexnegirên din ên fenomenon di bin çavdêriya xwe de tête bin. Di her zanyariyê de, yek ji sereke sereke maqij e. Ew ne tenê beşek felsefek girîng e, lê ew jî hinek hînkirina mathematîkî bandor dike. "Algebra ya logic" ye ku di navendên mathematîkî de tê zanîn zanîn. Hin caran ew bi algebra Boolean re ye, ku bingeha zanistiya komputerê ye, lê ev yek ne rast e.

Logic informal

Mainly logic tête navîn:

1. Informal.
2. Formal
3. Symbolîk.
4. Zaravayî

Logic Informal ev lêkolînek sedemên di zimanê zimênî de ye. Ev peyv di wêjeya îngilîzî-ziman de gelemperî ye. Bi vî awayî, erkên sereke yên masonîk ên nexşandî di axaftina çewtiyê de çewtiyek e. Di encamê de, ku zimanek sirûştî hatiye çêkirin, dibe ku naveroka fermî ya fermî heye, heger ew dikare diyar bikin ku ew tenê serîlêdana taybet a serweriya gerdûnî ye.

Logic û sembolîk

Çareseriya hilberîna hilberê ku nîşan dide ku naveroka gelekî fermî tête têkoşîna fermî tê gotin. Ji bo ku muxalefeta sembolîk, ev astengiyên sembolîk digerin ku kompîtasyona fermî ya erêkirina rastîn pêk tê.

Mentorên devkî

Mijarek mozîkî ya zanistî zanistî ye, ku zanyarî ji forma ramanan dide, ku dibe ku derfetên nirxên fermî zêde dike. Di vê rewşê de, têgeheke logic dikare di nav xwe ya mentîk de, û di forma hin şefekek taybet de tê bikaranîn.

Sedemên zaravayî yên li ser qanûnên fermî yên logic ve girêdayî ye. Di heman demê de, dînamîkên veguherandina têgotinên wan ên li dijî wan, analîz dike ku lihevhatina dijberan, û hence, ew qanûnên devokî têne rêve kirin.

Objective of logic

Wateya wekî logic wekî zanistek eşkere ye ku objecta xwe ev ramana mirovan e . Bifikirin pêvajoyek eşkere ye, pêvajoyek pir-rûyê pêvajoyê ye ku tevlîheviya tiştan û têkiliyên cîhanê me li derdora me ya giştî. Ev pêvajoya bi zanistên cuda cuda ye: philosophy, psîkolojî, genetîk, zimanî û cybernetics. Fîlsefeya giyanî û bingeha ramana xwe, herweha nasnameya wê bi cîhanê û cîhana materyal e. Siyasolojiya rewşa şertên normal ên ramanê û pêşveçûna wê, herweha bandora hawirdorê kontrol dike. Genetics tête ku mebesta mekanîzmaya mîrasiyona aborî ya ji bo nerazîbûnê bixwînin. Linguistics peywendiya navbera axaftina ramanê digerin. Bi rastî, cybernetics hewl dixebitin ku modela teknîkî çêbikin ku mizgeft û ramanê mirov. Logic xwe di pêvajoyê de di warê avakirina ramana ramanê de, û her weha rastiya an neheqiya neheqiyê, di dema ku naverok û naveroka fikrên xwe balkêş e.

Babeta Logic

Di mijara vê devera zanînê de forma masonî ye, operasyonên bi pêwendî û qanûnên ramanê ye. Ev yek e ku mijara mijara maqûlkirina xwendina maqûl, bi pêvajoya ku di derheqa dinyayê de dizanin. Têgihîştina pêvajoyek e ku pêvajoya kesek fêrbûna cîhanê ye. Du awayên ku zanîna zanyariyê hene:

1. Nasnameya navîn. Ew bi alîkariya alîkariya organên anku an jî amadekirin.
2. Zanîna rationale. Ew bi alîkariya fikra abstract ve tête kirin.

Siyasetiya materyalîst a zanist li ser helwesta refên xwe ye. Li gorî vê pîvanê, dadgeh, tiştên û cîhanê yên cîhana armanca dikare tesîrê kesek bandor dike û pergala agahdariya agahdariya agahdariyê bi mêjû ve bikêr bike û bixwe jî xwezayî çalak bike, wekî encama ku ev wêneyên van tişt û fenomena di nav ramana mirovan de têne afirandin.

Nasnameya navîn

Sensional bi zanistiya xerîdarên derve yên hin tişt û fenomena tê gotin. Sognual Sensual di sê rengan de pêk tê:

1. Sansation . Xanûbereyên kesane yên objecta veguherîne.
2. Têgihiştinê . Vê mijara temamî xuya dike, nimûne wêne ya întegral.
3. Nûnerên Ev wêne an tiştek e ku di bîra min de ye.

Di qonaxa nasnameya hestir, kesek her tim li ser bingeha tiştên û pêvajoyê, taybetmendiyên navxweyî ne. Şahalek piçûk ji çîroka deryayê ya Exypery got: "Tu nikarî tiştek herî girîng nabînin". Di raman de di bin rewşên hişyariyê de an jî hestiyariya aboriyê alîkariyê dike.

Zanîna rationale

Bifikirinê di warê taybetmendiyên bingehîn û têkiliyên bingehîn de nîşan dide. Agahdariya cîhanê di ramana ramana abstract de mediated, ne zelal e. Ew nîqaşên çavdêr û pratîkê nabe, lê belê armancên der barê taybetmendiyên têkildar û têkiliyên maddî û fenomena bingehîn e. Ji bo nimûne, piştî şertên sûcdar, hûn dikarin wêneyê bûyera xweş bike, hûn dikarin ji hêla termrojê re çi bikin ku germ di kolanan de, û vî awayî bibînin.

Pirsgirêkek girîng a ramana nêzîkî wê têkiliyek nêzîkî zimanî ye. Her fikrên bi alîkariya peyvên û peyvan têne çêkirin, bi rêya axaftina navxweyî an jî derveyî derve. Bifikirin ne tenê kesek alîkarî dike ku li dora cîhanê binivîse, lê ew jî destûr dide ku fikrên nû, abstractions, pêşniyaz û pêşniyazên nû çêbikin, ew e ku ew pirsgirêkên pir logîk çareser dike. Di vê pêwendiyê de wergerandin ku "logic" û "thinking" bi hev ve girêdayî ne. Bifikirin, ka ew yek an jî zagonî ye, dibe ku sê sê rengan pêk bînin: nîqaş, dadgeh û raman. Bila ew ji hev cuda bifikirin.

Têgehek

Ev awayek ramana ku di nav tiştan de, tiştên taybetmendiyên wan û têkiliyên xwe de wêneyên derûnî yên xweş dike. Pêvek bêyî nirxandin nabe. Lê qaîdeyên nirxandinên di logicê de em ê biçûk biçûk bifikirin. Di pêvajoyê de avakirina avakirina têguman, kesek nirxandina berjewendiyê ye, ew bi hêsantirên din re hevdîtin dike, taybetmendiyên cûreyên sereke, ji hêla taybetmendiyên bêhêzî, û li ser bingeha van taybetmendiyên cuda hene. Wekî encamek, wêneyên derûnî, tiştên taybetmendî û têkilî têne afirandin.

Têgehên çalakiyê di çalakiyê de nasnameyek mirovan de dixebitin. Ji wan re spas, yek dikare gelemperî ku di rastiyê de cuda cuda ye. Di cîhana armanca de, wekî xwendekaran, xwendekarek, kulkerek, an athlete, hinek nimûneyên wiha ne hene hene, ew hemû wêneyên gelemperî hene ku tenê di cîhaneke îdeal heye, ew di serê kesê de ye.

Damezrandina fikrên derfetên derheq û derheqê li ser bingehên bingehîn ên bingehîn ên wekhev an tiştên yan jî fenomena di derheqê derfetên zanînê de vedike. Derheqê cîhanê dê gelo ku mirov bi fikrên peywendiyên hev re bi hev re nîqaş nekin, Jonathan Swift di çîrokên Gulliver de di axaftina xwe de dibêje. Li gorî nûçeyê, rojek anî ji mizgîniyê re mirovî şêwirmend kir ku ne têgotinên derbarê derheqan de, lê belê rasterast. Gelek pêşniyarên wî peyda kir, lê ji bo ku bi giştî bi hevpeyvîn re biaxivin, wan bi kulên xwe yên cûreyên cûda yên li ser wan bistînin. Bê guman, bi axaftina bi xwenîşandanên ku di nav xwediyên bargayên herî mezin de pir kêmtir bû.

Têgihîştina bêyî nirxandin heye. Di zanistên ciyawaz de, nirxandin dikare bi hin cûda re bên şîrovekirin. Dîroka têgihanên di logic de ev pêvajoya çareserkirina pirtûka yekgirtî ya paşiya demek taybetî ya taybetî ye. Di çarçoveya wê de, têgotineke bêkêmasî ye, ji ber ku ew bi hişê gerdûnî ve pêşveçûye. Bêguman bêguman, ji ber ku encama encamên çalakiyê (logîk) çalak dike. Li gorî Hegel, nimûne ya Absolute ne girêdayî ye û bi nûnerê re girêdayî ye. Karê felsefeyê ye ku têgezên nimûne di nav nûneran de wergerandin, ji sipasiya dawî ya dawîn digerin.

Wateya wateya wateyê ye. Û nirxandina têgihên di logicê de çalakiyek e ku armanca vê yekê wateyê dike. Ji ber vê yekê, peyva ku tête peyva tête dayîn, ku bi riya sedemên têkoşînek hatiye diyarkirin. Ji ber vê yekê, bêyî nirxandin, peyvek nehf e, heke ev belav dibe. Ji bo ku têgeheke diyar bike, wateya wê wateya bi nirxên bingehîn yên bingehîn diyar bike. Û heke hûn di çarçoveya derveyî pergala taybetî de agahdar bikin, paşê şaşiyên di binirxînan de dibe. Logic ji her kesî re ye, tenê mîna vê yekê an jî peyva fêm bike. Ji ber vê yekê, li ser mijarên li ser felsefîkî dipeyivin, ew e ku girîng e ku têgezên paqij bikin.

Tiştên definitionan di logic de pirfireh in. Definition can be: dibe ku, pir, rast, axiomatîk, navnîş, zelal, implicit, genetîkî, têkildar, tevger û ostensivnym.

Dadgehê

Li ser bingeha fikrên derbarê derheqê, kes dikare li ser wan dadbar dike û encamên xwe hilbijêre. Dadgeh tête forma ramanê ye, di hundirê ku tiştek pejirandin an derheqê fikrên fikrên înkar kirin. Ji pêşniyarek yek, hûn dikarin hevdû bibin. Ji bo nimûne, bingeha rastiya ku mirovî mirinê ye, em dikarin bibînin ku yê mir mir e. Di dema çêkirina fikrên, dadgeh û navnîşan de, her kes dikare şaş û bêaqilî jî dibe ku çewtiyê dikin. Ji ber ku ji wan re, hûn hewce ne ku hûn basikên ramana rastê bizanibin.

Çiqas rast eşkere tê gotin, di çarçoveya çarçoveyê de ji zanîna rastîn nû zanîna nû rast e. Di encamê de fikrên çewt jî dikarin agahdariya derewîn be. Ji bo nimûne, du dadgeh hene: "Eger Ivan dizeyek çêkir - ew sûcdar e" û "Ivan dizî de dizîn." Dadwerî "Ivan ne sûcdar e", li ser bingeha vê agahiyê bistîne, dikare derewîn be, lê ji ber ku rastiya ku ew dizanî nebû, ew nîşan nake ku ew sûcên din ne kirin.

Inferences

Di derbarê rastiya sedemên rastiyê de axaftin, zanyariyên ku bi rêbazên avahiyê û înternetê ve girêdayî ye. Di vê bingehê de ye ku şertên qanûn ên logic wekî zanistiya ramanê ye. Mijarek logicên ji ji naveroka taybet û pêşveçûnên fikrên taybet. Di heman demê de, ew rastiyê û şermezariya van fikrûbeyan dike. Pirsa rastê fikrên maqûl tê gotin, navê wî zanistî ku zanistek hinek aliyekî xwendin.

Pirsgirêka rastîn û neheqiyên dadwerî û deveran pirsan e ku nerastkirin an neheqiyê ya ku ji wan re got, li cîhana armanca e. Dadwerê rastîn bi awayek rastiya rastîn nîşan dide. Dadwerê derewkar, li hember, ne rast e. Pirsgirêka ku rastiyê ye û çiqas hestyariya hestiyariyê bi ramana ramana abstract re tune ye ku materyal, lê lê felsefê ye.

Encam

Îro îro em hîn bûn ku çi têkoşîn e. Wateya vê têgezê pir giran û multifacetkirî ye, ew bandorek zanyariyek bandor dike. Bi vî rengî cûrbecî yên nîşanên logîk bi têkiliyên din re bi zanistên din re diyar dike, hinek ji awayekî materyalîst in. Her weha di gotara bingehîn ya ramana mirovan de tête tête kirin: di çarçoveyên, dadgeh, fikrên û amadekar de (logic). Wek mînakên me ji me re çêtir kir ku ji bo vê materyalê çêtir bikin.