Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,214,999 papers from all fields of science
Search
Sign In
Create Free Account
Propositional function
Known as:
Propositional functions
A propositional function in logic, is a sentence expressed in a way that would assume the value of true or false, except that within the sentence is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Axiom of reducibility
Existential quantification
History of type theory
Modal logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The Use of Metadiscourse in Spoken InterLanguage of EFL Learners: A Contrastive Analysis
A. L.
2017
Corpus ID: 195967414
Considered as one of the indispensable parts of spoken communication, metadiscourse is defined as the self-reflective linguistic…
Expand
2015
2015
A Spiral Workbook for Discrete Mathematics
Harris Kwong
2015
Corpus ID: 125897217
2010
2010
Formal Semantics for Causal Constructions
R. Thomason
2010
Corpus ID: 14965464
Montague’s framework for semantic interpretation has always been less well adapted to the interpretation of words than of…
Expand
2009
2009
Indirect Discourse: Parataxis, the Propositional Function Modification, and “That”
Michael A. Johnson
2009
Corpus ID: 33296937
In “On Saying That,” Donald Davidson offered an analysis of indirect discourse that was meant to overcome the classic…
Expand
2007
2007
THE ORIGINS OF THE PROPOSITIONAL FUNCTIONS VERSION OF RUSSELL ’ S PARADOX
K. KC.
2007
Corpus ID: 56345972
Russell discovered the classes version of Russell’s Paradox in spring , and the predicates version near the same time. There…
Expand
2002
2002
TRUTH IN WITTGENSTEIN, TRUTH IN LINDBECK
Craig R. Hovey
2002
Corpus ID: 55228051
George Lindbeck is unabashed about the debt he owes to Ludwig Wittgenstein concerning his cultural-linguistic theory of religion…
Expand
2001
2001
On a Russellian paradox about propositions and truth
A. Cantini
2001
Corpus ID: 54763423
We deal with a paradox involving the relations between propositions and sets (appendix B of Principles of Mathematics), and the…
Expand
2000
2000
Embedded definite descriptions: Russellian analysis and semantic puzzles
Steven T. Kuhn
2000
Corpus ID: 29089071
where "F" and "B" are unary predicate letters corresponding to "... is French" and "... is a beret" and "W2" is a binary…
Expand
1985
1985
An intuitionistic Sheffer function
K. Dosen
Notre Dame J. Formal Log.
1985
Corpus ID: 31887941
On presente une fonction propositionnelle ternaire qui est une fonction de Sheffer dans le calcul propositionnel de Heyting. On…
Expand
1952
1952
Elements of mathematical logic
R. Goodstein
Mathematical Gazette
1952
Corpus ID: 60870009
geometry in two and three dimensions : for three dimensions vectors are used, and a brief introduction to the requisite vector…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required