FORMAL LOGIC - vertaling in Nederlands

• formele logica

Voorbeelden van het gebruik van Formal logic in het Engels en hun vertalingen in het Nederlands

moves within the confines of formal logic, at any rate on the whole;
beweegt zich binnen de grenzen van de formele logica, althans in het algemeen.

Even formal logic is primarily a method of discovering new results, of advancing from the known to the unknown, and the same holds, only much more eminently so, for dialectics, which, by breaking through the narrow horizon of formal logic, also contains the germ of a more comprehensive world outlook.
Zelfs de formele logica is voor alles een methode voor het opsporen van nieuwe resultaten, voor het voortgaan van het bekende naar het onbekende, en datzelfde, maar in een veel hogere zin, is de dialectiek die bovendien, omdat zij de enge horizon van de formele logica doorbreekt, de kiem in zich draagt van een meer omvattende wereldbeschouwing.

Even formal logic is primarily a method of arriving at new results, of advancing from the known to the unknown- and dialectics is the same, only much more eminently so; moreover, since it forces its way beyond the narrow horizon of formal logic, it contains the germ of a more comprehensive view of the world.
Zelfs de formele logica is voor alles een methode voor het opsporen van nieuwe resultaten, voor het voortgaan van het bekende naar het onbekende, en datzelfde, maar in een veel hogere zin, is de dialectiek die bovendien, omdat zij de enge horizon van de formele logica doorbreekt, de kiem in zich draagt van een meer omvattende wereldbeschouwing.

One of the theorems proved by Ramsey in his 1928 paper On a problem of formal logic now bears his name Ramsey's theorem.
Een van de in zijn artikel uit 1930 On a problem of formal logic(Over een probleem uit de formele logica) door Ramsey bewezen stellingen draagt nu zijn naam de stelling van Ramsey.

For, though they are a kind of formal logic, these sciences are mental experiments.
Want, hoewel ze een soort exacte logica zijn, zijn deze wetenschappen een experiment van het verstand.

they were the chief founders of formal logic and systematics in general.
eigenlijk de belangrijkste grondleggers van de logica en systematiek zijn.

that our methods of thought, both formal logic and the dialectic, are not arbitrary constructions of our reason
zowel formele logica als dialectiek, geen willekeurige constructies zijn van ons denken,

For concepts there also exits"tolerance" which is established not by formal logic issuing from the axiom'A' is equal to'A',
Voor concepten bestaat er ook'tolerantie', die niet door formele logica, uitgaande van het axioma dat 'A' gelijk is aan 'A',

within the confines of formal logic; the mathematics of variables,
beweegt zich binnen de grenzen van de formele logica, althans in het algemeen.

the ability to reason, formal logic, preserving distinctions between different layers of reasoning,
vaardig redeneren en formele logica belangrijk zijn, net als het bewaren van

The above three propositions comprise what is known in formal logic as a valid syllogism.
De bovenstaande drie premissen worden in de formele logica een geldig syllogisme genoemd.

He is rightly considered the founder of formal logic.
Hij wordt terecht beschouwd als de grondlegger van de formele logica.

This appears to be an absurd concept from the standpoint of formal logic.
Dit lijkt een absurd begrip vanuit het standpunt van de formele logica.

Formal logic tests are comprised of questions in which an informative paragraph is given.
Formele logische tests bestaan uit vragen waarin een informatieve paragraaf wordt gegeven.

The statements above represent what formal logic defines as a modus tollens syllogism.
De bovenstaande stellingen geven ons wat in de formele logica een"modus tollens" wordt genoemd.

The relative strength of two systems of formal logic can be defined via model theory.
De relatieve sterkte van twee systemen van formele logica kan worden gedefinieerd door middel van de modeltheorie.

The next point no 2 of formal logic would have to answer the practical question of what kind of calendar our history actually
Het volgende punt no 2 van de formele logica zou de praktische vraag moeten beantwoorden op wat voor soort kalender onze geschiedenis feitelijk

This reflected precisely the mode of thinking of formal logic, which states that the whole is only the sum of the parts.
Dit weerspiegelde precies de denkwijze van de formele logica, die stelt dat het geheel enkel de som is van de delen.

The dialectic and formal logic bear a relationship similar to that between higher
De dialectiek en de formele logica hebben een relatie die gelijkloopt met die tussen de hogere

Whereas traditional formal logic seeks to banish contradiction,
Terwijl de traditionele formele logica de tegenstelling probeert uit te sluiten,