ФОРМАЛЬНОЙ ЛОГИКИ на Английском - Английский перевод

• formal logic

Примеры использования Формальной логики на Русском языке и их переводы на Английский язык

Он по праву считается основателем формальной логики.
He is rightly considered the founder of formal logic.

Я просто с точки зрения формальной логики с ними не могу согласиться.
I cannot agree with them from the formal logic perspective.

Некорректность этого вопроса с точки зрения формальной логики очевидна.
As far as the formal logic is concerned, the incorrectness of the problem is obvious.

Точно так же законы формальной логики не работают в бодибилдинге.
Similarly, the laws of formal logic does not work in bodybuilding.

В результате проведенного секвестрования по правилам формальной логики В.
As a result of the sequestration according to the rules of formal logic, V.

Что, с точки зрения формальной логики, означает отрицательный ответ на поставленный вопрос- KPI не является необходимостью.
Which means a negative answer to the question in terms of formal logic: KPI is not a necessity.

В интервью Лакофф признается: В этот период моей жизни я пытался унифицировать трансформационную грамматику Хомского с помощью формальной логики.
In an interview he stated: During that period, I was attempting to unify Chomsky's transformational grammar with formal logic.

Не следует забывать, что экономика есть субъект религии и веры, а не объект формальной логики и аналитических построений.
It is not necessary to forget, that the economy is the subject of religion and belief, instead of object of formal logic and analytical constructions.

Методы: в исследовании применены методы формальной логики, исторический, сравнительно- правовой, системно- структурный и формально- догматический методы.
Methods: methods of formal logic, historical, comparative law, systemstructural and formal dogmatic methods are used in the analysis.

В частности, одна из школ на базе моизма- Мин цзя- рассматривается некоторыми учеными как раннее исследование формальной логики.
In particular, one of the schools that grew out of Mohism, the Logicians, are credited by some scholars for their early investigation of formal logic.

Методы: отдельные методы формальной логики- анализ и синтез, индукция и дедукция в связи их с экстраполяции, аргументация, обобщение, аналогия.
Methods: some methods of formal logic- analysis and synthesis, induction and deduction, in their connection with extrapolation, argumentation, generalization, analogy have been used.

Но замечено, действительно, квантовая физика, лежащая в основе информационно физических полей, проявляет себя очень необычно для обывателя и в некоторых случаях выходит за пределы формальной логики.
But seen, really, quantum physics, underlying information and physical fields, is very unusual for the layman and, in some cases, goes beyond formal logic.

И по этой реальности является допустимым для анализа в какой степени право positivado, с формальной логики и негибкой, можно встретить удовлетворение чаяний этого глобализированного человека, в частности в связи с этической и моральной аспект.
And on account of this reality is valid to analyse to what extent the right positivado, with a formal logic and inflexible, can meet the satisfaction the aspirations of this globalised man, in particular with regard to the ethical and moral aspect.

С другой стороны, критики работ Канемана и Тверски, в частности немецкий психолог Герд Гигеренцер, утверждают, что не следует считать человеческое мышление насквозь пронизанным иррациональными когнитивными искажениями, скорее следует рассматривать рациональность мышления как адаптивный инструмент, который не всегда подчиняется правилам формальной логики или теории вероятностей.
Alternatively, critics of Kahneman and Tversky such as Gerd Gigerenzer argue that heuristics should not lead us to conceive of human thinking as riddled with irrational cognitive biases, but rather to conceive rationality as an adaptive tool that is not identical to the rules of formal logic or the probability calculus.

Абсолютизм происходит от платоновской идеалистической формальной логики, которая выступает за универсальную истину, соответственно и абсолютисты считают, что моральные вопросы могут быть решены, если придерживаться стандартных моральных принципов, независимо от контекста.
Absolutism is derived from Plato's idealized formal logic, which advocates universal truth; thus absolutists believe that moral issues can be resolved by adhering to a standard set of moral principles, regardless of context.

Одним из направлений повышения качества обучения математике будущих учителей предлагается кроме традиционного языка формальной логики использовать альтернативные языки подачи материала: язык семантических сетей, язык системы фреймов, язык продукционных систем.
It issuggested one of directions of upgrading of educating tomathematics of future teachers except the traditionallanguage of formal logic to use the alternative languages ofserve of material: language of semantic networks, languageof the system of frames, language of productional.

Поскольку для подачи математического материала используется язык формальной логики, который регулируется второй сигнальной системой, это приводит к дефициту информации первой сигнальной системы, которая отвечает за восприятие, воображение, наблюдение, опыт.
As for the serve of mathematicalmaterial the language of formal logic, that is regulated by thesecond alarm system, is used, it results in the deficit ofinformation of the first alarm system, that is responsible forperception, imagination, supervision, experience.

Существенное продвижение в формальной логике намечается с развитием n- значных логик[ 9].
Essential promotion in formal logic is planned with development n-value logics[9].

Позитивистская закон и формальной логик и.
Positivist law and formal logic.

Рассмотрено пересечение предмета соционики с рядом смежных дисциплин: формальной логикой, психологией, языкознанием.
Cross-relation between the subject of socionics and adjacent disciplines: formal logic, psychology, linguistics has been considered.

Формальная логика.
Formal logic.

Традиционная и современная формальная логика.
Zwischen traditioneller und moderner Logik.

Дихотомия в формальной логике, как известно, есть« деление объема понятия на два класса, исчерпывающих весь объем делимого понятия».
As is known, dichotomy in formal logic is“division of a concept into two classes, covering the entire scope of the divisible concept” 10, p.

В своем эссе о метафизике и формальной логике" La Signature Du Quaternaire", опубликованном в 2018 году, Бруно Пол упоминает космологическую модель Янус стр. 100 текста оригинала.
In his essay on traditional metaphysics and 4-valued formal logic La signature du quaternaire, published in 2018, Bruno Paul mentioned the Janus cosmological model p. 100.

Начиная с Макки продолжается философский спор относительно того, как лучше сформулировать парадокс всемогущества в формальной логике.
There has been considerable philosophical dispute since Mackie, as to the best way to formulate the paradox of omnipotence in formal logic.

Формальная логика и эмпирически проверяемые данные должны быть основой, на которую опирается любая теория.
Formal logic and empirically verifiable data ought to be the foundation upon which any theory should rest.

Главы:« Байеса Теорема для начинающих: формальная логика и ее значение для исторического метода», в книге« Источники тридиции Иисус: отделяя историю от мифа» Эд.
Chapters:"Bayes's Theorem for Beginners: Formal Logic and Its Relevance to Historical Method", in Sources of the Jesus Tradition: Separating History from Myth ed.

Ключевые слова: соционика, мышление, суждение, восприятие, формальная логика, оператор, функции Юнга, языкознание, предлог, падеж, глагол, пространство, время, согласование, аксиома.
Key words: socionics, thinking, judgment, perception, formal logic, operator, Jungian functions(thinking, feeling, sensing, intuition), linguistics, preposition, noun case, verb, space, time, coordination, axiom.

Первая фаза или подход, если хотите, это рассмотреть дизайн с формальной точки зрения, формальная логика объекта.
One of those phases, or approaches if you like, is looking at the design in a formal relationship, the formal logic of the object.

Так например исследования в данной области привели к аксиомизации некоторых реализаций модели BDI, и к появлению описаний в формальной логике таких как BDICTL Anand Rao и Michael Georgeff.
Research in this area has led, for example, to the axiomatization of some BDI implementations, as well as to formal logical descriptions such as Anand Rao and Michael Georgeff's BDICTL.