правило, которое формулируется так: если конечная последовательность формул Г и высказывание А дает В, то в Г может быть принята импликация вида: если А, то В. | ||||||||||
Введения конъюнкции правило - | ||||||||||
правило, заключающееся в том, что к доказательству можно присоединить конъюнкцию, если в числе строк доказательства имеются оба ее члена. | ||||||||||
Введения отрицания правило - | ||||||||||
правило, согласно которому из двух импликаций, имеющих одинаковый антецедент и противоречащие консеквенты, следует отрицание одинакового консеквента. | ||||||||||
Введения эквивалентности правило - | ||||||||||
правило, по которому к доказательству можно присоединить эквивалентность, если в доказательстве имеются импликации вида: если В, то В: если В, то А. | ||||||||||
Верификация - | ||||||||||
принцип установления осмысленности, т.е. возможности какого-либо высказывания оказаться истинным или ложным. Это логический смысл верификации. В общеметодологическом смысле это установление фактуальности, достоверности, правдоподобности. | ||||||||||
Вероятностная логика - | ||||||||||
логика, преследующая вероятностные суждения, базирующиеся не только на двух значения истинности (истина и ложь), но и на значениях, располагающихся между истинностью и ложью. | ||||||||||
Вероятность - | ||||||||||
степень возможности какого-либо определенного события. | ||||||||||
Взаимно-однозначное отношение - | ||||||||||
такое отношение, когда каждому значению y, входящему в формулу xRy, соответствует одно единственное значение x. | ||||||||||
Взаимно-однозначное соответствие - | ||||||||||
такое соответствие между элементами двух множеств, когда каждому элементу первого множества некоторым образом поставлен в соответствие один определенный элемент второго множества. | ||||||||||
Взаимозаменимости принцип - | ||||||||||
принятое в логической семантике положение, согласно которому возможна такая замена языкового выражения другим языковым выражением в данном контексте, что при этом логический смысл контекста не меняется. | ||||||||||
Видовое отличие - | ||||||||||
признак, отличающий предмет одного вида от других видов, входящий в один и тот же род. | ||||||||||
Видовое понятие - | ||||||||||
понятие, которое отображает существенные признаки класса предметов, являющихся видом какого-либо рода. | ||||||||||
Виртуальный - | ||||||||||
такой возможный объект, который нами еще не воспринимается как нечто вполне определенное, но способный при наличии некоторых условий возникнуть, проявиться. | ||||||||||
Временная (темпоральная) логика - | ||||||||||
одно из направлений современной модальной (неклассической) логики, применяющее логический аппарат для анализа корректности суждений, содержащих в себе модальности временной упорядоченности явлений, отношений и действий типа «раньше», «позднее», «одновременно» и т.д. | ||||||||||
Всегда-истинные высказывания (тавтологии) - | ||||||||||
высказывания, которые всегда принимают только значение «истина». | ||||||||||
Всегда-ложные высказывания (логические противоречия) - | ||||||||||
высказывания, принимающие только значение «ложь». | ||||||||||
Вторая фигура простого категорического силлогизма - | ||||||||||
фигура, в которой средний термин М в обеих посылках является субъектом. Вторая фигура имеет следующий вид: P – M S – M S – P | ||||||||||
Вывод - | ||||||||||
последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных высказываний (теорем). Последняя из формул данной последовательности, выведенная как непосредственное следствие предыдущих формул по одному из правил вывода, представляет собою доказуемую формулу. | ||||||||||
Выводимости знак - | ||||||||||
принятый в логике знак, обозначающий отношение выводимости последующего из предыдущего: А В – означает, что В выводится из А. | ||||||||||
Выполнимая формула - | ||||||||||
формула, которая при своем исчислении на выходе (в последнем действии) дает хотя бы одно значение «истина». | ||||||||||
Высказывание - | ||||||||||
термин в логике, которым обозначается логический смысл какого-либо простого повествовательного предложения естественного языка. | ||||||||||
Генетический метод - | ||||||||||
метод исследования какого либо предмета, основанный на анализе процесса его возникновения, становления, перехода от низших ступеней к высшим. | ||||||||||
Генетическое доказательство - | ||||||||||
вид доказательства, в котором используется генетический метод. | ||||||||||
Генетическое определение - | ||||||||||
определение, в котором указывается на происхождение предмета. | ||||||||||
Герменевтика - | ||||||||||
раздел эпистемологии и методологии науки, связанный с истолкованием текстов, их пониманием, смыслом. | ||||||||||
Гипостазировать - | ||||||||||
утверждать о существовании каких-либо объектов на том только основании, что существуют слова, обозначающие такие объекты. | ||||||||||
Гипотаксис - | ||||||||||
подчинение или зависимость чего-либо от другого. | ||||||||||
Гипотеза - | ||||||||||
вероятное предположение о причине какого-либо явления, достоверность чего еще не доказана ни наукой, ни практикой. | ||||||||||
Гипотетико-дедуктивный метод - | ||||||||||
способ научного исследования, согласно которому вначале выдвигаются несколько гипотез о причинах изучаемых явлений, а затем дедуктивным путем из гипотез выводятся следствия. | ||||||||||
Гистерезис - | ||||||||||
отставание следствия от высказывающей его причины. | ||||||||||
Глосса - | ||||||||||
интерпретация непонятного или малоупотребительного словосочетания. | ||||||||||
Глоссолалия - | ||||||||||
бессмысленные слова или словосочетания. | ||||||||||
Гомогенный - | ||||||||||
однородный, состоящих из одних и тех же компонентов. | ||||||||||
Гомоморфизм - | ||||||||||
такое отношение между двумя совокупностями объектов, когда каждому объекту (а) первой совокупности становится в соответствие только один предмет (в) из второй совокупности. | ||||||||||
Darapti - | ||||||||||
условное обозначение одного из модусов третьей фигуры простого категорического силлогизма (aai), в котором из двух общеутвердительных посылок следует частноутвердительное заключение. | ||||||||||
Darii - | ||||||||||
условное обозначение одного из модусов первой фигуры простого категорического силлогизма (aii), в котором из общеутвердительной и частноутвердительной посылок следует частноутвердительное заключение. | ||||||||||
Datisi - | ||||||||||
условное обозначение одного из модусов третьей фигуры простого категорического силлогизма (aii), в котором из общеутвердительной и частноутвердительной посылок следует частноутвердительное заключение. | ||||||||||
Популярное: Почему люди поддаются рекламе?: Только не надо искать ответы в качестве или количестве рекламы... Почему двоичная система счисления так распространена?: Каждая цифра должна быть как-то представлена на физическом носителе... Как выбрать специалиста по управлению гостиницей: Понятно, что управление гостиницей невозможно без специальных знаний. Соответственно, важна квалификация... ©2015-2024 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (389)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |