Понятия со словом «сорит»
Связанные понятия
Вега-дель-Эсла (исп. Vega del Esla) — район (комарка) в Испании, входит в провинцию Леон в составе автономного сообщества Кастилия и Леон.
Силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление»)...
Вега-де-Гранада (исп. Vega de Granada) — район (комарка) в Испании, входит в провинцию Гранада в составе автономного сообщества Андалусия.
Противоположные суждения — так называются два суждения, имеющие одно и то же подлежащее и сказуемое, но различающиеся между собой по количеству или качеству. Если назвать A — общеутвердительные суждения; E — общеотрицательные; I — частноутвердительные; O — частноотрицательные, то можно составить квадрат, на котором все отношения противоположности будут выяснены графически.
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Западная полоса (кат. Franja de Ponent, араг. Francha Oriental), Фра́нжа-да-Пуне́н — около 60 населенных пунктов в испанском автономном сообществе Арагон, на границе с Каталонией, где разговорным языком является каталанский (диалекты каталанского, включая переходные говоры от арагонского и испанского к каталанскому). Западная полоса не является целостным административным образованием.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит...
Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.
Парадоксы импликации — это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений — обоснование одних утверждений ссылкой на другие.
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.
Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Подробнее: Индуктивное умозаключение
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Логическая ошибка — в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Окказионализм (от лат. occasio — случай, случайный) — философское учение, объяснявшее взаимодействие души и тела посредством вмешательства Бога, то есть решавшее проблему взаимодействия протяженной и мыслящей субстанций и развивавшее дуализм картезианства. Основные представители — француз Жеро де Кордемуа (1626—1684), немец Иоган Клауберг (1622—1665) и голландец Арнольд Гейлинкс (1624—1669). До логического завершения учение окказионализма довёл француз Николя Мальбранш (1638—1715), сформулировавший...
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
«Тезисы о Фейербахе» (оригинальное название — нем. Thesen über Feuerbach) — рукописная работа Маркса из 11 тезисов, где высказана мысль о ведущем значении в жизни общества революционной практики.
Термин
рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций...
Всео́бщее (нем. Allgemeinheit) — абстрактное единство предметов согласно определенному свойству или отношению, благодаря которому они мысленно объединяются в некоторое множество, класс, род или вид.
Закон в философии — «необходимая связь (взаимосвязь, отношение) между событиями, явлениями, а также между внутренними состояниями объектов, определяющая их устойчивость, выживание, развитие, стагнацию или разрушение». В философском смысле под законом подразумевают «объективные связи явлений и событий, существующие независимо от того, известны они кому-нибудь или нет».
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что...
Подробнее: Дескрипционная логика
Ида́льго (исп. hidalgo от hijo de algo — букв. «сын кого-то») — в средневековой Испании человек, происходящий из благородной семьи и получающий свой особый статус по наследству, передававшийся только по мужской линии. Для доказательства принадлежности к идальго требовалось привести пять свидетелей, которые бы подтвердили, что прадед этого человека имел подобный статус; не менее трех человек из свидетелей должны были также быть идальго. Обладатели этого статуса освобождались от многих налогов, не...
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Пресуппози́ция (от лат. prae — впереди, перед и suppositio — подкладывание, заклад) (также презу́мпция) в лингвистической семантике — необходимый семантический компонент, обеспечивающий наличие смысла в утверждении.
Простой
категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической...
Алька́льд (исп. Alcalde), иногда алка́йд (порт. Alcaide) — от араб. القاضى (не путать с алькайд), алькад — от фр. alcade или al-qāḍī (кади, «судья») — в средневековой Испании и Португалии административная и военная должность, обозначавшая во времена Реконкисты назначавшегося королём коменданта крепости.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.
Великий инквизитор (лат. Inquisitor Generalis) — глава испанской инквизиции. Наиболее известен первый Великий инквизитор, Томас де Торквемада.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Модель системы аксиом — какой-либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того, модель позволяет наглядно продемонстрировать некоторые особенности данной аксиоматической теории.
Валенсийское наречие (кат. valencià,
валенсийский язык, валенсийский диалект) — одно из наречий каталанского языка, на котором говорят жители испанского автономного сообщества Валенсия...
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
В большинстве случаев
испанское имя состоит из составного личного имени и хотя бы двух фамилий. В официальных документах (паспорт, титул на собственность) используется полное имя, но в повседневном обороте почти всегда используются часть личного имени и лишь одна из фамилий. Неверное сокращение иберийских фамилий довольно часто приводит к недоразумениям в прессе и литературе на других языках.
Логический квадрат — это схематичный способ классификации суждений. Он имеет форму геометрического квадрата, чья система классификации включает все атрибутивные (единичные, общие и частные) суждения. Причем общие и единичные суждения рассматриваются как тождественные объему субъекта.
Кастильянизация (исп. castellanizacion, кат. castellanitzacio) — процесс усвоения кастильского (испанского) языка, кастильской культуры, обычаев и т. п. другими областями Испании. В некоторых случаях кастильянизацию отличают от испанизации — подчинения испанскому господству и культуре вне-иберийских стран и народов (например, населения Канарии, Латинской Америки или Филиппин), хотя на практике разница может быть несущественна, поскольку Кастилия явилась ядром Испании и государствообразующей её частью...
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Пропози́ция (лат. propositio — основное положение, предпосылка, предмет, тема) — семантический инвариант, общий для модальной и коммуникативной парадигмы предложения и иных языковых конструкций, производных от предложения.
Гранды (исп. Grandes) — высшая знать в средневековой Испании, с XVI столетия — почётный статус представителей высшего дворянства. В Португалии и Бразилии использовался титул Grandeza.
Софизм Эватла (парадокс Эватла, парадокс Протагора, парадокс «Протагор и Эватл») — софизм (логический парадокс) древнегреческого происхождения. Этот парадокс иллюстрируется полулегендарным примером.
«Дурные обычаи» (исп. malos usos, позднелат. mali usatici) — название ряда обременительных феодальных повинностей в Испании и Южной Франции, существовавших в XIII—XV вв. Наиболее тяжелую форму «Дурные обычаи» приобрели в Каталонии, где на них основывалась система феодальной власти сеньоров над крестьянами.
Парадо́кс во́ронов (англ. Raven paradox), известный также как парадокс Гемпеля (нем. Hempels paradox) или во́роны Гемпеля — парадокс подтверждения, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией. Наиболее распространённый метод разрешения этого парадокса состоит в применении теоремы Байеса, которая соотносит условную и предельную вероятность стохастических событий.
Энкомье́нда (исп. encomienda — попечение, защита, покровительство, от исп. encomendar — поручать, доверять) — форма зависимости населения испанских колоний от колонизаторов. Введена в 1503 году. Отменена в XVIII веке.
Коррехидор назначался испанским монархом и осуществлял, в основном, функции надзора над местной администрацией и судьями. В XVI веке, после завоевания Испанией Центральной и Южной Америки в районах с преобладанием индейского населения стали создаваться особые округа (коррехимьенто), во главе которых стоял коррехидор, ведавшими организацией принудительного труда индейцев, сбором налогов и пр. В испанских колониях на Филиппинах коррехидоры выполняли аналогичные функции.
Руссильо́н (кат. Rosselló, фр. Roussillion) — исторический район (комарка) Каталонии, который сейчас находится на территории современного французского департамента Восточные Пиренеи. Перпиньян, крупнейший город и столица, является также крупнейшим городом Северной Каталонии. Граничит с каталонскими районами Альт-Эмпорда, Валеспир и Конфлан, а также с окситанскими районами Фенулледа и Корбьер.
Проблема тождества личности — философская проблема, состоящая в том, что человек в разные моменты времени считает себя одной и той же личностью, в то время как его тело и сознание постоянно меняются. Основными конкурирующими теориями в этой области являются...