корень - ТОЖДЕСТВ; окончание - А; Основа слова: ТОЖДЕСТВВычисленный способ образования слова: Бессуфиксальный или другой∩ - ТОЖДЕСТВ; ⏰ - А; Слово Тожд... смотреть
тоеснасці, -цяў- тождества с симплектической инволюцией
в логике закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляется в одном и том же смысле. Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания. На практике закон тождества предполагает некую идеализацию действительного характера тех объектов, о которых идет речь в данном высказывании, отвлечение от их развития и изменения, но это правомерно вследствие относительной устойчивости всех явлений в мире. ... смотреть
лат. principium identitatis) 1) В традиц. формальной логике – один из осн. мышления законов наряду с достаточного основания принципом, пpинципом исключенного третьего и пpотиворечия законом. Т. з. не равнозначен понятию тождества. Традиц. формула Т. з. х=х (к-рой в логике и в философии зачастую исчерпывалось понятие о тождестве) выражает лишь рефлексивность отношения тождества (вообще отношений типа равенства) и недостаточна для характеристики понятия (предиката) тождества, любое нетривиальное употребление к-рого основано на принципе отождествления неразличимых, т.е. предполагает отождествление лишь относительно неразличимых объектов – неразличимых в рамках той или иной абстракции отождествления (в интервале абстракции отождест-в л е н и я), что, напр., является типичным для прикладных логико-матем. исчислений. Поэтому в приложениях логики Т. з. потерял свое некогда фундаментальное значение "принципа, выражающего неизменность сущего" (к-рое, кстати, незаслуженно ему приписывалось), уступив место тем или иным определениям предиката тождества (равенства), не имеющим ничего общего с "метафизическими основоположениями" формальной логики. Поскольку рефлексивность тождества указывает на индивидуализацию, формулу х=х, входящую в аксиоматич. определение предиката тождества (а следовательно, и традиц. Т. з.), естественно рассматривать как логич. характеристику понятия "индивидуальное" (подробнее об этом см. в ст. Тождество). Абстракция х=х – тавтология. И хотя она не зависит от выбора универсума рассуждения (см. Универсум), в интерпретации ей должна соответствовать определенная онтология – эта абстракция должна иметь объективную значимость, если, конечно, полагать, что содержание наших абстракций (в качестве объекта абстрагирования) не зависит от абстрагирующей деятельности мышления, существует независимо от него. 2) В совр. формальной (математической) логике Т. з. наз. обычно формулу логики высказываний А?А, выражающую свойство рефлексивности импликации, и любой вариант подстановки в эту формулу. О Т. з. см. также ст. А = А, Равенство в логике и математике, Эквивалентность и лит. при этих статьях. М. Новоселов. Москва. ... смотреть
один из основных логических законов, устанавливающий отношение мысли к самой себе. Его требование: любая конкретная мысль должна быть тождественной самой себе, то есть иметь строго определенное и неизменное содержание. ... смотреть
один из основных законов логики, по которому любая мысль должна быть равна самой себе, т. е. должна быть ясной, точной и определенной (нельзя подменять и путать понятия, создавать двусмысленность, уклоняться от темы, употреблять одни и те же слова в разных значениях или вкладывать одни и те же значения в разные слова и т. п.). ... смотреть
в логике закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляется в одном и том же смысле. Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания. На практике закон тождества предполагает некую идеализацию действительного характера тех объектов, о которых идет речь в данном высказывании, отвлечение от их развития и изменения, но это правомерно вследствие относительной устойчивости всех явлений в мире.... смотреть
(лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая определ. истинностное значение, должна сохранять свою первонач. форму и своё значение в нек-ром известном заранее или подразумеваемом контексте. Для переменных в исчислении высказываний контекст действия Т. з. не фиксирован и не ограничен, а в приложениях логики (в моделях) он определяется ролью высказываний относительно модели. Этой особенностью Т. з. обусловлен, в частности, и выбор параметров при переводе с естеств. языка на язык логики: в пределах данного перевода каждый параметр может заменять только одно высказываниеконстанту, а разные высказыванияконстанты должны заменяться разными параметрами. Непреложность Т. з. в классич. и интуиционистском исчислениях высказываний выразима теоремой: если при утверждении высказывания отрицается Т. з., то тем самым отрицается и утверждение этого высказывания. В логике предикатов Т. з. полностью сохраняется для той её части, к-рая совпадает с логикой высказываний, а для универсума подразумеваемой модели вводится понятие о тождестве, имеющее значение для всей логики.... смотреть
ТОЖДЕСТВА ЗАКОН (лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная... смотреть
логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно пере... смотреть
(в логике) закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляться в одном и том же значении. Начала современного естествознания. Тезаурус. — Ростов-на-Дону.В.Н. Савченко, В.П. Смагин.2006.... смотреть
ТОЖДЕСТВА ЗАКОН — логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических закон... смотреть
- алгоритмическая проблема распознавания равенства (тождества) слов в алгебраич. системе ( группе, подгруппе и др.) с заданной образующей и определяющи... смотреть
проблемы эквивалентности, проблемы иден-тичности, проблемы равенства с л о в (англ. word problems) – задачи нахождения общего метода (алгоритма), позволяющего для произвольной пары элементов к.-л. множества, в к-ром определено отношение типа равенства (тождества, эквивалентности), установить, равны ли эти элементы в смысле данного отношения. Каждая Т. п. является, т.о., разрешения проблемой для множества всех пар равных (эквивалентных) друг другу "слов" в нек-ром "алфавите". Напр., не содержащие кванторов и переменных формулы т.н. ограниченной арифметики (т.е. формальной арифметич. системы, в число аксиом к-рой не входит принцип математической индукции или к.-л. равносильный ему постулат) можно понимать как слова, "буквами" к-рых являются цифровые знаки и символы арифметич. операций; алгоритм, дающий положительное решение Т. п. для выражений вида ?=?, образованных из таких формул с помощью стоящего между ними знака равенства, состоит в последовательном выполнении алгоритмов арифметич. действий в каждом из выражений А и В к последующей проверке, являются ли получившиеся в результате слова А и В, уже не содержащие букв "+", "–", "·" и ":", графически равными (т.е., попросту, совпадают ли они по написанию). Решение Т. п. даже для большинства сравнительно "простых" (по способу их задания) классов слов представляет, как правило, значит. трудности. Для нек-рых частных классов алгебраич. систем (групп, полугрупп) удалось найти алгоритмы, решающие (для них) Т. п. (М. Ден, В. Магнус, 1941, В. А. Тартаковский, 1949, и др.). Как и для любой массовой проблемы, для Т. п. положительное решение является в нек-ром смысле идеалом, к-рый, однако, достижим лишь в сравнительно редких случаях. Так, в 1947 А. А. Марков и амер. математик Э. Пост независимо друг от друга доказали алгоритмич. неразрешимость общей Т. п. для полугрупп (ассоциативных исчислений), поставленной еще в 1914. В 1950 Тьюринг установил неразрешимость Т. п. для т.н. полугрупп с сокращениями. Наконец, в 1952 П. С. Новиков доказал алгоритмич. неразрешимость Т. п. для групп, не поддававшуюся усилиям математиков с 1912 [этот результат был затем передоказан амер. математиками У. Буном (1959), Г. Хигманом (1961) и Дж. Бриттоном (1963)]. Дальнейшие результаты в этой области относятся к установлению иерархий, взаимной сводимости и степеней неразрешимости Т. п. для различных классов алгебраич. систем, а также к близким к Т. п. массовым проблемам логики, алгебры, теории алгоритмов и др. областей математики. Продолжаются и поиски частных классов систем с разрешимой Т. п. Неразрешимость важнейших случаев Т. п. свидетельствует о существенной нетривиальности не только различных Т. п., но и вообще самого понятия "равенства" ("тождества", "эквивалентности", "конгруентности" и т.п.), в т.ч. и в случаях "равенства по определению" (см. Определение), и об относит. характере этого важнейшего понятия логики и математики, зависящего, вообще говоря, от принимаемых в каждом конкретном случае исходных допущений (см. также Абстракция отождествления, Принцип абстракции, Тождество). Лит.: Новиков П. С., Об алгоритмической неразрешимости проблемы тождества слов и теории групп, "Тр. Матем. ин-та АН СССР", 1955, т. 44; Адян С. И., Неразрешимость некоторых алгоритмических проблем теории групп, "Тр. Моск. матем. общества", 1957, т 6; Фридман ?. ?., Степени неразрешимости проблемы тождества для конечно-определенных групп, М., 1967; Rabin M. О., Recursive unsolvability of group theoretic problems, "Annals Mathematics", 1958, v. 67, No 1; Boone W., The word problem, там же, 1959, v. 70, No 2. Ю. Гастев. Москва. ... смотреть
ТО́ЖДЕСТВА ПРОБЛЕ́МЫ проблемы эквивалентности, проблемы иден-тичности, проблемы равенства с л о в (англ. word problems) – задачи нахождения общего м... смотреть
тоеснасцi з сiмплектычнай iнвалюцыяй
тоеснасцi з сiмплектычнай iнвалюцыяй
сложное суждение, образуемое логическим союзом тождество, соответствующим грамматическим союзам «если, и только если», «тогда, и только тогда», «тоже самое» и др. ... смотреть
тригонометриялық тепе-теңдіктер
См. Каннера феномен тождества .
См. Каннера феномен тождества.
понятие, используемое философией постмодернизма для характеристики философии классического типа, фундированной презумпцией наличия универсальной закономерности мироздания (см. Логос, Логоцентризм, Онто-тео-телео-фалло-фоно-логоцентризм). По оценке постмодернизма, проблемно-концептуальные поиски философского мышления подобного типа центрируются вокруг двух фундаментальных *тем*: в проблемном поле онтологии это *тема универсальной медиации*, в сфере гносеологии *тема изначального опыта* (Фуко). Первая из них аксиоматически постулирует в качестве наличного *смысл, изначально содержащийся в сущностях вещей*, что инспирирует такое построение философской онтологии, *когда повсюду обнаруживается движение логоса, возводящего единичные особенности до понятия и позволяющего непосредственному опыту сознания развернуть, в конечном счете, всю рациональность мира* (Фуко). Так, применительно к носителям научной рациональности классического типа неоднократно отмечалась (и не только постмодернизмом) свойственная им *непоколебимая вера в то, что любое подробно изученное явление может быть совершенно определенным образом путем специализации общих принципов соотнесено с предшествующими ему явлениями. ...Именно такое инстинктивное убеждение... является движущей силой научного исследования, убеждение в том, что существует некая тайна и что эта тайна может быть раскрыта* (Уайтхед). Уайтхед усматривает глубокие социокультурные корни данного феномена, полагая, что *указанное направление европейской мысли... берет свое начало из существовавшей в средние века непререкаемой веры в рациональность Бога, сочетающего личную энергию Иеговы с рациональностью греческого философа. Ни одна деталь не ускользнула от его бдительного ока, каждой мелочи он нашел место в общем порядке*. На этой основе в классической культуре формируется образ мира как книги и соответственная интерпретация когнитивных процессов: по выражению Фуко, *если и наличествует дискурс, то чем еще он может быть, как не скромным чтением?* (см. Герменевтика). В противоположность классической традиции, постмодернизм аранжирует обе названные *темы* философского мышления в радикально альтернативном ключе: презумпция имманентной пронизанности мироздания универсальным логосом сменяется презумпцией его фундаментальной хаотичности (см. Постмодернистcкая чувствительность), а трактовка познавательного процесса как процедуры декодирования (*чтения*) имманентных бытию смыслов уступает место отказу от классической идеи референции и трактовке смысла как конституирующегося в семиотическом процессе и принципиально неатрибутивного объекту или тексту (см. Пустой знак, Означивание, Трансцендентальное означаемое). (См. также Различия философия.)... смотреть
- понятие, используемое философией постмодернизма для характеристики философии классического типа, фундированной презумпцией наличия универсальной закономерности мироздания (см. Логос, Логоцентризм, Онто-тео-телео-фалло-фоно-логоцентризм). По оценке постмодернизма, проблемно-концептуальные поиски философского мышления подобного типа центрируются вокруг двух фундаментальных "тем": в проблемном поле онтологии это "тема универсальной медиации", в сфере гносеологии - "тема изначального опыта" (Фуко). Первая из них аксиоматически постулирует в качестве наличного "смысл, изначально содержащийся в сущностях вещей", что инспирирует такое построение философской онтологии, "когда повсюду обнаруживается движение логоса, возводящего единичные особенности до понятия и позволяющего непосредственному опыту сознания развернуть, в конечном счете, всю рациональность мира" (Фуко). Так, применительно к носителям научной рациональности классического типа неоднократно отмечалась (и не только постмодернизмом) свойственная им "непоколебимая вера в то, что любое подробно изученное явление может быть совершенно определенным образом - путем специализации общих принципов - соотнесено с предшествующими ему явлениями. ...Именно такое инстинктивное убеждение... является движущей силой научного исследования, убеждение в том, что существует некая тайна и что эта тайна может быть раскрыта" (Уайтхед). Уайтхед усматривает глубокие социокультурные корни данного феномена, полагая, что "указанное направление европейской мысли... берет свое начало из существовавшей в средние века непререкаемой веры в рациональность Бога, сочетающего личную энергию Иеговы с рациональностью греческого философа. Ни одна деталь не ускользнула от его бдительного ока, каждой мелочи он нашел место в общем порядке". На этой основе в классической культуре формируется образ мира как книги и соответственная интерпретация когнитивных процессов: по выражению Фуко, "если и наличествует дискурс, то чем еще он может быть, как не скромным чтением?" (см. Понимание, Герменевтика). В противоположность классической традиции, постмодернизм аранжирует обе названные "темы" философского мышления в радикально альтернативном ключе: презумпция имманентной пронизанности мироздания универсальным логосом сменяется презумпцией его фундаментальной хаотичности (см. Постмодернистская чувствительность), а трактовка познавательного процесса как процедуры декодирования ("чтения") имманентных бытию смыслов уступает место отказу от классической идеи референции и трактовке смысла как конституирующегося в семиотическом процессе и принципиально неатрибутивного объекту или тексту (см. Пустой знак, Означивание, Трансцендентальное означаемое). (См. также Различия философия.) М.А. Можейко... смотреть
ТОЖДЕСТВА ФИЛОСОФИЯпонятие, используемое философией постмодернизма для характеристики философии классического типа, фундированной презумпцией наличия у... смотреть
ТОЖДЕСТВА ФИЛОСОФИЯ - понятие, используемое философией постмодернизма для характеристики философии классического типа, фундированной презумпцией наличия универсальной закономерности мироздания (см. Логос, Логоцентризм, Онто-тео-телео-фалло-фоно-логоцентризм). По оценке постмодернизма, проблемно-концептуальные поиски философского мышления подобного типа центрируются вокруг двух фундаментальных тем: в проблемном поле онтологии это тема универсальной медиации, в сфере гносеологии - тема изначального опыта (Фуко). Первая из них аксиоматически постулирует в качестве наличного смысл, изначально содержащийся в сущностях вещей, что инспирирует такое построение философской онтологии, когда повсюду обнаруживается движение логоса, возводящего единичные особенности до понятия и позволяющего непосредственному опыту сознания развернуть, в конечном счете, всю рациональность мира (Фуко). Так, применительно к носителям научной рациональности классического типа неоднократно отмечалась (и не только постмодернизмом) свойственная им непоколебимая вера в то, что любое подробно изученное явление может быть совершенно определенным образом - путем специализации общих принципов - соотнесено с предшествующими ему явлениями. ...Именно такое инстинктивное убеждение... является движущей силой научного исследования, убеждение в том, что существует некая тайна и что эта тайна может быть раскрыта (Уайтхед). Уайтхед усматривает глубокие социокультурные корни данного феномена, полагая, что указанное направление европейской мысли... берет свое начало из существовавшей в средние века непререкаемой веры в рациональность Бога, сочетающего личную энергию Иеговы с рациональностью греческого философа. Ни одна деталь не ускользнула от его бдительного ока, каждой мелочи он нашел место в общем порядке. На этой основе в классической культуре формируется образ мира как книги и соответственная интерпретация когнитивных процессов: по выражению Фуко, если и наличествует дискурс, то чем еще он может быть, как не скромным чтением? (см. Герменевтика). В противоположность классической традиции, постмодернизм аранжирует обе названные темы философского мышления в радикально альтернативном ключе: презумпция имманентной пронизанности мироздания универсальным логосом сменяется презумпцией его фундаментальной хаотичности (см. Постмодернист- cкая чувствительность), а трактовка познавательного процесса как процедуры декодирования (чтения) имманентных бытию смыслов уступает место отказу от классической идеи референции и трактовке смысла как конституирующегося в семиотическом процессе и принципиально неатрибутивного объекту или тексту (см. Пустой знак, Означивание, Трансцендентальное означаемое). (См. также Различия философия.) М.А. Можейко<br><br><br>... смотреть