В логической семиотике функтор, который из имен порождает высказывания, называют
В логической семиотике функтор, который из имени порождает новое имя, является
В логической семиотике функтор, который из элементарного функтора образует сложный, называют
В логической семиотике функтор, посредством кото­рого из высказываний (семантическая категория аргументобразуется новое, более сложное высказывание (вновь образуемая семантическая категория), называют
В логическом анализе знаковую систему искусственного языка как логическое исчисление представляет
В логическом исчислении такое его свойство, когда выводимость некоторой произвольной формулы, например формулы А, не сопровождается выводимостью ее отрицания, те форму­лы «неверно, что А» назы­вается
В языке науки совокупность специальных терминов (те слов, принимающих в рамках какой-либо теории одно-единственное значение) и выражений, фиксирующих объекты, их свойства и отношения из предметной области данной отрасли знания, представляет собой
Внешние признаки предметов, как правило, отображает
Внутреннюю, необходимую и существенную связь явлений называют
Возможность выражения смысла этого знака другими знаками, способными заменить его, считается значением знака
Всякую систему, состоящую из непустого множества и какого-либо соответствия, отно­сящего к каждому символу формализованного языка ка­кое-нибудь отношение в данной области, или какую-либо операцию, или какой-нибудь элемент указанной предметной области, понимают как
Вторая ступень познания включает
Вторая ступень познания включает
Выражение, включающее именные функции или пропозициональные переменные и превращающееся в выска­зывание при подстановке на их место конкретных значений, называют
Выражение, которое служит для обозначения предметов (их классов, свойств и отношений) и записывается в виде отдельных букв, называют
Выражение, обозначающее предмет или совокупность предметов, которые могут быть либо физическими, либо абстрактными, либо фиктивными, в логической семиотике называют
Выражение, связывающее переменные, - это
Выражение, служащее для образования но­вых, более сложных языковых конструкций из уже имеющихся, в логической семиотике называют
Высшую форму активного отражения, выра­жающуюся в целенаправленном познании существенных связей и отно­шений объективного мира, продуцировании новых идей, прогнози­ровании грядущих событий представляет собой
Диалектическая логика создана немецким философом
Задание алфавита, те конечной совокупности исходных знаков, предполагает построение
Задание семантических правил интерпретации исходных знаков и сложных выражений (правила интерпретации) предполагает построение
Законы и нормы, реализующие принципы правильного мышления: непротиворечивости, пос­ледовательности, доказательности и принцип тождества, являются предметом изучения
Знаковую систему, выступающую опти­мальным средством выражения человеческого мышления и средством общения, представляет собой
Использование формальных методов для анализа содержательных реалий в изучении умозаключений, суждений, понятий, операций над ними положило начало
Исчисление, содержащее в себе процедуру выводимости или невыводимости некоторой произвольно взятой формулы, называется
К первой ступени познания следует отнести
Ко второй ступени познания следует отнести
Комплекс взглядов, представлений, идей, направленных на истолкование и объяснение каких-нибудь явлений - это
Логическая форма, с помощью которой наше мышление выделяет и обобщает предметы мыслимого мира на основе их отличительных свойств, называется
Логический метод уточнения содержания мысли посредст­вом уточнения ее логической формы называется
Логическое следствие, истинность, выполнимость, обще­значимость, устанавливающие связь между выражениями знаковой системы и объектами из выбранной области интерпретации, являются основными категориями
Материальный чувственно воспринимаемый объ­ект, выступающий в процессе познания и общения в качестве заместителя другого объекта и используемый для накопления, хранения и передачи информации о нем, называют
Метод, который заключается в накоплении, описании, объяснении, классификации и систематизации фактов и результатов экспериментов называется
Многозначность какого-либо слова - это
Нахождение некоторого алгоритма решения проблемы представляет собой метод
Не признает объективного существования общего - общих понятий и (тем более) логических форм и законов - логико-философское направление
Образ предмета или явления, не воздействующего в данный момент на органы чувств, - это
Общая теория знаковых систем называется
Операция систематического приписывания значений формулам логического исчисления называется
Опосредованное, обобщенное отражение действительнос­ти человеком в ее существенных связях и отношениях - это
Определенные способы интеллектуальной деятельности предписывают
Постулаты, выражающие такие отношения между понятиями, которые безусловно верны и не требуют доказательства, характерны для использования метода
Предложение, которое может быть оценено как истинное или как ложное, называют
Предмет познания в его ретроспективе, в генезисе рассматривает метод
Предписание сохранения мысленного содержания предмета рассуждения дано логическим законом
Предписание, запрещающее выбирать в качестве аль­тернативы А или не-А еще какие-либо суждения, дано логическим законом
Предписание, не допускающее взаимоисключающих суждений в структуре одного рассуждения, вывода в одном контексте дано логическим законом
Предписание, обязывающее различать реальные и мнимые противоречия, дано логическим законом
Предписание, определяющее критерий логичности рассуждения как непротиворечивость, дано логическим законом
Предписание, побуждающее давать истинностные ква­лификации суждений, многозначно используемых в рассуждении, дано логическим законом
Предписание, считающее обоснованием любую ис­тинностную характеристику суждения (ложное суждение, вероятностное суждение), дано логическим законом
Предписание, трактующее универсальный прием ло­гического мышления, согласно которому противополож­ное истине есть ложь, дано логическим законом
Предписание, требующее выявлять явные и скрытые противоречия в структуре рассуждения, дано логическим законом
Предписание, требующее достигать определенности мысли в термине (слове, выражении), дано логическим законом
Предписание, требующее обоснованности всех посылок рассуждения (умо­заключения, доказательства, вывода), дано логическим законом
Предписание, требующее различать в обосновании суждений логическое обоснование (отношение вывода ло­гического следования) и фактическое обоснование, дано логическим законом
Предписание, устанавливающее отношение контрар­ности (противоположности) между альтернативами таким образом, что одна из них является отрицанием другой, дано логическим законом
Предписание, утверждающее, что если какое-либо суждение являет­ся обоснованным, то допустимо использовать его в дока­зательстве, не воспроизводя его оснований, а лишь под­разумевая их, дано логическим законом
Предписание, формулирующее альтернативность А и не-А и предлагающее сделать выбор между ними по истинностному признаку, дано логическим законом
Преобразование постулатов по пра­вилам, дающим возможность из ограниченного числа аксиом получать множество доказуемых положений - теорем, является сутью метода
Признание единства и объективного существования законов и форм характеризует логико-философское направление
Признание существования общего (форм и законокак идей, смыслов определяет
Применение методов формализации и математических методов в изучении умозаключений, суждений, понятий, операций над ними послужило причиной появления
Принципы правильного мышления: непротиворечивости, пос­ледовательности, доказательности и принцип тождества являются предметом изучения
Пропозициональная функция, включающая именные переменные,- это
Противоречие разви­вающегося (изменяющегося) знания - это
Пути и способы интерпретации формальных логических систем изучает раздел логики
Раздел семиотики, в котором анализируется отношение отправителя-получа­теля какой-либо знаковой системы к самой знаковой системе, называется
Раздел семиотики, в котором рассматривается совокупность понятий, связанных с анализом значения и смысла знаковых выражений, называется
Раздел семиотики, посвященный анализу структурных характеристик знаковых систем, безотносительно к их интерпретации, называется
Различают описательные выражения и три категории логических зна­ков. Языковое выражение " Ни одно не есть" является выражением
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "Все… есть" является выражением
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "если… то…" относится к
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "и" относится к
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "или" относится к
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "либо" относится к
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "Меньше" относится к
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "Некоторые есть" является выражением
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "Некоторые не есть" является выражением
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "Смертен" относится к
Различают описательные выражения и три категории логических зна­ков. Языковое выражение "Сократ" является выражением
Различают описательные выражения и три категории логических зна­ков. Языковое выражение «поэтому» в предложении «титан - металл, поэтому он электропроводник» относится к
Связь явлений при­роды, многократно повторяемую в идентичных условиях, описывают
Система знаний о мышлении, которая нужна, чтобы судить о правильности мышления, - это
Система индуктивной логики была разработана
Система основных терминов науки (в геометрии Евкли­да - это понятия точки, прямой, угла, плоскости и др.) формулируется, когда прибегают к методу
Система правил, позволяющая преоб­разовывать исходные постулаты корректным образом, формулируется благодаря методу
Слова, имеющие одинаковое звучание, но различное значение, называются
Создателем формальной логики, "отцом логики" называют
Соотношение взаи­моисключающих суждений, взятых в одном контексте - это
Способ построения системы знания, совокупность приемов и операций практического и теоретического освоения действительности - это
Средства, позволяющие формулировать правила образования и преобразования сложных выражений, должен содержать
Сходство слов по значению при различии их звучания называется
Та мысль, которую выражает или воспринимает человек, вводящий или воспроизводящий знак, считается значением знака
Та сфера действительности, которую данный знак замещает, считается значением знака
Форма мышления, в которой посредством ут­верждения связи между предметами, между предметами и свойствами выражается истина, называется
Форма мышления, посредством которой из одного или нескольких суждений (посылок), истинность которых известна, выводится новое суждение (заключение), также истинное, называется
Формализованную систему, которая на основе строго определенных правил позволяет последовательно производить некоторые точным образом описанные действия с формулами исчисления, называют
Формулирование оснований правил и рекомендаций, следуя которым можно достичь истины, является целью
Формулировка "всякое верное положение должно быть обоснован­ным" определяет логический закон
Формулировка "если есть два суждения, из которых одно оказывается отрицанием второго, то одно (и только одно) из них является истинным" выражает логический закон
Формулировка "неверно, что некоторое сужде­ние и его отрицание" одновременно истинны выражает логический закон
Формы мышления и операции с ними, к которым относятся и в которых реализуются законы, нормы и принципы правильного мышления: непротиворечивости, пос­ледовательности, доказательности и принцип тождества, являются предметом изучения
Чувства и желания человека, употребляющего данный знак (в случае использования его в конкретном контексте и в определенной ситуации), считаются значением знака
Чувственный опыт в качестве критерия истинности мышления признает логико-философское направление
Явное и строгое формули­рование правил, позволяющих переходить от одних сложных выраже­ний к другим (правила преобразования и правила замены по опре­делению), предполагает построение
Явное и строгое формулирование правил, позволяющих строить сложные выра­жения из исходных (правила образования), предполагает построение
Язык как система знаков для выражения, хранения и передачи мысли является предметом изучения
Язык науки отличается от естественного языка
Язык, который подвергается анализу, называют
Язык, который строится по сфор­мулированным заранее правилам и предназначен для решения каких-либо конкретных задач, называют
Язык, на котором формулируются приемы анализа, фик­сируются его результаты, называют