Results 211 to 220 of about 285,394 (257)
Some of the next articles are maybe not open access.
Dialogue, 1997
RésuméLe logicisme de Frege engage à deux thèses: (1) les vérités de l'arithmétique sont ipso facto vérités de logique; (2) les nombres naturels sont des objets. Dans cet article je pose la question: quelle conception de la logique est-elle requise pour étayer ces thèses? Je soutiens qu'il existe une conception appropriée et naturelle de la logique, en
openaire +1 more source
RésuméLe logicisme de Frege engage à deux thèses: (1) les vérités de l'arithmétique sont ipso facto vérités de logique; (2) les nombres naturels sont des objets. Dans cet article je pose la question: quelle conception de la logique est-elle requise pour étayer ces thèses? Je soutiens qu'il existe une conception appropriée et naturelle de la logique, en
openaire +1 more source
Journal of the History of Philosophy, 1979
One of the problems involved in doing the history of philosophy is reinterpreting past philosophers in such a way that the relevance of their work to contemporary discussion can become clear. In doing so one often finds that certain doctrines to which a philosopher himself attached great significance may not be central to a particular line of his ...
openaire +1 more source
One of the problems involved in doing the history of philosophy is reinterpreting past philosophers in such a way that the relevance of their work to contemporary discussion can become clear. In doing so one often finds that certain doctrines to which a philosopher himself attached great significance may not be central to a particular line of his ...
openaire +1 more source
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1974
One can and often does use the word ‘logic’ in a variety of metaphorical ways, speaking of “the logic of the situation”, “the logic of events”, “the logic of history”, and so on. No harm is done, so long as one realizes that these usages are metaphorical, and should not be given any deeper significance – at least without extensive discussion of the ...
openaire +1 more source
One can and often does use the word ‘logic’ in a variety of metaphorical ways, speaking of “the logic of the situation”, “the logic of events”, “the logic of history”, and so on. No harm is done, so long as one realizes that these usages are metaphorical, and should not be given any deeper significance – at least without extensive discussion of the ...
openaire +1 more source
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 1993
This paper mainly consists of a review of some basic tools of Inexact Inference, its reduction to classical logic and its cautious use of Fuzzy Logic. Those tools are the concept of Conditional Relation, its greatest case of Material Conditional and the concept of Logical-States as possible worlds of "true" elements. Some recent results characterizing
openaire +1 more source
This paper mainly consists of a review of some basic tools of Inexact Inference, its reduction to classical logic and its cautious use of Fuzzy Logic. Those tools are the concept of Conditional Relation, its greatest case of Material Conditional and the concept of Logical-States as possible worlds of "true" elements. Some recent results characterizing
openaire +1 more source
Logicism, Neo-Logicism, and the Logics of Abstraction
2023Abstraction principles play a pivotal role in the foundations of mathematics. In the foundational programs in which they have been traditionally adopted, i.e. Frege’s logicism and Scottish neo-logicism, abstraction principles, conceived as definitions, augment a system of full higher-order logic.
Boccuni, Francesca, Sereni, Andrea
openaire +2 more sources
Embedding Logics into Product Logic
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Matthias Baaz +3 more
openaire +1 more source
A Verification Logic for Rewriting Logic
Journal of Logic and Computation, 2005Summary: This paper proposes the development of a logic for verifying properties of programs in rewriting logic. Rewriting logic is primarily a logic of change, in which deduction corresponds directly to computation, and not a logic to talk about change in a more indirect and global manner, such as the different modal and temporal logics that can be ...
Narciso Martí-Oliet +4 more
openaire +2 more sources
Modal Logic As Dialogical Logic
Synthese, 2001The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy.
openaire +3 more sources
Logic Programming and Default Logic
International Journal on Artificial Intelligence Tools, 1994We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic ...
openaire +1 more source
Intuitionistic Logic As Epistemic Logic
Synthese, 2001Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of
openaire +1 more source