Translation of "razão e da lógica" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| A história das ideias tem a sua lógica, razão e da loucura, o seu inconsciente e a sua trajectória. | The history of ideas has its logic, reason, and folly, its unconscious and its trajectory. |
| E em nosso país moderno, o papel da lógica e da razão não inclui mais mediação entre riqueza e poder da forma como já aconteceu. | And in our modern country, the role of logic and reason no longer includes mediating between wealth and power the way it once did. |
| Eu pensava que razão e lógica e constante determinação eram as únicas maneiras de fazer as coisas acontecerem. | I used to think that reason and logic and relentless drive were the only ways to make things happen. |
| Teorias formais Verdade lógica A lógica se preocupa com os padrões de razão que podem nos ajudar a dizer se uma proposição é verdadeira ou não. | Formal theories Truth in logic Logic is concerned with the patterns in reason that can help tell us if a proposition is true or not. |
| História da Lógica. | Wallies, Berlin, C.I.A.G. |
| Tarski produziu axiomas para consequência lógica e trabalhou em sistemas dedutivos, algebrização da lógica e na teoria da definibilidade. | Tarski produced axioms for logical consequence , and worked on deductive systems, the algebra of logic, and the theory of definability. |
| Ciência da computação e lógica A teoria dos Jogos veio a impulsionar importantes leis na lógica e na ciência da computação. | Metagames These are games the play of which is the development of the rules for another game, the target or subject game. |
| O desenvolvimento da Lógica. | The development of logic . |
| A lógica simbólica é frequentemente dividida em dois ramos lógica proposicional e a lógica de predicados. | Symbolic logic is often divided into two branches propositional logic and predicate logic. |
| Lógica para Ciência da Computação. | Ontology and History of Logic. |
| Lógica informal pode chamar a atenção para o estudo da argumentação, que enfatiza implicação, lógica formal e de inferência. | Informal logic may be said to emphasize the study of argumentation, whereas formal logic emphasizes implication and inference. |
| Mas depois de pensar de forma lógica, sobre ela, Eu não vi nenhuma razão para não os encontrar e deixá los saber do nosso sofrimento. | But after thinking logically about it, I didn't find any reason why not to meet them and let them know of our suffering. |
| Mas ele também estudou cuidadosamente a Crítica da razão pura de Kant em um curso de Bruno Bauch, e foi um dos poucos alunos dos cursos de lógica matemática de Frege. | But he also studied carefully Kant's Critique of Pure Reason during a course taught by Bruno Bauch, and was one of very few students to attend Gottlob Frege's courses in mathematical logic. |
| A lógica da devolução é simples. | The logic of devolution is clear. |
| Lógica Matemática é uma sub área da matemática que explora as aplicações da lógica formal para a matemática. | Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. |
| Valéria de Paiva, matemática, lógica e cientista da computação brasileira | Valeria de Paiva, Brazilian mathematician, logician and computer scientist |
| O continuado e sedutor poder da lógica e da linguagem da Guerra Fria sobre dissuasão nuclear é a principal razão, embora para alguns estados seja claro que o factor testosterona uma imagem de estatuto e prestígio também representa um papel. | The continued seductive power of the Cold War logic and language of nuclear deterrence is the primary reason, though for some states it is clear that the testosterone factor perceived status and prestige also plays a role. |
| Esse artigo utiliza formas da notação da Lógica. | This article uses forms of logical notation. |
| Lógica simbólica é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica. | Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference. |
| E então investigamos eles por meio da lógica e dos dados experimentais. | And then we scrutinize them, logically and with data. |
| 5 6 )Obras que se enquadram nessa tradição incluem Isaac Watts Lógica Ou, o Correto Uso da Razão (1725), Lógica de Richard Wately (1826), e uma das últimas grande obras dessa tradição Um Sistema Lógico de John Stuart Mill (1843), que foi a que mais viajou nisso tudo. | Peirce (1880) showed how all the Boolean elective functions could be expressed by the use of a single primitive binary operation, neither ... nor ... and equally well not both ... and ... , however, like many of Peirce's innovations, this remained unknown or unnoticed until Sheffer rediscovered it in 1913. |
| Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. | These areas share basic results on logic, particularly first order logic, and definability. |
| ) No ramo da lógica e da matemática este conceito é uma relação inversa. | ) in logic and mathematics, this is discussing an inverse relationship. |
| Ao trabalhar com a lógica fuzzy é comum chamar a lógica booleana de lógica nítida. | Fuzzy logic has been applied to many fields, from control theory to artificial intelligence. |
| Frege queria mostrar que a matemática se desenvolve a partir da lógica, mas ao fazê lo, ele desenvolveu técnicas que o levaram muito além da lógica silogística aristotélica e estóica proposicionais que tinham descido com ele na tradição da lógica. | Frege wanted to show that mathematics grows out of logic, but in so doing, he devised techniques that took him far beyond the Aristotelian syllogistic and Stoic propositional logic that had come down to him in the logical tradition. |
| Sistemas da teoria dos conjuntos construtiva, como CST, CZF e IZF, firmam seus conjuntos de axiomas na lógica intuicionista em vez da lógica de primeira ordem. | Systems of constructive set theory, such as CST, CZF, and IZF, embed their set axioms in intuitionistic instead of classical logic. |
| Lógica matemática é uma extensão da lógica simbólica em outras áreas, em especial para o estudo da teoria dos modelos, teoria da demonstração, teoria dos conjuntos e teoria da recursão. | Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory. |
| O estudo da lógica O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. | The study of logic The concept of logical form is central to logic, it being held that the validity of an argument is determined by its logical form, not by its content. |
| A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. | Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics. |
| Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. | For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted. |
| A razão lógica para a criação do sistema nacional de seguro de saúde é actualmente tão clara como era para Bismarck há 130 anos. | The rationale for national health insurance is as clear now as it was to Bismarck 130 years ago. |
| Os mais populares da literatura são Lógica Tri valorada (ex, Łukasiewicz's e Kleene's), as quais aceitam valores como verdadeiro , falso , e desconhecido , finitas valorações com mais de três valorações, e lógicas de infinitas valorações (ex, Lógica Fuzzy e Lógica Probabilística). | Those most popular in the literature are three valued (e.g., Łukasiewicz's and Kleene's), which accept the values true , false , and unknown , finite valued with more than three values, and the infinite valued (e.g. |
| Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. | Conversely, formal arguments are studied in formal logic (historically called symbolic logic , more commonly referred to as mathematical logic today) and are expressed in a formal language. |
| Matemáticos se referem a essa precisão da linguagem e lógica como rigor . | Mathematicians refer to this precision of language and logic as rigor . |
| Cardeais infinitos ocorrem apenas em nível mais alto da matemática e lógica. | Infinite cardinals only occur in higher level mathematics and logic. |
| A matemática é como a lógica da física. | Mathematics is like the logic of physics. |
| História da Lógica de Aristóteles a Bertrand Russell. | Logic from Russell to Church 6. |
| Lógica tradicional Esta tradição começou com o livro Lógica, ou a arte do pensamento ou Lógica de Port Royal de Antoine Arnauld e Pierre Nicole. | Traditional logic The textbook tradition Traditional logic generally means the textbook tradition that begins with Antoine Arnauld and Pierre Nicole's Logic, or the Art of Thinking , better known as the Port Royal Logic . |
| Lógica NMOS | Designs (e.g. |
| Lógica Na lógica, Antístenes foi atormentado pelo Problema dos universais. | Logic In logic, Antisthenes was troubled by the problem of universals. |
| Isso não esvazia a noção de lógica informal, porque nenhuma lógica formal captura todas as nuances da língua natural. | This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuances of natural language. |
| Controles lógicos Sistemas de controles lógicos para a indústria e equipamentos comerciais foram historicamente implementados através da lógica de relés, projetados utilizando a lógica ladder. | Logic control Logic control systems for industrial and commercial machinery were historically implemented at mains voltage using interconnected relays, designed using ladder logic. |
| Crítica da Razão Pura . | Critique of Pure Reason . |
| Em muitas definições de lógica, inferência lógica e inferência com conteúdo puramente formal são a mesma coisa. | In many definitions of logic, logical inference and inference with purely formal content are the same. |
| A Lógica filosófica está muito mais preocupada com a conexão entre a Linguagem Natural e a Lógica. | Philosophical logic has a much greater concern with the connection between natural language and logic. |
Pesquisas relacionadas : Razão Lógica - E Lógica - Lógica Da - Pensamento E Da Razão - Lógica E Objectivo - Lógica E Design - Física E Lógica - Lógica E Abordagem - Lógica Da Página - Lógica Da Guerra - Lógica Da Troca - Ditames Da Lógica - Lógica Da Ação - Ajustes Da Lógica
