выражения, с помощью которых осуществляется обобщающая и синтетическая деятельность мышления при языковом способе воспроизведения действительности («и», «или», «если, то», «суть» и т.п.).
Научные статьи на тему «Логические термины (связки)»
П.С. Новиков в конце 50-х годов ХХ века поставил задачу о новых логических связках как экстрапонятиях для языка со стандартными логическими связками $\vee$, $\wedge$, $\rightarrow$, $\neg$. Я.С. Сметанич в своих работах привел точные формулировки подхода Новикова к понятию новых логических связок в суперинтуиционистских логиках (новая логическая связка, полнота по Новикову). В статье рассмотрена проблема П.C. Новикова применительно к новым константам в предтабличных суперинтуиционистских логиках $LC$, $L2$, $L3$: логика конечных цепей, логика корневых шкал глубины 2 (вееров), логика корневых шкал глубины 3 с наибольшим элементом (даймондов). Получено исчерпывающее описание семейства всех полных по Новикову расширений каждой из предтабличных суперинтуиционистских логик в языке с несколькими дополнительными константами: для $LC$ и $L2$ семантическое описание всех полных по Новикову расширений дано в терминах классов конечных цепей с раскраской ($LC$) и конечных вееров с раскраской ($L...
Логическая структура суждения
Определение 1
Простые и сложные суждения – это виды суждений, выделяемые... сообщается в данном суждении);
предикат – понятие, отражающее признак субъекта (то, что мыслится);
связка... Итак, обязательными частями суждения выступают два термина (субъект и предикат) и связка (указанная явно... По качеству связки суждения бывают утвердительными и отрицательными.... В зависимости от того, какие логическиесвязки используются, выделяют следующие виды сложных суждений
Рассматривается проблема двух различных интерпретаций определённых дескрипций, как она представлена в статье Е.В. Борисова «О двух интерпретациях определённых дескрипций», где последние могут рассматриваться как сингулярные термины и индивидуализирующие предикаты. Этим интерпретациям, с точки зрения Е.В. Борисова, соответствуют идентификационная и предикативная интерпретация связки. Анализируются возможности такого подхода и обосновывается тезис, что этот подход возможен только приусловии игнорирования различия первичного и вторичного вхождения логических констант в высказывания, содержащие обозначающие фразы. Обосновывается, что реляционное понимание связки в общем случае не устранимо, если необходимо сохранить различие первичного и вторичного вхождения логических констант в высказывания, использующие определённые дескрипции.
методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: «Сущности не следует умножать без необходимости». У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода «скрытых качеств», ненаблюдаемых «сущностей», таинственных «сил» и т. п. «Б. О.» может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование «не излишествовать» в причинах при объяснении явлений.
[лат. argumentum – логический довод, основание доказательства] – суждение (или совокупность взаимосвязанных суждений), посредством которого обосновывается истинность какого-либо другого суждения (или теории).
