Логика като определението за наука на логиката

Logic е един от най-старите науки, първото упражнение, което формите и методите на разсъждение се появили в древните цивилизации на Изтока (Китай, Индия). В западната култура, принципите и методите на логиката дойдоха главно благодарение на усилията на древните гърци.

Logic - науката за универсално валидни форми и средства на мислене, необходими за управление на знания във всяка област на знанието. По всеобщо валидни начини на мислене са понятия, решения, изводи. но с универсално валидни средства за мисли - определенията, правила (принципи) на формиране на понятия, съдебни решения и заключения, правилата за преход от един от съдебно решение или разсъждение в друга, като следствие от първите (правилата на разсъждение), законите на мисълта, за да оправдае такива правила, правилата за комуникация на законодателствата на идеите и разсъжденията в системи, методи, формализация на такива системи и т.н.

Логиката може да се определи като наука за рационални методи на мислене, които покриват анализа на правилата за приспадане (съставянето на заключения от помещенията), както и изследването на вероятността или степен на потвърждение правдоподобни заключения (хипотези, обобщения, предположения и т.н.).

Традиционната логика се формира въз основа на логиката на учения на Аристотел. След това тя допълва от методи за индуктивно логика. Именно тази логика за дълго време преподава в училищата и университетите под името на формалната логика.

Възникване математическата логика промени коренно отношението между nededuktivnoy и дедуктивно логика, която е съществувала в традиционната логика. Тази промяна беше направена в полза на правото на приспадане. Благодарение на символизация и прилагането на математически методи за дедуктивно логика се придобива строго официално.

Логически изучаване на език

В "Философски тълковен речник" език е определена като "система от знаци, служи като средство за човешко общуване, мислене и изразяване." В него се посочва, че "с помощта на език е познание за света, език е обективизирано самосъзнание." Езикът е средство за съхраняване и предаване на информация и контролиране на човешкото поведение.

Философски проблеми на езика и логика - динамичен изследователска област. От особен интерес за него вече е свързан не само с постоянно желание да се изяснят общите механизмите и моделите на мислене, но също така и да се разбере колко добре един човек е в състояние да обработва, трансформира и да се превърне огромни масиви знания в много ограничени периоди от време. Докладваните проблеми са не само от теоретична интерес - за успеха на решение зависи до голяма степен от напредъка в разработването на нови компютърни системи, ефикасен софтуер. Всичко това, разбира се, укрепва практическото значение и приложимостта на научните изследвания в областта на логиката и философията на езика - район, който доскоро се считаше чисто спекулативно.

Логически анализ на аргументите на естествен език

Предикатна смятане дава възможност за извършване на логически анализ на много повече аргументи, изразени в естествения език от Пропозиционални смятане. С новото изчисление, е възможно да се въведе количествени характеристики на символична логика. Това е за тази цел ще се въведе универсални и екзистенциални quantifiers, изразяващи универсалните (общи) становищата и лично решение. Но най-важното предимство на предикатното смятане на Пропозиционални смятане е, че тя дава възможност да символично представя вътрешния логическата структура на предложения. Тази структура се изразява или от обект-предикат отношенията на обект (предмет) и нейната собственост или комбинирани признаци (предикат) или п-местен връзки между различни обекти.

Casual и много научни разсъждения обикновено се извършва по естествен език. Но такъв език, разработен в интерес на комуникация лекота, споделяне на идеи за сметка на точност и яснота. Логически смятане конструирана с цел осигуряване на необходимата точност на нашите разсъждения, обратно, произтичащи от тази грешка и да ги коригира. В най-простите случаи, такъв анализ може да се извърши с помощта на Пропозиционални смятане, в които се абстрахират от логическата структура на съдебното решение и да ги видим като нещо цяло, като по-нататък неделими атоми на разсъждение. Но приходите от това изчисление не е достатъчно, когато трябва да се анализира много от най-често срещаните аргументи не само в областта на науката, но и в ежедневието мислене. силогистична Аристотел обхваща неизмеримо по-голям клас дискусия, но оставя извън внимание на аргументите, които включват различни видове взаимоотношения. Точен анализ на точно такива отношения играе важна роля в научните познания, по-специално в областта на математиката и нейните приложения в точните науки. Поради това, появата на логически отношения значително разширява границите на приложимост на логически анализ. От друга страна, използването на символичен език и точни математически методи в нова символична логика, логиката на богати отношения, значително подобри ефективността, строгост и точността на анализа.

