Search
Search Results
-
Assertion, Assumption, and Deduction
This paper concerns the connection between speech act theory, especially the theory of assertion, and deduction, especially Natural Deduction. From a...
-
Assertion, Lying and the Norm of Truth
In chapter four of Truth and Truthfulness Bernard Williams presents an account of assertion that relies heavily on the ‘psychological’ notions of...
-
The Interdependence Between the Concepts of Valid Inference and Proof Revisited
By a valid inference is here understood an inference that succeeds in its aim to justify its conclusion given that its premisses are already...
-
Dharmakīrtian Inference
Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction ( svavacanavirodha...
-
Functional Logic Without Axioms or Primitive Rules of Inference (1947)
This article is a corrected reprint of K. R. Popper (1947d). Functional Logic without Axioms or Primitive Rules of Inference. In: Koninklijke...
-
The Validity of Inference and Argument
It has been common in contemporary logic and philosophy of logic to identify the validity of an inference with its conclusion being a (logical)...
-
Martin-Löf on the Validity of Inference
An inference is valid if it guarantees the transferability of knowledge from the premisses to the conclusion. If knowledge is here understood as...
-
On Systems of Rules of Inference
This is an unpublished joint work by Paul Bernays and Karl Popper.
-
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
Runtime Assertion Checking (RAC) is a lightweight formal method for verifying at runtime code properties written in a formal specification language....
-
Truth and Falsity in Communication: Assertion, Denial, and Interpretation
Our linguistic communication is, in part, the exchange of truths. It is an empirical fact that in daily conversation we aim at truths, not...
-
Evidence, Inference, and Empiricism
This chapter examines how the burden of proof can be discharged. It is argued that evidence in support of a questioned hypothesis is persuasively...
-
Eight Rules for Implication Elimination
Eight distinct rules for implication in the antecedent for the sequent calculus, one of which being Gentzen’s standard rule, can be derived by...
-
The Inference-Marker View of Logical Notions: What a Pragmatist Proposal Looks Like
In this chapter, I discuss an informed pragmatist proposal for characterising the class of logical constants, which I call ‘the inference-marker...
-
On the Genealogy and Potential Abuse of Assertoric Norms
After briefly laying out a cultural-evolutionary approach to speech acts (Sects. 1–2), I argue that the notion of commitment at play in assertion and...
-
Pluralism in reasoning: how to legitimate material inferences
Wilfrid Sellars’s suggestion that there are valid material inferences entails that validity is not limited to formal inferences. Because material...
-
Abelard on Existential Inference
Peter Abelard is nowadays credited as the first philosopher to recognize the problem of existential import. I argue that he does not recognize our...
-
Identity and Harmony and Modality
Stephen Read presented harmonious inference rules for identity in classical predicate logic. I demonstrate here how this approach can be generalised...
-
Assertion, Rejection, and Semantic Universals
Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction...
-
On the unreasonable reliability of mathematical inference
In (Avigad,
2020 ), Jeremy Avigad makes a novel and insightful argument, which he presents as part of a defence of the ‘Standard View’ about the... -
The safe, the sensitive, and the severely tested: a unified account
This essay presents a unified account of safety, sensitivity, and severe testing. S’s belief is safe iff, roughly, S could not easily have falsely...
