11 papers · ranked by Valyu relevance
Irani, Khashayar
This paper undertakes a foundational inquiry into logical inferentialism with particular emphasis on the normative standards it establishes and the implications these pose for classical logic. The central question addressed herein is: 'What is Logical Inferentialism & How do its Standards challenge Classical Logic?' In…
Matthew Collins, Timo Eckhardt, David Pym
Information is one of the most widely-discussed concepts of the current era. However, a great deal of insightful work notwithstanding, it is yet to be given wholly convincing logical or mathematical foundations. Without them, we lack adequate reasoning tools for understanding the complex ecosystems of systems upon…
Alexander V. Gheorghiu, Tao Gu, David Pym
The prevailing paradigm of semantics in logic is denotationalism, wherein the meaning of logical structures is grounded in reference to abstract algebraic structures, exemplified by model-theoretic semantics (M-tS). An alternative paradigm is inferentialism (Brandom 2009), wherein meaning emerges from rules of…
Iulian D. Toader
It is an experimental fact that quantum mechanics (QM) makes adequate empirical claims, and we can know that QM makes adequate empirical claims, since there is plenty of inductive evidence supporting this fact. But suppose that a rational reconstruction of QM can be given. A rational reconstruction, as Carnap…
Max Lewis Edward Andrews
The traditional concept of knowledge is a justified true belief. The bulk of contemporary epistemology has focused primarily on that task of justification. Truth seems to be a quite obvious criteriondoes the belief in question correspond to reality? My contention is that the aspect of ontology is far too separated from…
Henry E. Kyburg
A number of writers (Joseph Halpern and Fahiem Bacchus among them) have offered semantics for formal languages in which inferences concerning probabilities can be made. Our concern is different This paper provides a formalization of nonmonotonic inferences in which the conclusion is supported only to a certain degree.…
Florian Richter
Deduction is the one of the major forms of inferences and commonly used in formal logic. This kind of inference has the feature of monotonicity, which can be problematic. There are different types of inferences that are not monotonic, e.g. abductive inferences. The debate between advocates and critics of abduction as a…
Ruy J. G. B. de Queiroz
As a celebration of the Tractatus 100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that "everyone is aware of the holistic character of Wittgenstein's later philosophy, but it is not so well known that it was already beginning to…
Henry E. Kyburg
- ( 1 ) I have enough evidence to render the sentence S probable. - (2) So, relative to what I know, it is rational of me to believe S. - (3) Now that I have more evidence, Smay no longer be probable. - ( 4) So now, relative to what I know, it is not rational of me to believe S.
Yiling Wu
Hume's account of causal judgment presupposes three representational conditions: experiential grounding (ideas must trace to impressions), structured retrieval (association must operate through organized networks exceeding pairwise connection), and vivacity transfer (inference must produce felt conviction, not merely…
Adam Bjorndahl, Aybüke Özgün
In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge [30]. Building on Stalnaker's core insights, and using frameworks developed in [11] and [4], we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological…