- Добро пожаловать на Лингвофорум.
Автор Digamma
- марта 14, 2005, 05:44Цитата: RawonaMНа что я хотел указать, это вот:Ну, блин, разобрались!
Propositional variables are also considered a proposition and called a proposition since they represent a proposition hence they behave the same way as propositions.Именно это я и хотел сказать выше.
Лично у меня твое высказывание ассоциировалось с языковым термином.Цитата: RawonaMВсе три подходят. (Первое это языковое высказывание, второе - логическое высказывание, представление первого, третье - любое высказывание есть выражение, естественно [но не обязательно наоборот.])Ну, знамо дело все три подходят - я ж возможные для данного случая варианты и описывал. Однако у тебя некорректность в утверждении (подчеркнуто): логическое высказывание вовсе не обязано быть представлением некоего языкового высказывания. Это - просто абстракция (по-прежнему считаю пагубным наполнение абстракций реальным смыслом).
Цитата: RawonaMЯ вообще не очень понимаю, как можно отделить формальную логику от языка, что с ней еще можно делать, если не анализировать предложения?Гм... Ну, прежде всего, формальная логика (как раздел математики)обслуживает гносеологию (и собственно математику), позволяя отделять корректные импликации от некорректных (языковое представление тут не важно - речь лишь о логических выводах). Кстати, основы оной были заложены тов. Аристотелем. В принципе же, формальная логика оперирует на метаязыковом уровне (если привязку к языку и можно осуществить, то только семантически, т.к. трактовка истинности man(A) V ~man(A) от языка не зависит).Просвети пожалуйста.
Говоря грубо, утилитарно формальная логика исследует принципы вывода новых утверждений из существующих, а идеологически является подразделом абстрактной алгебры, исследующим строго определенный частный случай задания группы операций над множеством из двух (трех) элементов.
Автор RawonaM
- марта 13, 2005, 10:53Цитата: DigammaВ принципе - все ОК, только немного поверхностно написано и рассчитано явно не на представителей точных наук (извини, я не хочу ничего обидного сказать - просто так и есть, т.к. не совсем строго написано). Понимаешь, возможно само расхождение во мнениях вызвано лишь тем, что то, что для лингвиста - вполне удовлетворительная формулировка, для математика - просто небрежность.А кто сказал, что это учебник не для математиков? 8) Я просто сделал поиск на "Propositional logic" и это было одно из первых.
На что я хотел указать, это вот:
Propositional variables are also considered a proposition and called a proposition since they represent a proposition hence they behave the same way as propositions.
Именно это я и хотел сказать выше.
Цитата: DigammaЧто ты имел в виду под "суть высказывания" - 1 или 2? И что под expression?'are propositions'. Expression='выражение'.
Цитата: DigammaРавонам, это путаницы не убирает. В данном случае тут фигурируют три сущности:Все три подходят. (Первое это языковое высказывание, второе - логическое высказывание, представление первого, третье - любое высказывание есть выражение, естественно [но не обязательно наоборот.])
1) высказывание в смысле лингвистики (т.е. некая семантически законченая конструкция, если я верно понял из приведенной тобой выше страницы);
2) высказывание ЛВ;
3) логическое выражение (expression).
Я вообще не очень понимаю, как можно отделить формальную логику от языка, что с ней еще можно делать, если не анализировать предложения?
Просвети пожалуйста.Автор Digamma
- марта 13, 2005, 05:13Цитата: RawonaMВот тут курс логики:В принципе - все ОК, только немного поверхностно написано и рассчитано явно не на представителей точных наук (извини, я не хочу ничего обидного сказать - просто так и есть, т.к. не совсем строго написано). Понимаешь, возможно само расхождение во мнениях вызвано лишь тем, что то, что для лингвиста - вполне удовлетворительная формулировка, для математика - просто небрежность.
http://www.cs.odu.edu/~toida/nerzic/content/logic/prop_logic/truth_table/truth_table.html
Посмотри на первый абзац и скажи, с чем ты несогласен.
Цитата: RawonaMРавонам, это путаницы не убирает. В данном случае тут фигурируют три сущности:Цитата: DigammaЯ не понял что именно там ты как expression перевел. В математической части expression в данном случае использовано быть не может, т.к. оно не подходит по смыслу.Да, возможно statement будет лучше.
1) высказывание в смысле лингвистики (т.е. некая семантически законченая конструкция, если я верно понял из приведенной тобой выше страницы);
2) высказывание ЛВ;
3) логическое выражение (expression).
Что ты имел в виду под "суть высказывания" - 1 или 2? И что под expression?
Автор RawonaM
- марта 11, 2005, 00:48Вот тут курс логики:
http://www.cs.odu.edu/~toida/nerzic/content/logic/prop_logic/truth_table/truth_table.html
Посмотри на первый абзац и скажи, с чем ты несогласен.
http://www.cs.odu.edu/~toida/nerzic/content/logic/prop_logic/truth_table/truth_table.html
Посмотри на первый абзац и скажи, с чем ты несогласен.
Цитата: DigammaЯ не понял что именно там ты как expression перевел. В математической части expression в данном случае использовано быть не может, т.к. оно не подходит по смыслу.Да, возможно statement будет лучше.
Автор Digamma
- марта 11, 2005, 00:16Цитата: RawonaMИ вообще, четкое разграничение областей обречено на провал, все это как-то связаноНу, так можно и арифметику от математики отъять и куда угодно приставить.
Цитата: RawonaMЯ не понял, что ты тут написал, но попробую объяснить, свою мысль. Когда придумали вот эту логику, термин высказывание (proposition) был взят из области языка (или взят из области, которая взяла его из области языка, так же как и синтаксис и др.).Я бы не был столь уверен. (нужно смотреть что раньше возникло)
Цитата: RawonaMРазумеется, целиком это высказывание, но и по отдельности тоже, с нашей точки зрения, каждая переменная это тоже высказывание.Я не понял: "с нашей" - это с какой?
Цитата: RawonaMПочему же, эта логика называется логикой высказываний? Чем отличается логика предикатов от логики высказываний, если не тем, что в первой из них выясняются отношения между предикатами, а во второй между высказываниями?Нет. Грубо говоря, логика предикатов расширяет логику высказываний введением переменных и т.д. Т.е. обычно логика высказываний - это попросту упрощенный вариант логики предикатов первого порядка (может быть еще логика предикатов второго порядка и высших порядков).
Цитата: RawonaMЛюбая формула в предикативной логике ведь тоже высказывание.Это смотря как поглядеть на нее. Если строго, то нет, т.к. квантование по переменной перебрасывает тебя из ЛВ в ЛППП (если, конечно, не заниматься словоблудием и не называть ЛППП "логикой высказываний").
Цитата: RawonaMПереведи эти термины на английский, там нет двусмысленности со словом высказывание, одно значение proposition, другое expression, и посмотри, к чему относится propositional logic.Я не понял что именно там ты как expression перевел. В математической части expression в данном случае использовано быть не может, т.к. оно не подходит по смыслу.
Автор iskender
- марта 9, 2005, 16:31Цитата: RawonaMЧтобы ты понял, как лингвисты учат логику, присоединю первую страницу этой главы из учебника.Столько текста и ни одной формулы. Ужас!:mrgreen:
Цитата: reziaВот такаякартинка. Видно, видно, что с книгой работали!
Респект.Автор RawonaM
- марта 9, 2005, 15:33Цитата: DigammaМ-м-м-м... В данном контексте нет, т.к. в данном контексте высказывание есть (A V B) целиком. Просто термин высказывание логики высказываний (mille pardons!) не нужно смешивать с высказыванием как таковым (в первом случае это синоним логического утверждения).Переведи эти термины на английский, там нет двусмысленности со словом высказывание, одно значение proposition, другое expression, и посмотри, к чему относится propositional logic.
Автор Rezia
- марта 9, 2005, 15:20Вот такая картинка. Видно, видно, что с книгой работали!
Это не из примеров феминисток, а это моя идея о том, как бы феминистки отнеслись к компонентному анализу (при обозначении смысла "женщина").
картинка. Видно, видно, что с книгой работали! Это не из примеров феминисток, а это моя идея о том, как бы феминистки отнеслись к компонентному анализу (при обозначении смысла "женщина").
Автор RawonaM
- марта 9, 2005, 15:15Цитата: DigammaА я этого и не утверждал. Мы учили как лингвистическую дисциплину строение тела человека, клеток, нейронов, мозга и так далее, а также, скажем, теологию в разном виде, немного философии, психологии, теорию множеств и еще кучу вещей.ЦитироватьА я учусь на лингвистическом отделении и мы это учили как лингвистическую дисциплину.
Не, Равонам, это не лингвистическая дисциплина 100%. Это - раздел математики (а именно - мат. логики), используемый лингвистикой.
И вообще, четкое разграничение областей обречено на провал, все это как-то связано.Цитата: DigammaЭто было из примеров феминисток, о том как построен язык.Цитироватьэто я так "proposional logic" перевела
Резечка (Рециечка? ), кстати, логическое утверждение FEMALE = ~MALE не верно.
Цитата: DigammaЯ не понял, что ты тут написал, но попробую объяснить, свою мысль. Когда придумали вот эту логику, термин высказывание (proposition) был взят из области языка (или взят из области, которая взяла его из области языка, так же как и синтаксис и др.). Разумеется, целиком это высказывание, но и по отдельности тоже, с нашей точки зрения, каждая переменная это тоже высказывание. (Скажем, замени А на G&FvD, а В на J&~W, и ничего абсоютно не изменится.) Почему же, эта логика называется логикой высказываний? Чем отличается логика предикатов от логики высказываний, если не тем, что в первой из них выясняются отношения между предикатами, а во второй между высказываниями? Любая формула в предикативной логике ведь тоже высказывание.Цитироватьсуть высказывания, что само по себе, разумеется, термин лингвистический в оригинале...
М-м-м-м... В данном контексте нет, т.к. в данном контексте высказывание есть (A V B) целиком. Просто термин высказывание логики высказываний (mille pardons!) не нужно смешивать с высказыванием как таковым (в первом случае это синоним логического утверждения).
Чтобы ты понял, как лингвисты учат логику, присоединю первую страницу этой главы из учебника.
Автор Digamma
- марта 9, 2005, 09:58Цитата: reziaэто я так "proposional logic" перевелаРезечка (Рециечка?
), кстати, логическое утверждение FEMALE = ~MALE не верно. Цитата: RawonaMА я учусь на лингвистическом отделении и мы это учили как лингвистическую дисциплину.Не, Равонам, это не лингвистическая дисциплина 100%. Это - раздел математики (а именно - мат. логики), используемый лингвистикой.
Цитата: RawonaMИнтересно мне, а по какому поводу это учат на нелингвистических факультетах?См. выше.
Цитата: RawonaMсуть высказывания, что само по себе, разумеется, термин лингвистический в оригинале...М-м-м-м... В данном контексте нет, т.к. в данном контексте высказывание есть (A V B) целиком. Просто термин высказывание логики высказываний (mille pardons!) не нужно смешивать с высказыванием как таковым (в первом случае это синоним логического утверждения).