Results 311 to 320 of about 8,631,344 (363)
Some of the next articles are maybe not open access.
Russell: The Journal of Bertrand Russell Studies, 2011
My aim is to examine logical types in Principia Mathematica from two (partly independent) perspectives. The first one pertains to the ambiguity of the notion of logical type as introduced in the Introduction (to the first edition). I claim that a distinction has to be made between types as called for in the context of paradoxes, and types as ...
openaire +2 more sources
My aim is to examine logical types in Principia Mathematica from two (partly independent) perspectives. The first one pertains to the ambiguity of the notion of logical type as introduced in the Introduction (to the first edition). I claim that a distinction has to be made between types as called for in the context of paradoxes, and types as ...
openaire +2 more sources
A Note on Logicality of Generalized Quantifiers
Logica Universalis, 2021This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.
openaire +2 more sources
Mind & Language, 1999
In this paper I propose a novel treatment of generic sentences, which proceeds by means of different levels of analysis. According to this account, all generic sentences (I‐generics and D‐generics alike) are initially treated in a uniform manner, as involving higher‐order predication (following the work of George Boolos, James Higginbotham and Barry ...
openaire +3 more sources
In this paper I propose a novel treatment of generic sentences, which proceeds by means of different levels of analysis. According to this account, all generic sentences (I‐generics and D‐generics alike) are initially treated in a uniform manner, as involving higher‐order predication (following the work of George Boolos, James Higginbotham and Barry ...
openaire +3 more sources
Generative Grammars in Resource Logics
Research on Language and Computation, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christian Retoré, Edward P. Stabler
openaire +2 more sources
Dialectical Logic as the General Logic of Temporalization [PDF]
, 1995 Aristotle defined time as the measure of motion according to a before and an after, from which it follows that the instant wherein that measure is determined by the hand of a clock, presents itself as a limit which separates the past from the future, and at the same time possibly connects them by simple contiguity, in such a way that that instant ...
openaire +1 more source
The Logic of Generalized Truth Values and the Logic of Bilattices
Studia Logica, 2014This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, $${\models_t}$$ ? t and $${\models_f}$$ ?
Sergei P. Odintsov, Heinrich Wansing
openaire +2 more sources
Synthese, 2019
The orthodox view of logic takes for granted the central importance of logical principles. Logic, and thus logical reasoning, is to be understood as a system of rules or principles with universal application. Let us call this orthodox view logical generalism. In this paper we argue that logical generalism, whether monist or pluralist, is wrong. We then
Gillman Payette +2 more
openaire +2 more sources
The orthodox view of logic takes for granted the central importance of logical principles. Logic, and thus logical reasoning, is to be understood as a system of rules or principles with universal application. Let us call this orthodox view logical generalism. In this paper we argue that logical generalism, whether monist or pluralist, is wrong. We then
Gillman Payette +2 more
openaire +2 more sources
The well-founded semantics for general logic programs
JACM, 1991A. V. Gelder, K. A. Ross, J. Schlipf
semanticscholar +1 more source
On logics and semantics for general logic programs
1997We suggest a general logical formalism for Logic Programming (called a biconsequence relation) based on a four-valued inference. We show that it forms a proper setting for representing logic programs of a most general kind and for describing logics and semantics that characterize their behavior.
openaire +2 more sources
On the Logic of General Conditionals
The Philosophical Quarterly, 1973We often use conditionals of the form 'If it's f then it's always g' to express the conviction that, because of the relationships between things in the world, if a thing is an f, this is a ground for concluding that it is a g. It is the form we most frequently use to express the relationships we believe to exist in nature between things, and we ...
openaire +2 more sources