Логиката е, че такова определение логика
Гр. logike) - наука за метода на доказателство и опровержение; набор от научни теории, всяка от които се считат за определени начини на доказателства и опровержения. Аристотел се смята за основател на логиката. Разграничаване между индуктивно и дедуктивно логика, а последният - класически, интуиционистки, структурни, различни видове транспорт, и т.н. Всички тези теории са свързани с идеята за каталогизиране на такива методи на мислене, които от истинските решенията, предположения водят до истински съдийския последици ;. каталогизиране е направено, като правило, в рамките на логически смятане. Специална роля за ускоряване на научно-техническия прогрес игра на логиката на приложението по компютърни науки, теория автомати, лингвистиката, компютърни науки и др. Вижте. Както математическата логика.
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция
Гр. logike от logikos -Изграждане на разсъждение) дисциплина, която изучава формите и законите на правилното, т.е. могат да служат за разширяване на знанията на умствени конструкции. От Л. да бъдат разграничени като наука L. комуникации и динамика логически правилно мислене (мислене L.). В обхвата на научно. LA включва и разработване и изследване на емблематичните структури (смятане, формални системи), разглеждане на определени фрагменти от действителността (модели), общите свойства на които се появяват логическото мислене и включват в емблематичните структури.
Като се започне от 2-ри етаж. 5. Преди новата ера. д. L. (диалектика) преподава в гръцките софисти. Естеството на това "изкуство общество" може да се види в диалозите на Платон, гл. характера на ryh е негов учител Сократ. Въведена в диалози "sokratich на. метод "ясно показва, че философия. мисълта за това време здраво иззети логически умения. определения и класификации, както и доказателства по метода на намаляване на абсурдността (rcductio обява absurdum). Обучението е проведено от Л. гл. Пр. Примери-проби. Твърдението на строителството на спора включен изборът на тема и възможността да го превърне в един определен начин, както може да се види от sofistich. 5 в учебника. Преди новата ера. д. "двойна реч", демонстрират възможността и обосновката на отхвърлянето на същата теза. Диалектика на рояк в крайна сметка стана "науката доказва," Аристотел е дневна ЛИЗАЦИЯ иск за работа спорове и дискусии, го е научил да практикува като занаят.
След Аристотел Л. получи по-нататъшното развитие в училището на учениците Си (Теофраст, Eudemus), както и по философия. Стоическата училище (3-2 см. Преди новата ера. Д.), Разработена условния силогистична и разделяне (т.е., като се използват парцелите, съдържащи алтернативи) разсъждение. Училище стоици признава един от Л. гл. части от философия, която да съчетава реалното логично. проблеми, свързани с въпросите на епистемологията и структурата на езика и речта.
Късно гръцки. Философия традиция. Образованието се основава на тълкуването на текстовете на Аристотел. От средновековния. Зап. Европа е дошъл да доминират на инсталацията върху създаването на учебници в размер на седем либерални изкуства. L. (като диалектика), заедно с граматика и риторика влезе Trivium - по-ниско ниво, разбира се, и до 19 в. Той е бил част от класическо образование. Решаващо влияние върху формирането на традицията на изследването на Л. е преведена на латински. Ланг. "Органон", направено от Боеций.
В Англия, той се е разпространил на базата Бейкън inductivist посока, към Роу през 19 век. Тя е въплътена в труда Й. С. Мил "система и логика силогистична индуктивен" (1843). Въпреки това, в учебниците по английски език Л. еднакво изложиха приспадане теория и индукция (в т. Н. Хипотеза и аналогията).
В Ser. 19. Той започна mathematicization Л. били създадени логично. смятане, наслаждавайки се на специфичност. подпише средства (логично. символика). През 1847 г. делата на математици дойдоха в Англия Джордж. Бул "Мат. Анализ на логика ", и А. де Морган" формална логика "в до-ryh намерен първият истински изпълнението на Лайбниц изложи идеята на логически. формализация: приспадане и правдоподобни (вероятностни) аргументи са представени под формата на някои алгебрични. системи. Ped. аспект на новия подход към LA се отразява в работата на US-Jae wonsam, които са построили механичен. логичен. машина, която служи за доказване на простата мотивите и обучение за работа с логическото. формализъм. В творбите там. логиката на Фреге (края на 19 -... началото на 20-ти век) е създаден от новата, различна от алгебрични, формално логично. език, което значително ще обогатят L. (L. създават предикати, т.е.. д. L. свойства и отношения). Значение Мат. (Symbolic). Л. като нов етап в развитието на древна наука беше напълно завършена след появата на труда в Англия, А. Н. Uaytheda и Б. Ръсел «Principia Mathematica" (1910-13) и работата на Хилберт, публикувани в 1900-20 -х-те години. (Германия).
Както мат формация. LA Тя се качи на декември области на знанието: в технологии, природа. и хуманитарните науки. Този процес е свързан с разширяването на vnelogich на кръг. интерпретации (модели) и логически приложения. оценки, както и откриването на тясна връзка с идеи математика. LA и теорията на алгоритми. Matem.-логично. означава установено, че е ефективен при анализа на природа. и изграждане на формални език схеми езика и речта явления; те са били използвани в алгоритмичен. описание на процесите за обработка на информация в мисленето и ученето процеси.
До средата. 20. Мат. LG е сред елементите, необходими за по-висока. Мат. образование. С развитието на кибернетика и информатика Л. става съществен елемент от подготовката на широк кръг от специалисти, отвори множество възможности за прилагане на регламента на PED. практика (вж. алгоритмично, компютризация на образованието).
През 17-18 век. Л. преподава гл. Пр. като част от реториката ( "Реторика" М. V. Lomonosova) или философия. Така че, философия. Georgiya Konisskogo разбира се, преподава в Киево-Могилянската Акад на. през 18-ти век. отвори раздел L.
Чрез против. 19 - рано. 20-ти век. Л. преподава в ср светско (граматика) и духовно сметка. институции, на всички хуманитарни IP минути махнете ING. Поредица от оригиналния Патриотичен. изследвания за това как Л. философия. (MI карийски, L. V. Rutkovsky) и Math. ориентация (PS Poretsky, EL Bunitsky, IV Sleshinsky, S. О. Shatunovsky), всеки подход, който съчетава традиционната философия. инсталация с желанието да се вземат под внимание на постигането на математика. L. (SI Povarnin, N. A. Василев).
След 1917 L. преподаване ср и по-висока. училище е спряно; формален Л. разглежда като "клас чужденец" наука. Мат. изследвания в областта L. (II Zhegalkin, В. I. Glivenko, A. Н. Kolmogorov) са затворени, като част от математиката. AL като независим. научен. дисциплина на практика престава да съществува.
Развитието на кибернетиката и информатиката доведе до значителна промяна в съдържанието, тъй като filos.-логично и логично-matem .. изследвания. През 70-80-те години. Патриотичен. логически философи започнаха да се прилага техниката на построяване и изследване на логически. смятане и логика-математика, за да влиза в работата му философия. и kibernetich. въпроси. Публикувани книги и внимание. ползи L. съчетават философия. и математика. ориентация. В днешната. L. (философия. И математика.) Активно концептуализира симетрични. аспекти. Както Сметка. Тя се превръща в обект на Л. Задължително: компонент на обучение на специалисти в декември профили, в т. ч. в PED. образование. Сладкарска. 80s-90s. в Рос. Федерация във връзка с ориентацията на някои видове ср Ох. институции в класическия. образование (гимнастически салони, лицей) L. постъпва отново кръга на общото образование. дисциплини.
↑ Отлично дефиниция