Ло?г?ка (ад грэч. λογικ? ? слова, паняцце, розум) ? сукупнасць навук, як?я вывучаюць законы ? прав?лы мыслення, спосабы разв?цця ? спасц?жэння веда?. Пакольк? гэта веданне атрымана розумам, лог?ка таксама вызначаецца як навука аб формах ? законах прав?льнага мыслення. Пакольк? мысленне афармляецца ? мове ? выглядзе разваг?, прыватным? выпадкам? якой з'я?ляюцца доказ ? абвяржэнне, лог?ка часам вызначаецца як навука пра спосабы разваг? або навука пра спосабы доказа? ? абвяржэння?. Лог?ка, як навука, вывучае спосабы дасягнення ?сц?ны ? працэсе пазнання апасродкаваным шляхам, не з пачуццёвага вопыту, а з веда?, атрыманых раней, таму яе таксама можна вызначыць як навуку пра спосабы атрымання вывадных веды.

Адна з гало?ных задач лог?к? ? вызначыць, як прыйсц? да высновы з перадумо? (прав?льнае разважанне) ? атрымаць сапра?днае веданне аб прадмеце разважання, каб глыбей разабрацца ? нюансах вывучаемага прадмета думк? ? яго суаднос?нах з ?ншым? аспектам? разгляданай з'явы.

У любой навуцы лог?ка служыць адным з асно?ных ?нструмента? ^[1] .

Сутнасць лог?к? [ прав?ць | прав?ць зыходн?к ]

Клас?чная лаг?чная тэорыя далёка не дасканалая: асно?нае яе змест фармулюецца на асабл?вым, створаным спецыяльна для сва?х мэта? мове, выкарысто?вае абсалютная прадметнае мысленне. У ёй не мяркуецца выкарыстанне кантролю прагматычных памылак, х?бнасця? нел?нейных выкарысто?ваюцца с?стэм адл?ку, пагран?чных памылак ап?сання, рэлятыв?зму маштабавання ? т. П. [Праясн?ць] З прычыны чаго прынята л?чыць нармальным факт ная?насц? ? яе мове парадокса? ? апрыёрных сцвярджэння?, куставых эфекта? сло?н?ка ? т. п. Падобна таму як уменне гаварыць ?снавала яшчэ да ?зн?кнення навук? граматык?, так ? мастацтва прав?льна думаць ?снавала задо?га да навук? лог?к?. Лаг?чныя аперацы?: вызначэнне, клас?ф?кацыя, доказ, абвяржэнне ? ?нш. ? нярэдка ?жываюцца кожным чалавекам у яго разумовай дзейнасц? не?свядомлена ? з х?бнасцям?. Некаторыя сх?льныя л?чыць ?ласнае мысленне натуральным працэсам, не патрабавальным анал?зу ? кантролю больш, чым, скажам, дыханне ц? рух, але рэальнае мысленне не зводз?цца проста да лаг?чнай паслядо?насц?. У працэсе рашэння задач, як?я ?зн?каюць, таксама ?стотныя: ?нту?цыя, эмоцы?, вобразнае бачанне свету ? многае ?ншае ^[2] . Аднак нястрогае мысленне яшчэ не значыць, што яно не падпарадкавана лог?цы ^[3] . Асно?ная мэта (функцыя) лог?к? за?сёды заставалася нязменнай: даследаванне таго, як з адных сцвярджэння? можна выводз?ць ?ншыя. Пры гэтым мяркуецца, што вывад залежыць тольк? ад спосабу сувяз?, як?я ? яго сцвярджэння? ? ?х будовы, а не ад ?х канкрэтнага зместу. Вывучаючы, ≪што з чаго вын?кае≫, лог?ка выя?ляе найбольш агульныя або, як кажуць, фармальныя ?мовы прав?льнага мыслення. Сфера канкрэтных ?нтарэса? лог?к? ?стотна змянялася на працягу яе г?сторы?.

Значэнне слова [ прав?ць | прав?ць зыходн?к ]

