Listing 1 - 10 of 149 | << page >> |
Sort by
|
Choose an application
Choose an application
On the one hand, the concept of truth is a major research subject in analytic philosophy. On the other hand, mathematical logicians have developed sophisticated logical theories of truth and the paradoxes. Recent developments in logical theories of the semantical paradoxes are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, this volume intends to reflect and promote deeper interaction and collaboration between philosophers and lo
Choose an application
The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic.This book contains papers - many of them surveys by leading experts - of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7
Logic, Symbolic and mathematical --- Mathematics --- Math --- Science
Choose an application
Annotation The LICS proceedings covers topics that include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, and logic programming.
Computer science --- Logic, Symbolic and mathematical --- Mathematics
Choose an application
Logic, symbolic and mathematical. --- Reductionism. --- Cardinal numbers.
Choose an application
Algorithms --- Logic, Symbolic and mathematical --- Set theory
Choose an application
Choose an application
Annotation The LICS proceedings covers topics that include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, and logic programming.
Computer science --- Logic, Symbolic and mathematical --- Mathematics
Choose an application
A language is second‐order, or higher‐order, if it has bound variables that range over properties or sets of the items in the range of the ordinary, first‐order variables. This book presents a formal development of second‐ and higher‐order logic and an extended argument that higher‐order systems have an important role to play in the philosophy and foundations of mathematics. The development includes the languages, deductive systems, and model‐theoretic semantics for higher‐order languages, and the basic and advanced results in its meta‐theory: completeness, compactness, and the Löwenheim–Skolem theorems for Henkin semantics, and the failure of those results for standard semantics. Argues that second‐order theories and formalizations, with standard semantics, provide better models of important aspects of mathematics than their first‐order counterparts. Despite the fact that Quine is the main opponent of second‐order logic (arguing that second‐order logic is set‐theory in disguise), the present argument is broadly Quinean, proposing that there is no sharp line dividing mathematics from logic, especially the logic of mathematics. Also surveys the historical development in logic, tracing the emergence of first‐order logic as the de facto standard among logicians and philosophers. The connection between formal deduction and reasoning is related to Wittgensteinian issues concerning rule‐following. The book closes with an examination of several alternatives to second‐order logic: first‐order set theory, infinitary languages, and systems that are, in a sense, intermediate between first order and second order.
Logic --- Theory of knowledge --- Logic, Symbolic and mathematical. --- Logic, symbolic and mathematical
Choose an application
System design --- Computer systems --- Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- System design. --- Specifications.
Listing 1 - 10 of 149 | << page >> |
Sort by
|