Results 11 to 20 of about 209,396 (188)
, 2017 This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments.
Steinberger, Florian, Murzi, Julien
core +2 more sources
First-order modal logic in the necessary framework of objects [PDF]
, 2016 I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which ...
Fritz, Peter
core +1 more source
Logical Constants and Arithmetical Forms
Logic and Logical Philosophy, 2023 This paper reflects on the limits of logical form set by a novel criterion of logicality proposed in (Bonnay and Speitel, 2021). The interest stems from the fact that the delineation of logical terms according to the criterion exceeds the boundaries of standard first-order logic. Among ‘novel’ logical terms is the quantifier “there are infinitely many”.
openaire +1 more source
Kolmogorov, Heyting and Gentzen on the Intuitionistic Logical Constants
Crítica, 2019 Los primeros autores en elaborar definiciones semánticas de las constantes lógicas intuicionistas fueron Kolmogorov, Heyting y Gentzen, a comienzos de la década de 1930. Aunque sus explicaciones puedan a primera vista parecer equivalentes (y en concreto,
Gustavo Fernández Díez
doaj +1 more source
Вестник Мининского университета, 2021 Introduction. Postnonclassical changes in modern education do not have a systemic character, therefore they do not entail qualitative changes in educational practice, that actualizes the need of searching for their system organizing principle.
I. A. Leskova
doaj +1 more source
Harmonic inferentialism and the logic of identity [PDF]
, 2016 Inferentialism claims that the rules for the use of an expression express its meaning without any need to invoke meanings or denotations for them. Logical inferentialism endorses inferentialism specically for the logical constants.
Read, Stephen
core +1 more source
Constantes logiques et décision
Philosophia Scientiæ, 2015 In this article, I examine the problem of the meanings of the logical constants. Are these meanings conventional as suggested by Carnap and Wittgenstein, or should we say that they are assigned and do not depend on preliminary decisions?
Saloua Chatti
doaj +1 more source
Locating Logical Necessity in Models or the Nature of Situations
ProblemosLogical 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
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