Слова ≪лог?ка≫ выкарысто?ваецца таксама ? значэннях ≪унутраная заканамернасць, уласц?вая тым ц? ?ншым з'явам≫ або ≪прав?льны, разумны ход разважання?≫ ^[4] . У прыватнасц? гэтым словам могуць называцца наступныя рэчы:

• Працэс мыслення ? кал? гаворыцца пра лаг?чным ? нелаг?чным мысленн?, маецца на ?вазе яго лаг?чнасць.
• У электрон?цы ? электронныя лаг?чныя схемы.

Нефармальная, фармальная, с?мвал?чная ? дыялектычная лог?ка [ прав?ць | прав?ць зыходн?к ]

Нефармальная лог?ка (тэрм?н прыняты перш за ?сё ? англамо?най л?таратуры) ? даследаванне аргументацы? ? натуральнай мове. Адной з гало?ных задач яе з'я?ляецца даследаванне лаг?чных памылак. Любая выснова, зробленая на натуральнай мове, валодае чыста фармальным зместам (сэнс разваг? можа быць падзелены на форму думк? ? ?ласна змест), кал? можна паказаць, што ён з'я?ляецца прыватным ужываннем абстрактнага ун?версальнага прав?ла, якое адцягваецца ад усякага канкрэтнага прадмета, уласц?васц? або аднос?н. Менав?та гэтая выснова з чыста фармальным утрыманнем называюць лаг?чнай высновай ? асно?ным прадметам лог?к?. Анал?з высновы, якая раскрывае гэта чыста фармальнае ?трыманне, называецца фармальнай лог?кай. С?мвал?чная лог?ка вывучае с?мвал?чныя абстракцы?, як?я ф?ксуюць фармальную структуру лаг?чнага вываду. Дыялектычная лог?ка ? навука пра мысленне, якая, як мяркуецца, дае веданне пра спосаб разваг?, пашырае магчымасц? фармальна-лаг?чнай высновы. Тут паняцце лог?к? ?жываецца як ва ?ласным лаг?чным, так ? ? метафарычным сэнсе. Дыялектычнае разважанне ?л?чвае законы фармальнай лог?к?. Разам з тым, ажыцця?ляючы анал?з дынам?к? пераходу паняцця? у сваю супрацьлегласць, яно дапускае, што супрацьлегласц? супадаюць, арыентуецца на законы дыялектык?.

У рамках фармальнай лог?к? маецца група лог?к, названых неклас?чнага (часам таксама выкарысто?ваецца тэрм?н ≪альтэрнаты?ныя лог?к?≫). Гэтая група лог?к ?стотна адрозн?ваецца ад клас?чных лог?к шляхам розных варыяцый закона? ? прав?ла? (напрыклад, лог?к?, як?я адмяняюць закон выключаны трэцяга, як?я змяняюць табл?цы пра?дз?васц? ? г. д.). Дзякуючы гэтым варыяцыям магчыма пабудова розных мадэлей лаг?чных следства? ? лаг?чнай ?сц?ны ^[5] .

Ста?ленне да ?ншых навук [ прав?ць | прав?ць зыходн?к ]

Г?старычна лог?ка вывучалася як частка ф?ласоф??. Зараз с?мвал?чная лог?ка таксама вывучаецца як частка матэматык?, ?нфарматык?.

Прадмет [ прав?ць | прав?ць зыходн?к ]

Паводпе Арыстоцеля , гэта навука пра формы прав?льнага мыслення. ?. Кант называ? такую навуку фармальнай лог?кай. У сучасным уя?ленн? фармальная лог?ка ? навука аб законах высно?ных веда?, як?я атрыманы з раней устано?леных ? правераных ?сц?н без звароту ? кожным канкрэтным выпадку да вопыту, а тольк? ? вын?ку прыцягаення закона? ? прав?л мыслення; яе прадмет ? даследаванне разважання? (вывада? ? доказа?) з пункту погляду ?х лаг?чнай формы (структуры) незалежна ад канкрэтаага зместу суджэння?, што ? яго ?ваходзяць. Дакладная фармал?зацыя схем, як?я вывучае лог?ка, здзяйсняецца ? межах матэматычнай лог?к? .

