Results 31 to 40 of about 854,026 (193)

Categoricity, Open-Ended Schemas and Peano Arithmetic [PDF]

, 2015
One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant.
Ludușan, Adrian
core   +1 more source

Questions and Answers about Oppositions [PDF]

, 2011
A general characterization of logical opposition is given in the present paper, where oppositions are defined by specific answers in an algebraic question-answer game. It is shown that opposition is essentially a semantic relation of truth values between
Schang, Fabien
core  

FOLE: The First-order Logical Environment

, 2013
This paper describes the first-order logical environment FOLE. Institutions in general, and logical environments in particular, give equivalent heterogeneous and homogeneous representations for logical systems.
Kent, Robert E.
core   +1 more source

Discussion of "On the Birnbaum Argument for the Strong Likelihood Principle"

, 2014
Deborah Mayo claims to have refuted Birnbaum's argument that the Likelihood Principle is a logical consequence of the Sufficiency and Conditionality Principles.
Dawid, A. P.
core   +1 more source

Logical consequences. Theory and applications: An introduction. [PDF]

, 2020
2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind.
Augusto, Luis M.
core  

Degree supervaluational logic [PDF]

, 2010
Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There???s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence.
Williams, J. Robert G.
core   +1 more source

Logic and truth: Some logics without theorems

Studia Philosophica Estonica, 2008
Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure.
Jayanta Sen, Mihir Kumar Chakraborty
doaj  

Philosophical Problems of Foundations of Logic

Studia Humana, 2014
In the paper the following questions are discussed: (i) What is logical consequence? (ii) What are logical constants (operations)? (iii) What is a logical system? (iv) What is logical pluralism? (v) What is logic?
Karpenko Alexander S.
doaj   +1 more source

LOGICS, INTERPRETATIONS AND INFORMAL RIGOR [PDF]

Kriterion
The development of non-classical logics brought to light the question of their philosophical interpretation. Given a non-classical logic L, what is the informal/philosophical interpretation of its vocabulary? We find in the literature arguments defending
Edson Bezerra
doaj   +1 more source

Infinite Singletons and the Logic of Freudian Theory

Language and Psychoanalysis, 2021
The aim of this paper is to advance a formal description of the implicit logic grounding of the psychoanalytic theory. We therefore propose a new interpretation of the logical features of the Freudian unconscious process, starting from the Bi-logic ...
Rosapia Lauro Grotto, Milos Borozan, Giulia Battilotti   +2 more
doaj   +1 more source