Results 11 to 20 of about 127 (109)

Locating Logical Necessity in Models or the Nature of Situations

Problemos
Logical necessity is a pivotal notion in accounting for logical consequence, while the source of logical necessity is not widely discussed. In this article I bring to attention one peculiar phenomenon that not only the model-theoretic tradition, but ...
Xianrui Liu
doaj   +3 more sources

Logical constants as punctuation marks. [PDF]

Notre Dame Journal of Formal Logic, 1989
Abstract This chapter presents a proof-theoretical approach to the question ‘What is a logical constant?’ The approach starts with the assumption that logic is the science of formal deductions, and that basic formal deductions are structural deductions, i.e.
openaire   +2 more sources

ON THE COMPARISONS OF LOGICS IN TERMS OF EXPRESSIVE POWER

Manuscrito, 2023
This paper investigates the question “when is a logic more expressive than another?” In order to approach it, “logic” is understood in the model-theoretic sense and, contrary to other proposals in the literature, it is argued that relative expressiveness
DIEGO PINHEIRO FERNANDES
doaj   +1 more source

NO-ARGUMENTS Denials, Refutations, Negations and the Constitution of Arguments

Characteristica Universalis Journal, 2020
L. Horn’s book The Natural History of Negation (Chicago UP, 1989) set both a landmark on the study of negation and a challenge. The challenge is to find some general way to understand what negation is.
Shahid Rahman
doaj   +1 more source

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

Logicality as Necessary Instantiation

Revista de Filosofia Moderna e Contemporânea, 2018
We propose to define logicality of a simple notion as necessary instantiation. (And then logicality of a complex notion as logicality of all simple notions occurring in it.)
Roderick Batchelor
doaj   +1 more source

How Does Multiverse Proposal Affect the Design Argument?

Religions, 2022
Recent observations suggest that many fundamental physical constants and conditions in our universe are fine-tuned for life to exist. This provides an important piece of evidence to support the Design Argument and the existence of God in the philosophy ...
Man Ho Chan
doaj   +1 more source

The Problem of Logical Constants

The Bulletin of Symbolic Logic, 2002
AbstractThere have been several different and even opposed conceptions of the problem of logical constants, i.e., of the requirements that a good theory of logical constants ought to satisfy. This paper is in the first place a survey of these conceptions and a critique of the theories they have given rise to. A second aim of the paper is to sketch some
openaire   +2 more sources

On the semantics and pragmatics of epistemic vocabulary

Semantics and Pragmatics, 2015
This paper motivates and develops a novel semantics for several epistemic expressions, including possibility and necessity modals and indicative conditionals. The semantics I defend constitutes an alternative to standard truth conditional theories, as it
Sarah Moss
doaj   +1 more source

Study of Behaviours via Visitable Paths [PDF]

Logical Methods in Computer Science, 2018
Around 2000, J.-Y. Girard developed a logical theory, called Ludics. This theory was a step in his program of Geometry of Interaction, the aim of which being to account for the dynamics of logical proofs.
Christophe Fouqueré, Myriam Quatrini
doaj   +1 more source