Results 251 to 260 of about 220,226 (305)
Some of the next articles are maybe not open access.
Definability of Leibniz Equality
Studia Logica, 1999The notion of Leibniz equality of relational structures is introduced, and the atomic, pseudo-atomic and finitely elementary definability of Leibniz equalities are characterized.
Raimon Elgueta, Ramon Jansana
openaire +2 more sources
Journal of the Philosophy of History, 2018
AbstractThis paper takes as a starting-point the ostensibly enormous distance between Frank Ankersmit’s Leibnizian concerns in the philosophy of historiography and the contents of works of history. Sections 1, 2 and 3 display this distance by juxtaposing the details of a historical example with the basic features of Leibniz’ philosophy and Ankersmit’s ...
openaire +1 more source
AbstractThis paper takes as a starting-point the ostensibly enormous distance between Frank Ankersmit’s Leibnizian concerns in the philosophy of historiography and the contents of works of history. Sections 1, 2 and 3 display this distance by juxtaposing the details of a historical example with the basic features of Leibniz’ philosophy and Ankersmit’s ...
openaire +1 more source
ON THE CONSERVATIVITY OF LEIBNIZ EQUALITY
International Journal of Foundations of Computer Science, 1998We embed a first order theory with equality in the Pure Type System λMON2 that is a subsystem of the well-known type system λPRED2. The embedding is based on the Curry-Howard isomorphism, i.e. → and ∀ coincide with → and Π. Formulas of the form [Formula: see text] are treated as Leibniz equalities.
openaire +2 more sources
2021
The concept of power has been a major feature of natural law theories. It evolved over the course of several centuries and was arguably the defining notion in both Hobbes’ and Spinoza’s doctrines of natural right. Yet Leibniz appears to effect a reversal in this millennium-long trajectory and demotes power to a derivative term of his philosophy.
openaire +2 more sources
The concept of power has been a major feature of natural law theories. It evolved over the course of several centuries and was arguably the defining notion in both Hobbes’ and Spinoza’s doctrines of natural right. Yet Leibniz appears to effect a reversal in this millennium-long trajectory and demotes power to a derivative term of his philosophy.
openaire +2 more sources
2019
Abstract This essay explains the conceptual tools used in the international LeLo project, coordinated by Marcelo Dascal, which have led, often with innovative results, to the reconstruction of the virtual debate between Leibniz and Locke. The project focuses on the connection between controversies and a specific idea of communication, articulated on ...
openaire +2 more sources
Abstract This essay explains the conceptual tools used in the international LeLo project, coordinated by Marcelo Dascal, which have led, often with innovative results, to the reconstruction of the virtual debate between Leibniz and Locke. The project focuses on the connection between controversies and a specific idea of communication, articulated on ...
openaire +2 more sources
Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
1998
AbstractIt would be foolish to try to pretend that Malebranche is always Leibniz's primary target in his writings on innate ideas. Obviously, the arguments of the New Essays are powerfully shaped by the polemical needs of replying to Locke, but it is surely significant that Leibniz has the resources in his philosophy for answering all Malebranche's ...
openaire +2 more sources
AbstractIt would be foolish to try to pretend that Malebranche is always Leibniz's primary target in his writings on innate ideas. Obviously, the arguments of the New Essays are powerfully shaped by the polemical needs of replying to Locke, but it is surely significant that Leibniz has the resources in his philosophy for answering all Malebranche's ...
openaire +2 more sources
Leibniz algebras with derivations
Journal of Homotopy and Related Structures, 2021Apurba Das, Das Apurba
exaly