Results 271 to 280 of about 231,357 (313)
Some of the next articles are maybe not open access.
Journal of Logic and Computation, 2004
Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance.
Steven Awodey, Andrej Bauer
openaire +2 more sources
Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance.
Steven Awodey, Andrej Bauer
openaire +2 more sources
Erkenntnis, 2003
The word ‘proposition’ occurs quite often in philosophical discourse. Sometimes it is used as if the reader should already know what it means, while at other times its introduction is accompanied by some preliminary considerations. Usually, in the latter case the writer explains that the word refers to things of a certain kind, and tries to convince us
openaire +1 more source
The word ‘proposition’ occurs quite often in philosophical discourse. Sometimes it is used as if the reader should already know what it means, while at other times its introduction is accompanied by some preliminary considerations. Usually, in the latter case the writer explains that the word refers to things of a certain kind, and tries to convince us
openaire +1 more source
Journal of Symbolic Logic, 1997
In [1] (p. 131 et seq) Professor A. N. Prior suggests a calculus of functions of propositions in which the range of the function variables is not restricted to truth functions.1 If f, g, … etc. represent such variables and we have quantification over all variables we can introduce propositional identity by definition as (ƒ)(ƒp ⊃ ƒq) Alternatively ...
openaire +2 more sources
In [1] (p. 131 et seq) Professor A. N. Prior suggests a calculus of functions of propositions in which the range of the function variables is not restricted to truth functions.1 If f, g, … etc. represent such variables and we have quantification over all variables we can introduce propositional identity by definition as (ƒ)(ƒp ⊃ ƒq) Alternatively ...
openaire +2 more sources
Journal of Philosophical Logic, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Propositions and Propositional Acts
Canadian Journal of Philosophy, 2009Suppose that John asks, ‘Is the window open?’ and Mary replies, ‘The window is open.’ Then John and Mary have produced two distinct utterances, and in doing so, they have performed two different kinds of speech act. But clearly there is something that these utterances have in common.
openaire +1 more source
EXPLORE, 2007
For more than a quarter century, the Princeton Engineering Anomalies Research (PEAR) laboratory has engaged in a broad range of experiments on consciousness-related physical anomalies and has proposed a corresponding selection of theoretical models that have combined to illuminate the fundamental nature of the provocative phenomena that emerge ...
R G, Jahn, B J, Dunne
openaire +2 more sources
For more than a quarter century, the Princeton Engineering Anomalies Research (PEAR) laboratory has engaged in a broad range of experiments on consciousness-related physical anomalies and has proposed a corresponding selection of theoretical models that have combined to illuminate the fundamental nature of the provocative phenomena that emerge ...
R G, Jahn, B J, Dunne
openaire +2 more sources
Vision Research, 1984
Linking propositions are statements that relate perceptual states to physiological states, and as such are one of the fundamental building blocks of visual science. A brief history of the concept of linking proposition is presented. Five general families of linking propositions--Identity, Similarity, Mutual Exclusivity, Simplicity and Analogy--are ...
openaire +2 more sources
Linking propositions are statements that relate perceptual states to physiological states, and as such are one of the fundamental building blocks of visual science. A brief history of the concept of linking proposition is presented. Five general families of linking propositions--Identity, Similarity, Mutual Exclusivity, Simplicity and Analogy--are ...
openaire +2 more sources
Are (Linguists’) Propositions (Topos) Propositions?
2011Lambek([22]) proposed a categorial achitecture for natural language grammars, whereby syntax and semantics are modelled by a biclosed monoidal category (bmc) and a cartesian closed category (ccc) respectively, and semantic interpretation by a functor from syntax to semantics that preserves the biclosed monoidal structure; essentially this same ...
openaire +1 more source
Journal of Philosophical Logic, 1979
All of the above seem content to leave general propositions alone, and Donnellan admits that "no obvious way of representing propositions expressed by existence sentences suggests itself."4 I will show that Frege's explanation of what is expressed by statements of number suggests an obvious way of representing propositions expressed by existence ...
openaire +1 more source
All of the above seem content to leave general propositions alone, and Donnellan admits that "no obvious way of representing propositions expressed by existence sentences suggests itself."4 I will show that Frege's explanation of what is expressed by statements of number suggests an obvious way of representing propositions expressed by existence ...
openaire +1 more source
Synthese, 2006
This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a ...
openaire +1 more source
This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a ...
openaire +1 more source