Преводачески аргументи с естествен език, за да Пропозиционални език смятане се влива в сериозни затруднения, тъй като на сериозни нарушения на самия процес на мислене, в които се интересуват не само в различните звена на съдебни решения помежду си, но и структурата на самите съдебни решения. Предикатна смятане дава възможност за по-точна информация за мотивите, водещи до естествения език.

За смятане на предикат, най-вече създадена вселена на дискурса или домейни предмети, под въпрос. Предварително инсталирани, от който се противопоставя е вселената на дискурс не се изисква. Достатъчно, за да се предположи, че съществува тази вселена. След това изберете предикатите (или Пропозиционални функции), с които са формулирани логическите връзки между променливи. Всеки от избрания отчет става предикати, когато всички нейни променливи поемат никаква стойност от вселената на дискурс, т.е. когато променливите стават цели (елементи) на вселената на дискурс. Получената изявлението е било вярно или невярно, но не и двете едновременно. След това изберете подходящата символика за окончателното прехвърляне на природен разсъждение върху езика на предикатното смятане. Така че е необходимо да се направят някои опростявания съгласно логиката има за цел проучване на комуникация мисли в мотивите, констатации от един от решението на другите.

анализ на езика и развитието на логическата теория

Логика и лингвистиката - две области на знанието, които имат общи корени и в близост сплитането в историята на неговото развитие. Logic винаги е имала за своя главна цел да проучи и класифицира най-различни начини на мислене, заключения форма, която, които човек използва в науката и в живота. Традиционната логика трябваше да се справи със законите на мисълта и комуникационни правила, те изразиха sredstavmi език като непосредствена реалност на мисълта е език.

За логиката на важни общи логически закони на мисълта, прилагани в някои езикови структури. Логически елементи - важен фактор при формирането на словото и организация на текста.

Фреге първите, които предлагат реконструкцията на извод на базата на изкуствен език (смятане), която предоставя пълен идентификация на всички елементарни стъпки на разсъждение. бяха въведени Символиката на един логически операции език количествено определяне. Аксиоматични изграждане на предикат смятане логически предикати включва аксиома и изходни правила за преобразуване на квантор формула и обосновават извод. По този начин, логиката на обекта на изследване окончателно изместен от законите на мисълта и правилата за тяхното отношение към знаците, изкуствени формализирани езици.

В логиката на аргументите по правилния начин е този, който никога не водят от верни на неверни заключения предпоставки. Това изискване влиза в контакт логика като теория на изходните семантика. Изводът се счита за валидно, ако и само ако условията за истинността на нейните предпоставки са подвид на условията на истината за своите заключения.

Въпреки това, стандартната семантичен подход оправдае продукция в контекст, извън класическите математически теории, той е изправен пред сериозни предизвикателства. Като примери за конвенционалните разсъждения за които няма достатъчно ресурси стандартни семантика могат да доведат контексти, съдържащи Пропозиционални настройка ( "знае, че ...", "Аз вярвам, че ...") и логично модалност ( "трябва", "може").

Оттук и изводът, че е необходимо преразглеждане на метода на семантично изследване на извод, за да разширят своя обхват.

Като част от цялостния подход на семантичен анализ на природните езикови изрази, в момента е в основата е модел на теорията семантика. Появата на математическата теория на моделите е свързана с появата на съвременната логика между две равни подходи - синтактични (теоретични доказателства) и семантични (модел на теорията). втората особеност е, че тя определя логично тълкуване на официална език по отношение както официални лица, които имат алгебрични природата и е модел на езика. Появата и развитието на този втори подход е имал нито един несравним ефект върху цялото по-нататъшно развитие на логиката.

Основният инструмент във всички версии на модела на теорията семантиката на е рекурсивно определение на истината.

