Meaning and proofs
On the conflict between classical and intuitionistic logic
Bibliographic Data
| ID | 20141959 |
|---|---|
| Authors | Dag Prawitz (0000-0003-4183-715X, University of Oslo, corresponding author) |
| Year | 1977 |
| Volume | 43 |
| Issue | 1 |
| Pages | 2-40 |
| Publication date | 1977-04-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/j.1755-2567.1977.tb00776.x |
| OpenAlex | W2094958055 |
| Language | EN |
| Citations received | 59 |
Citation · Epistemology · Information retrieval · Library science · Mathematical proof · Meaning (existential) · Computer Science · Mathematics · Philosophy · Philosophy and Theoretical Science · Philosophy, Science, and History
Remarks on some approaches to the concept of logical consequence
Negation and Opposition
Expletive Negation
Negation and First Language Acquisition
Quantitative Studies of the Use of Negative (Dependent) Expressions
Intervention Effects with Negation
Negation and Alternatives
The Typology of Negation
Negation in L2 Acquisition and Beyond
Negation and the Brain
Negation and Constituent Ordering
The Expression of Negation in Sign Languages
The Possible Positioning of Negation
Form and Function of Negative, Tag, and Rhetorical Questions
The Neurology of Negation
Negative Fragment Answers
Metalinguistic Negation
Negative Quantifiers
Evolutionary Precursors of Negation in Non-Human Reasoning
Modals and Negation
Understanding Negation
Negation in Non-Standard Varieties
Evolution of Negative Dependencies
Negation and Presupposition
Negation, Prosody, and Gesture
Calculating the Scope of Negation
Neg-raising
Negative Polarity Illusions
Affixal Negation
The Morpho-Syntactic Nature of the Negative Marker
Individual Differences in Processing of Negative Operators
Double Negation Readings
Negative Concord and the Nature of Negative Concord Items
The Negative Cycle and Beyond
Types of Negation
Negation in Event Semantics
The Neurobiology of Lexical and Sentential Negation
Negative Predicates
Negative Polarity Items
The Role of Pragmatics in Negation Change
Cognitive Precursors of Negation in Preverbal Infants
Minimizers and Maximizers as Different Types of Polarity Items
Denial
Critical Scientific Realism
The Oxford Handbook of Negation
Logical constants as punctuation marks.
A New History of Logic
Pursuit of the concept of validity
Epistemic truth and excluded middle
Koyré’s Revolutionary Role in the Historiography of Science
Propositions as games as types
From the Knowability Paradox to the existence of proofs
Towards a Semantics Based on the Notion of Justification
The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
The original sin of proof-theoretic semantics
Classical harmony
Parts, classes and Parts of Classes
Rule-Circularity and the Justification of Deduction
Some Problems for Proof-Theoretic Semantics
| Unique citing works | 59 |
|---|---|
| Citations per year | 1,44 |
| Citation span | 1985 - 2024 (40) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 58 |