TY - BOOK ID - 4869260 TI - Freedom and Enforcement in Action : A Study in Formal Action Theory PY - 2015 SN - 9789401798556 9401798540 9789401798549 9401798559 PB - Dordrecht : Springer Netherlands : Imprint: Springer, DB - UniCat KW - Philosophy. KW - Logic. KW - Mathematical Logic and Formal Languages. KW - Mathematical Logic and Foundations. KW - Philosophy (General). KW - Computer science. KW - Logic, Symbolic and mathematical. KW - Logique KW - Informatique KW - Logique symbolique et mathématique KW - Act (Philosophy). KW - Deontic logic. KW - Philosophy KW - Philosophy & Religion KW - Logic KW - Act (Philosophy) KW - Logic, Deontic KW - Action (Philosophy) KW - Mathematical logic. KW - Duty KW - Modality (Logic) KW - Agent (Philosophy) KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Informatics KW - Science KW - Argumentation KW - Deduction (Logic) KW - Deductive logic KW - Dialectic (Logic) KW - Logic, Deductive KW - Intellect KW - Psychology KW - Reasoning KW - Thought and thinking KW - Methodology UR - https://www.unicat.be/uniCat?func=search&query=sysid:4869260 AB - Action theory is the object of growing attention in a variety of scientific disciplines, and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence, and automata theory to jurisprudence, deontology, and economics. It covers semantic, mathematical and logical aspects of action, showing how the problem of action breaks the boundaries of traditional branches of logic located in syntactics and semantics and now lies on lies on the borderline between logical pragmatics and praxeology. The chapters here focus on specialized tasks in formal action theory, beginning with a thorough description and formalization of the language of action, and moving through material on the differing models of action theory to focus on probabilistic models, the relations of formal action theory to deontic logic, and its key applications in algorithmic and programming theory. The coverage thus fills a notable lacuna in the literary corpus, and offers solid formal underpinning in cognitive science by approaching the problem of cognition as a composite action of mind. ER -