Пры анал?зе лаг?чных працэса? усе ≪асобныя≫ лог?к? карыстаюцца мовай с?мвала? ? формул, якая будуецца ? адпаведнасц? з агульнм? для ?с?х с?стэм прынцыпам? лог?к?.

Г?сторыя лог?к? [ прав?ць | прав?ць зыходн?к ]

Хаця мног?я культуры выпрацавал? складаныя с?стэмы разваг?, лог?ка як экспл?цытны анал?з метада? разваг? атрымала грунто?нае разв?ццё першапачаткова тольк? ? трох традыцыях: у к?тайскай, ?ндыйскай ? грэчаскай. Хоць дакладныя даты не занадта дакладныя (асабл?ва ? выпадку ?нды?), хутчэй за ?сё, лог?ка па?стала ва ?с?х трох культурах ? IV стагоддз? да н. э. Сучасная лог?ка, распрацаваная фармальна выдасканалена, паходз?ць у канчатковым рахунку з грэчаскай традыцы? (арыстоцеле?скай лог?к?), якая, аднак, была ?спрынятая не на?прост, а пры пасярэдн?цтве ? каментатарскай дзейнасц? араба-мусульманск?х ф?лосафа? ? сярэднявечных е?рапейск?х лог?ка?. Можна вылучыць наступныя г?старычныя ? рэг?янальныя формы лог?к? (прыведзены таксама ?х назвы, як?я г?старычна ?снавал? ? прынятыя ? л?таратуры па г?сторы? фармальнай лог?к?):

• Старажытнак?тайская лог?ка
• ?ндыйская лог?ка
• Е?рапейская ? бл?зка?сходняя лог?ка: традыцыйная лог?ка (у шырок?м сэнсе)
  • Антычная ? раннесярэднявечнай лог?ка: дыялектыка
  • Сярэднявечная лог?ка
    • Арабская ? я?рэйская сярэднявечная лог?ка
    • Усходнехрысц?янская сярэднявечная лог?ка
    • Заходнее?рапейская сярэднявечная лог?ка: схаластычная лог?ка, дыялектыка
  • Лог?ка е?рапейскага Адраджэння; дыялектыка
  • Лог?ка Новага часу: традыцыйная лог?ка (у вузк?м сэнсе), фармальная лог?ка
• Сучасная лог?ка (агульнасусветная, з другой паловы XIX стагоддзя): матэматычная лог?ка, с?мвал?чная лог?ка, лаг?стыка (апошняе ? як прав?ла, у заходняй л?таратуры).

Лог?ка ? сва?м разв?цц? прайшла тры парога:

• парог фармал?зацы? разваг (ва ?с?х трох традыцыях)
• увядзенне умо?ных (с?мвал?чных, л?тарных ? л?кавых) пазначэння? (тольк? е?рапейская традыцыйная лог?ка)
• навуковая рэвалюцыя, з якой пачалася сучасная лог?ка, ? матэматызацыя (унясенне ? лог?ку матэматычных метада?).

Лог?ка ? Старажытным К?та? [ прав?ць | прав?ць зыходн?к ]

Лог?ка ? К?та? з'яв?лася ? перыяд з'я?лення вял?кай колькасц? школ, канкурэнцы? ? дыскус?й пам?ж ?м?. Сучасн?к Канфуцыя Ма-цзы (≪Наста?н?к Мо≫, ≪Мудрэц Мо≫; V-IV стст. да н. э.) бы? вядомы як заснавальн?к ма?зма (школы ма цзя), прадста?н?к? якой займал?ся пошукам крын?ц дакладнай разваг? ? ?мо? яго прав?льнасц?. У вобласц? аргументацы? яны аддавал? перавагу распрацо?ку разваг? па аналог?? распрацо?цы дэдукцы?. У працэсе анал?зу семантык? мовы ма?сты распрацавал? метад клас?ф?кацы? ?мён па ступен? ?х агульнасц? ? дзялення рэча? па в?дах (метад ≪трох прав?ла?≫, ≪трох фа≫).

