Results 11 to 20 of about 13,558 (288)
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”.
Speitel, Sebastian G.W.
openaire +3 more sources
Logical Constants and Unrestricted Quantification
Journal for the Philosophy of MathematicsVariants of the so-called permutation criterion have been used for distinguishing between logical and non-logical operations or expressions. Roughly, an operation is defined as logical if, and only if, it is invariant under arbitrary permutations on every domain. Thus a logical operation behaves on all objects in the same way.
Halbach, Volker
openaire +4 more sources
Logic, Reasoning and the Logical Constants
, 2006 What is the relationship between logic and reasoning? How do logical norms guide inferential performance? This paper agrees with Gilbert Harman and most of the psychologists that logic is not directly relevant to reasoning. It argues, however, that the mental model theory of logical reasoning allows us to harmonise the basic principles of deductive ...
Engel, Pascal
openaire +2 more sources
The expressiveness of spider diagrams augmented with constants [PDF]
, 2009 Spider diagrams are a visual language for expressing logical statements or constraints. Several sound and complete spider diagram systems have been developed and it has been shown that they are equivalent in expressive power to monadic first order logic ...
Howse, John +3 more
core +1 more source
The Expressiveness of Spider Diagrams Augmented with Constants [PDF]
, 2004 Spider diagrams are a visual language for expressing logical statements. Spiders represent the existence of elements and contours denote sets. Several sound and complete spider diagram systems have been developed and it is known that the spider diagram ...
Howse, John +3 more
core +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
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
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