Search
Search Results
-
An Explicit Basis for WCP-Globally Admissible Inference Rules
Inference rules are examined which are admissible immediately in all residually finite extensions of S 4 possessing the weak cocover property. An...
-
Admissible Inference Rules of Modal WCP-Logics
We study admissible rules for the extensions of the modal logics S4 and GL with the weak co-covering property and describe some explicit independent...
-
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...
-
Logic of Causal Inference from Data Under Presence of Latent Confounders
The problems of causal inference of models from empirical data (by independence-based methods) and some error mechanisms are examined. We demonstrate...
-
On Systems of Rules of Inference
This is an unpublished joint work by Paul Bernays and Karl Popper.
-
Robustness-Enhanced Assertion Generation Method Based on Code Mutation and Attack Defense
Writing high-quality unit tests plays a crucial role in discovering and diagnosing early-stage errors and preventing their further propagation...
-
Institutions and Constitutive Rules
In this paper, the orthodox view of constitutional rules is defended. For this view, the division between prescriptive rules and constitutive rules...
-
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....
-
Introduction to Statistical Inference
Chapter 9 : This chapter introduces the basic concepts of statistical inference and statistical modelling....
-
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...
-
Entropy, irreversibility and inference at the foundations of statistical physics
Statistical physics relates the properties of macroscale systems to the distributions of their microscale agents. Its central tool has been the...
-
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...
-
Ontology-Based Construction Process Library for Process States Inference
This paper presents a new approach for modeling construction state inferencing rules using Semantic Web ontologies. This approach focuses on...