Адно з адгал?навання? ма?зма, лог?к? (м?н цзя, школа ?мён, V-III стст. да н. э), пачало да даследавання уласна фармальнай лог?к? (яе прадста?н?к? падышл? да адкрыцця катэгарычнага с?лаг?зму раней або адначасова з яе фармулё?кай Арыстоцелем).

Пазней, пры дынасты? Цынь, гэтая л?н?я даследавання? зн?кла ? К?та?, пакольк? тады ф?ласоф?я лег?зма жорстка душыла ?се астатн?я ф?ласофск?я школы. Зно? лог?ка ? К?та? з'яв?лася тольк? з пран?кненнем туды ?ндыйскай лог?к? будыста? ? далей моцна адстала ад разв?цця е?рапейскай ? бл?зка?сходняй лог?к?.

?ндыйская лог?ка [ прав?ць | прав?ць зыходн?к ]

Выток? лог?к? ? ?нды? можна прасачыць у граматычных тэкстах V стагоддзя да н. э. Дзве з шасц? артадаксальна-?нду?сцк?х (ведыйск?х) школ ?ндыйскай ф?ласоф?? ? ньяя ? вайшэшыка ? займал?ся метадалог?яй пазнання, з гэтага праблемнага поля ? вылучылася лог?ка.

Сама назва школы ≪ньяя≫ значыць ≪лог?ка≫. Гало?ным яе дасягненнем ? была распрацо?ка лог?к? ? метадалог??, як?я стал? пасля агульным здабыткам. Асно?ным тэкстам школы был? Ньяя-сутры Акшапады Га?тамы (II стагоддзе н. э.). Пакольк? ньяики л?чыл? адз?ным шляхам вызвалення ад пакут дасягненне надзейных веда?, яны распрацо?вал? тонк?я метады адрознення надзейных крын?ц веда? ад ?лжывых меркавання?. Ёсць тольк? чатыры крын?цы веда? (чатыры праманы): успрыманне, выснова, пара?нанне ? сведчанне. Строгая пяц?членныя схема высновы ?ключала ? сябе: пачатковую пасылку, падставу, прыклад, прыкладанне ? выснову.

Будыйская ф?ласоф?я (якая не ?ваходз?ла ? л?к шасц? артадаксальных школ) была гало?ным апанентам нья?ка? у лог?цы. Нагарджуна, заснавальн?к мадхьям?к? (≪сярэдняга шляху≫), разв?? разважанне, вядомае як ≪катускоц?≫, або тэтралема. Гэты чатырохбаковы аргумент с?стэматычна правяра? ? адх?ля? зацвярджэнне выказванн?, яго адма?ленне, злучэнне зацвярджэння ? адма?лення ?, нарэшце, адх?ленне ? яго сцвярджэння, ? яго адма?лення.

У Дыгнаг? ? яго паслядо?н?ка Дхармак?рц? будыйская лог?ка дасягнула вяршын?. Цэнтральным пунктам ?х анал?зу было ?сталяванне (вызначэнне) неабходнай лаг?чнай прысутнасц? (уключанасц? ? вызначэнне), ≪вьяпц?≫, таксама вядомае як ≪нязменнае прытрымл?ванне≫ або ≪перакананне≫. Для гэтай мэты яны распрацавал? вучэнне пра ≪апоха≫ або адрозн?ванне, аб прав?лах ?ключэння прыкмет ? вызначэнне або выключэння ?х з яго.

Школа На?я-ньяя (≪новая ньяя≫, ≪новая лог?ка≫) была заснавана ? XIII стагоддз? Ганеша Упадхьяей з М?тылена, а?тара ≪Татвачынтамам?≫ (≪Скарб думк? пра рэальнасць≫). Зрэшты, ? ён абап?ра?ся на працы сва?х папярэдн?ка? X стагоддзя.

Е?рапейская ? бл?зка?сходняя лог?ка [ прав?ць | прав?ць зыходн?к ]

У г?сторы? е?рапейскай лог?к? можна вылучыць этапы:

• арыстоцеле?ск? (традыцыйны) працягва?ся сотн? гадо?, на працягу як?х лог?ка разв?валася вельм? марудна;
• схаластычны этап разв?цця, п?к якога прыпадае на XIV стагоддзе;
• новачасовы этап.

