Search for dissertations about: "Leibniz"

Found 3 swedish dissertations containing the word Leibniz.

2. 1. Leibniz on Agency and Force

   Author : Peter Myrdal; Lilli Alanen; Pauliina Remes; John Carriero; Michael Della Rocca; Uppsala universitet; []
   Keywords : HUMANIORA; HUMANITIES; Leibniz; Gottfried Wilhelm; 1646-1716; Early Modern Philosophy; Agency; Force; Final causes; Theoretical Philosophy; Teoretisk filosofi;

   Abstract : This is a study of Leibniz’s theory of agency – his theory of the nature of causal powers and agents. Leibniz develops his view against the background of an Aristotelian conception of agency. The latter was rejected by many early modern philosophers in the wake of the mechanist conception of the natural world. READ MORE

4. 2. Noncommutative Riemannian Geometry of Twisted Derivations

   Author : Kwalombota Ilwale; Joakim Arnlind; Sergei Silvestrov; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : A twisted derivation is a generalized derivative satisfying a twisted version of the ordinary Leibniz rule for products. In particular, a (σ, τ )-derivation on an algebra A, is a derivation where Leibniz rule is twisted by two endomorphisms σ and τ on A. READ MORE

5. 3. New techniques for handling quantifiers in Boolean and first-order logic

   Author : Peter Backeman; Philipp Rümmer; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

   Abstract : The automation of reasoning has been an aim of research for a long time. Already in 17th century, the famous mathematician Leibniz invented a mechanical calculator capable of performing all four basic arithmetic operators. READ MORE