Modallogik oor Engels

Modallogik

Vertalings in die woordeboek Sweeds - Engels

modal logic

naamwoord

type of formal logic

voorbeelde

Kurt Gödel skrev det första arbetet om sannolikhetslogik, som applicerar modallogik med teorin om matematiska bevis, men han utvecklade inte sina tankar nämnvärt.
Kurt Gödel wrote the first paper on provability logic, which applies modal logic—the logic of necessity and possibility—to the theory of mathematical proof, but Gödel never developed the subject to any significant extent.

Von Wrights teori avvek från sina föregångare också i och med tanken att modallogiken inte är ett alternativ till satslogiken utan dess överbyggnad.
Von Wright's theory also differed from its predecessors in not seeing modal logic as an alternative to prepositional logic but as its upper structure.

Den epokgörande idén i von Wrights modallogik är insikten om uniformiteten i vissa kvantorer inom predikatlogiken och inom modalitetsbegreppen.
The revolutionary idea of von Wright's modal logic is the insight into conformity between quantifiers in modal concepts and in predicate logic.

Med avstamp i detta synsätt utvecklades modallogiken till ett av logikens mest utforskade områden.
This view has made modal logic into one of the most researched fields in philosophical logic.