Лог?ка антычнасц? [ прав?ць | прав?ць зыходн?к ]

Заснавальн?кам лог?к? ? старажытнагрэцкай ф?ласоф?? л?чыцца старажытнагрэцк? ф?лосаф Арыстоцель, так як належыць, што ён выве? першую лаг?чную тэорыю. Папярэдн?кам? Арыстоцеля ? разв?цц? лаг?чнай навук? ? Старажытнай Грэцы? был? Пармен?д, Зянон Элейск?, Сакрат ? Платон. Арыстоцель жа ?першыню с?стэматызава? даступныя веды аб лог?цы, абгрунтава? формы ? прав?лы лаг?чнага мыслення. Яго цыкл твора? ≪Арганон≫ складаецца з шасц? работ, прысвечаных лог?цы: ≪Катэгоры?≫, ≪Аб тлумачэнн?≫, ≪Топ?ка≫, ≪Першая анал?тыка≫ ? ≪Другая анал?тыка≫, ≪Саф?стычныя абвяржэнн?≫.

Пасля Арыстоцеля ? Старажытнай Грэцы? лог?ка таксама распрацо?валася прадста?н?кам? школы сто?ка?. Вял?к? ?клад у разв?ццё гэтай навук? ?несл? аратар Цыцэрон ? старажытнарымск? тэарэтык прамо?н?цкага мастацтва Кв?нц?л?ян.

Лог?ка ? Сярэднявеччы [ прав?ць | прав?ць зыходн?к ]

Па меры набл?жэння да Сярэдн?м стагоддзя? лог?ка атрымл?вала больш шырокае распа?сюджанне. Яе пачал? распрацо?ваць арабскамо?ная даследчык?, напрыклад, Аль-Фараб (каля 870-950 гг.). Сярэднявечная лог?ка называецца схаластычнай, а яе роскв?т у XIV стагоддз? звязваюць з ?мёнам? навуко?ца? У?льяма Окама, Альберта Саксонскага ? Уолтара Берл?ё.

Лог?ка ? эпоху Адраджэння ? ? Новы час [ прав?ць | прав?ць зыходн?к ]

Гэты г?старычны перыяд у лог?цы адзначаецца з'я?леннем мноства вельм? значных для навук? публ?кацый.

Фрэнс?с Бэкан ? 1620 годзе апубл?ко?ваць свой ≪Новы арганон≫, як? змяшчае асновы ?ндукты?ных метада?, удасканаленых пазней Джонам Сцюартам М?л? ? як?я атрымал? назву метада? ?стана?лення прычынных сувязя? пам?ж з'явам? Бэкана-М?л?. Сутнасць ?ндукцы? (абагульнення) ? ва ?зыходжанн? (у працэсе пазнання) ад прыватных выпадка? да агульных прав?лах. Таксама неабходна шукаць прычыны сва?х памылак.

У 1662 годзе ? Парыжы выдадзены падручн?к ≪Лог?ка Пор-Раяль≫, а?тарам? якога з'я?ляюцца П. Н?коль ? А. Арно, як?я стварыл? лаг?чны вучэнне на аснове метадалаг?чных прынцыпа? Рэнэ Дэкарта.

Сучасная лог?ка [ прав?ць | прав?ць зыходн?к ]

У канцы XIX ? пачатку XX стагоддзя? был? закладзеныя асновы г. зв. матэматычнай, або с?мвал?чнай, лог?к?. Яе сутнасць заключаецца ? тым, што для выя?лення истинностного значэння выраза? натуральнага мовы можна прымяняць матэматычныя метады. Менав?та выкарыстанне с?мвал?чнай лог?к? адрозн?вае сучасную лаг?чную навуку ад традыцыйнай.

Вял?к? ?клад у разв?ццё с?мвал?чнай лог?к? ?несл? так?я навуко?цы, як Дж. Буль, О. дэ Морган, Г. Фреге, Ч. П?рс ? ?нш. У XX стагоддз? матэматычная лог?ка аформ?лася ? якасц? самастойнай дысцыпл?ны ? рамках лаг?чнай навук?.