Достатъчно е очевидно, че логическата обвързаност "необходимо", "може да" се използва в аргумента да се позова на различния характер на изявление е вярно. Така например, по отношение на някои предложения може да се твърди, че те са били при някои условия са верни, а други са предназначени за винаги да е вярно, и при никакви обстоятелства не може да се окаже, че е неправилна. Освен това, ако вземем гледна точка, че различията в естеството на истината, поради разликата в естеството на въпросните предмети в вярно твърдение, предметната област на модела на логика трябва да включват както в реалния свят обекти и обекти на всички възможни светове на. Но това разграничение не означава стандартните семантиката. Поради това, концепцията за семантиката на възможните светове е било предложено за разрешаване на проблеми, за да се определи количествено модалните контексти, има до голяма степен неформални.

Един от най-важните проблеми на логически анализ на естествен език - на проблема с една единствена логическа структура на изреченията. Нейното значение се дължи главно на факта, че, от една страна, на апарата на класическата предикатна логика, обикновено се тълкува обективираните изказвания от рода на "Снежната покривка е бяло", "Земята се върти около Слънцето" и т.н. От друга страна, има голям брой предложения relativized на говорителя, логическата структура, която не е напълно ясен и изглежда на пръв поглед, че не е съгласна със стандартната представителството на логическата структура. Такъв, например, предлага: "Снежната покривка е бяло", "Има дъжд?" "Уви, Земята се върти около Слънцето", "Обещавам да дойде" и т.н. С други думи, има проблем съвпадение relativized и objectivized предложения в рамките на някои общи разбирания за общата логическа структура на естествените езици изречения.

През последните десетилетия, беше ясно, реализиран в чужд аналитичната философия, че пълното модел език вече не може да бъде ограничена само до семантичен подход. Необходимо да се включи в модела на общ език и прагматичните аспекти на функционирането му. Така определената задача - да се комбинират в рамките на една теория за семантичен и прагматичен "страна" на езика.

По-специално, се очаква, че в рамките на всяко физическо изражение език трябва да се разглежда в контекста на конкретен речеви акт, тъй като връзката между условията истината на изречения и естеството на акта на словото, извършено в изявлението си, е от съществено значение при определянето на стойността. Съответно, теорията на стойност трябва да се състои от две части - позовавания теория и теорията на употреба език. Ето защо, основният проблем на теорията на смисъл е да се идентифицират връзките между тези "блокове", т.е. между условията на истината на изречения и действителната практика на тяхното използване в езика.

За откриване на връзка между двата "единици" се предлага да се помисли за условията на теория стойности знания истината като способността на някои емпирични идентификация. Тъй като този метод на решение на истинната стойност е едновременно практичен капацитет, е необходимо да се образува връзка между познаването и използването на езика.

По този начин, разбирането на стойността на сдружение предполага езикова и екстра-езикови познания, изрично и основна информация. Но по този начин е трудно да се формализира чрез модерна математическата логика. Въпреки това, много изследователи в момента изглежда само подходящи.

ИЗВОДИ

Така, че е ясно, че както на логиката и философията на езика опит през последните десет години, силно влияние от страна на лингвистиката. Няма съмнение, ефектите от логиката на лингвистични изследвания. Въпреки това, има мощна тенденция противоположна - разликата в различните страни на двете посоки. Например, въпросите за езикови прагматика, от тази гледна точка са далеч от проблемите на модална логика.

Загуба установи единство, въпреки че може да се счита за неизбежна последица от специализация, но все пак е природен феномен, за който трябва да бъде последвана от нова фаза на конвергенция на логиката и лингвистиката. Това е още по-реално, че рамката за такова сближаване - решаването на практически проблеми - има. Това е възможно благодарение на продължаващата трансформация на философията на езика във философията на ума. Тази трансформация през последните десетилетия, е допринесъл значително надграждане на традиционните предмети, по-тясното интегриране на философия, психология, логика и теория на езика. Тя със сигурност има значително влияние върху решението на някои практически проблеми на съвременния живот.

Петров VV От философията на езика във философията на ума. В Proc. Философия. Logic. Език. М. "Прогрес", 1987, стр 3-17.

Петров VV Език и логична теория. В Proc. Ново в чуждестранни лингвистиката. Vol. XVIII «логически анализ на естествен език." М. "Прогрес", 1986. S.5-23.