Пачатак XX стагоддзя адзначылася стана?леннем ?дэй неклас?чнай лог?к?, мног?я важныя палажэнн? якой был? закладзены М. А. Вас?льевым ? ?. Е. Арловым.

У сярэдз?не XX стагоддзя разв?ццё выл?чальнай тэхн?к? прывяло да з'я?лення лаг?чных элемента?, лаг?чных блока? ? прылад выл?чальнай тэхн?к?, што было звязана з дадатковай распрацо?кай так?х абласцей лог?к?, як праблемы лаг?чнага с?нтэзу, лаг?чнае праектаванне ? праблемы лаг?чнага мадэлявання лаг?чных прылад ? сродка? выл?чальнай тэхн?к?.

У 80-х гадах XX стагоддзя пачал?ся даследаванн? ? вобласц? штучнага ?нтэлекту на базе мо? ? с?стэм лаг?чнага праграмавання. Пачалося ? стварэнне экспертных с?стэм з выкарыстаннем ? разв?ццём а?таматычнага доказы тэарэм, а таксама метада? доказнага праграмавання для верыф?кацы? алгарытма? ? праграм для ЭВМ.

У 80-я гады пачал?ся таксама змены ? адукацы?. З'я?ленне персанальных камп'ютара? у сярэдн?х школах прывяло да стварэння падручн?ка? ?нфарматык? з вывучэннем элемента? матэматычнай лог?к? для тлумачэння лаг?чных прынцыпа? працы лаг?чных схем ? прылад выл?чальнай тэхн?к?, а таксама прынцыпа? лаг?чнага праграмавання для камп'ютара? пятага пакалення, ? распрацо?цы падручн?ка? ?нфарматык? з вывучэннем мовы выл?чэння прэдыката? для праектавання баз веда?.

Пытанн?, вакол як?х ?дзе палем?ка ? лог?цы [ прав?ць | прав?ць зыходн?к ]

Б?валентнасць ? закон выключанага трэцяга [ прав?ць | прав?ць зыходн?к ]

Усе лог?к?, як?я мы папярэдне абмярко?вал?, з'я?ляецца ≪б?валентным?≫ або ≪двухсэнсо?ным?≫, гэта значыць яны прып?сваюць кожнаму сцвярджэнн?, што разглядаецца, адно з двух значэння?: ≪?сц?на≫ або ≪хлусня≫. С?стэмы што не за?сёды прытрымл?ваюцца гэтага прав?ла вядомыя як-клас?чныя або неарыстоцеле?ск?я лог?к?. На пачатку 20-га Стол?не Ян Лукасев?ч з Льво?ска-Варша?скай лаг?чнай школы прапанава? пашырыць традыцыйную лог?ку уключы?шы ? яе трэцяе значэнне ≪магчыма≫, вынайдучы так трохзнакавую лог?ку, першую з мнагазначных лог?к. ?нту?цыйнай лог?ка была прапанаваная Л. Брауерам як карэктная лог?ка для меркавання? аб матэматыцы, ? грунтуецца на адх?ленн? закона выключанага трэцяга. ?нту?цыйнай лог?ка вельм? ц?кавай для спецыял?ста? па ?нфарматыцы, пакольк? з'я?ляецца канструкты?най лог?кай, а так?м чынам з'я?ляецца лог?кай для кампутара?. Таксама была распрацавана невыразная лог?ка, якая прадугледжвае бясконцая колькасць ≪ступеней пра?дз?васц?≫, ап?саных сапра?дным? л?кам? ад 0 да 1.

Гл. таксама [ прав?ць | прав?ць зыходн?к ]

• Абсурд

За?ваг? [ прав?ць | прав?ць зыходн?к ]

Л?таратура [ прав?ць | прав?ць зыходн?к ]

• Гуссерль Э. Логические исследования. Т. 1 // Философия как строгая наука. ? Новочеркасск: Сагуна, 1994. ? 357 с. ? ISBN ISBN 5-7593-0138-1 .
• Васильев Н. А. Воображаемая логика. Избранные труды. ? Наука, 1989. ? 264 с. ? 6 200 экз.  ? ISBN 5-02-007946-4 .
• Гетманова А. Д. Учебник по логике Арх?вавана 25 красав?ка 2010. . ? М.: Владос, 1995. ? 303 с. ? ISBN 5-87065-009-7
• Кондаков Н. И.: Логический словарь-справочник Арх?вавана 26 сакав?ка 2010. . ? М.: Наука, 1975. ? 720 с.
• Кондаков Н. И. Введение в логику. ? М.: Наука, 1967 на сайте Руниверс
• Ивлев Ю. В. Учебник логики: Семестровый курс: Учебник. ? М.: Дело, 2003. ? 208 с ? ISBN 5-7749-0317-6
• Бочаров В. А., Маркин В. И. Основы логики: Учебник. ? М.: ИНФРА-М, 2001. ? 296 с. ? ISBN 5-16-000496-3
• Ивин А. А. Логика: Учебное пособие. ? Изд. 2-е. ? М.: Знание, 1998. ? ( На портале ≪Философия в России≫ ; на сайте Славы Янко )
• Ивин А. А., Никифоров А. Л. Словарь по логике  ? М.: Туманит, ВЛАДОС, 1997. ? 384 с ? ISBN 5-691-00099-3 .
• Горский Д. П. Логика: Учебное пособие для педагогических училищ.  ? Изд. 3-е. ? М.: Учпедгиз, 1961. ? 160 с.
• Челпанов Г. И. Учебник логики . ? М., 1994.
• Формальная логика / Под ред. И. Я. Чупахина, И. Н. Бродского. ? Л. : ЛГУ, 1977. ? 357 с.
• Бочаров В. А. , Маркин В. И. Глава I. Предмет и основные понятия логики // Основы логики: учебник = Основы логики: учебник . ? М .: ИНФРА-М, 1998. ? С. 224. ? 9 с. ? ISBN 5-86225-595-8 .
• Бажанов В. А. История логики в России и СССР. ? М.: Канон+, 2007. ? 336 с. ? ISBN 5-88373-032-9
• Маковельский А. О. История логики . ? М., 1967. ? 504 с.
• Попов П. С. История логики нового времени. ? М., Издательство МГУ, 1960.
• Стяжкин Н. И. Формирование математической логики. ? М., 1967.
• Scholtz H . Geschichte der Logik, 1931. (Concise History of Logic. ? New York, 1961).
• Спирин B. C. О ≪третьих≫ и ≪пятых≫ понятиях в логике древнего Китая // Дальний Восток. Сборник статей по филологии, истории, философии. ? М., 1961.
• Кроль Ю. Л. Спор как явление культуры древнего Китая // Народы Азии и Африки. ? 1987. ? № 2.
• Крушинский А. А. Имена и реалии в древнекитайской логике и методологии (Обзор) // Современные историко-научные исследования: наука в традиционном Китае. ? М., 1987.
• Пань Шимо (КНР). Логика Древнего Китая (краткий очерк) // Философские науки. ? 1991. ? № 12.
• Чжоу Юньчжи. Основные вехи развития древнекитайской логики мин бянь, ее главные особенности и реальные достижения // Рационалистическая традиция и современность. Китай. 1993. №. ? С. 152?178.
• Крушинский А. А. Логика ≪И цзина≫. Дедукция в древнем Китае. ? М., 1999.
• Кварталова Н. П. Логические идеи трактата ≪Гунсунь Лун-цзы≫ // Человек и духовная культура Востока. Альманах. Вып. I. ? М., 2003. ? С. 167?172.
• Кобзев А. И. Школа имен (мин цзя): коллизия логики и диалектики // Китай в диалоге цивилизации: К 70-летию академика М. Л. Титаренко. ? М. 2004. ? С. 550?557.
• Дубянецк? С. Лог?ка // Беларуская энцыклапедыя : У 18 т. Т. 9: Кул?б?н ? Мала?та / Рэдкал.: Г. П. Пашко? ? ?нш. ? Мн.  : БелЭн , 1999. ? Т. 9. ? 560 с. ? 10 000 экз.  ? ISBN 985-11-0035-8 . ? ISBN 985-11-0155-9 (т. 9).