Three disciplines address the codified forms and rules of human thought and reasoning: logic, available since antiquity; dialectics as a process of logical reasoning; and semiotics which focuses on the epistemological properties of the extant domain. However, both the paradigmatic-historical model of knowledge and the logical-semiotic model of thought tend to incorrectly emphasize the separation and differences between the respective domains vs. their overlap and interactions. We propose a sublation of linguistic logics of objects and static forms by a dynamic (...) logic of real physical-mental processes designated as the Logic in Reality (LIR). In our generalized logical theory, dialectics and semiotics are recovered from reductionist interpretations and reunited in a new synthetic paradigm centered on meaning and its communication. Our theory constitutes a meta-thesis composed of elements from science, logic and philosophy. We apply the theory to gain new insights into the structure and role of semiosis, information and communication and propose the concept of ‘ontolon’ to define the element of reasoning as a real dynamic process. It is part of a project within natural philosophy, which will address broader aspects of the dynamics of the growth of civilizations and their potential implications for the information society. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

Archaeology is currently bound to a series of metaphysical principles, one of which claims that reality is composed of a series of discrete objects. These discrete objects are fundamental metaphysical entities in archaeological science and posthumanist/new Materialist approaches and can be posited, assembled, counted, and consequently included in quantitative models (e.g. Big Data, Bayesian models) or network models (e.g. Actor-Network Theory). The work by Sørensen and Marila shows that archaeological reality is not that discrete, that some objects cannot be easily (...) identified, and that perhaps reality is not always necessarily composed of discrete objects. The aim of this article is to take Sørensen and Marila’s arguments to their ultimate logical consequences: most archaeological theory today operates under the illusion of a general metaphysics. This illusion dictates not only that all of reality is composed of discrete objects, but that since reality manifests in a certain way, there has to be a methodology that accurately represents that reality. A brief discussion on the notion of “conjecture,” as conceived in certain historical theories, is also presented. (shrink)

In the mid-nineteenth century George Boole formulated his ‘conditions of possible experience’. These are equations and ineqaulities that the relative frequencies of events must satisfy. Some of Boole's conditions have been rediscovered in more recent years by physicists, including Bell inequalities, Clauser Horne inequalities, and many others. In this paper, the nature of Boole's conditions and their relation to propositional logic is explained, and the puzzle associated with their violation by quantum frequencies is investigated in relation to a variety of (...) approaches to the interpretation of quantum mechanics. * While preparing this paper for publication I have learnt of the untimely death of Professor J. S. Bell, and I wish to dedicate the paper to his memory. This research was undertaken while I spent a sabbatical leave at Wolfson College, and the History and Philosophy of Science Department at the University of Cambridge. I would like to thank Michael Redhead and Jeremy Butterfield for their hospitality and for helpful discussions. A first draft of this paper has been distributed among the participants of the conference 'Einstein in Context' which was held in Israel, in April 1990.1 have benefited from the comments of many colleagues. I would like to thank in particular Arthur Fine who enlightened me on the prism models, David Albert. Maya Bar-Hillel. Yemima Ben-Menachem, Mara Beller. Simon Saunders, and Mark Steiner. This research is partially supported by the Edelstein Center for the History and Philosophy of Science at the Hebrew University. (shrink)

This paper shows how Peirce's semeiotic could be turned into a powerful science. The New Science of Semiotics provides not only a new paradigm and an empirical justification for all these applications, but also a rational and systematic procedure for carrying them out as well. Thus the New Science of Semiotics transforms the philosophy of law into the science of legal scholarship, the discipline that I call jurisology.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Logical psychologism is the position that logic is a special branch of psychology, that logical laws are descriptíons of experience to be arrived at through observation, and are a posteriori.The accepted arguments against logical psychologism are effective only when directed against this extreme version. However, the clauses in the above characterization are independent and ambiguous, and may be considered separately. This separation permits a reconsideration of less extreme attempts to tie logic to psychology, such as those defended by Mill and (...) Boole. It also provides the basis for a reexamination of the relationship between logic and psychology, and raises the possibility of a deeper investigation into the nature of logic itself. (shrink)

In ordinary circumstances, we can assess the worth of evidence well enough without benefit of any theory; but when evidence is especially complex, ambiguous, or emotionally disturbing—as it often is in legal contexts—epistemological theory may be helpful. A legal fact-finder is asked to determine whether the proposition that the defendant is guilty, or is liable, is established to the required degree of proof by the [admissible] evidence presented; i.e., to make an epistemological appraisal. The foundherentist theory developed in Evidence and (...) Inquiry can help us understand what this means; and reveals that degrees of proof cannot be construed as mathematical probabilities: a point illustrated by comparing the advantages of a foundherentist analysis with the disadvantages of probabilistic analyses of the evidence in the Sacco and Vanzetti case (1921), and of the role of the statistical evidence in Collins (1968). (shrink)

This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used to predict a subject’s response when presented with a known or a previously unknown situation. This new theory suc- cessfully anticipates phenomena that existing theories predict, as well as phenomena that they cannot. It provides a theoretical account for phenomena (...) that are beyond the domain of existing models, such as extinction and the detection of novelty, from which “external inhibition” can be explained. Examples of the methods applied to make predictions are given using previously published results. The present theory proposes a new way to envision the minimal functions of the nervous system, and provides possible new insights into the way that brains ultimately create and use knowledge about the world. (shrink)

Although the existence of correspondence between George Boole (1815?1864) and William Stanley Jevons (1835?1882) has been known for a long time and part was even published in 1913, it has never been fully noted; in particular, it is not in the recent edition of Jevons's letters and papers. The texts are transcribed here, with indication of their significance. Jevons proposed certain quite radical changes to Boole's system, which Boole did not accept; nevertheless, they were to become well established.

Gentzen’s approach to deductive systems, and Carnap’s and Popper’s treatment of probability in logic were two fruitful ideas that appeared in logic of the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the deduction relation formalized in the sequent calculus, we introduce the notion of ’probabilized sequent’ \ with the intended meaning that “the probability of truthfulness of \ belongs to the interval [a, b]”. This method makes it possible to define a system of derivations (...) based on ’axioms’ of the form \, obtained as a result of empirical research, and then infer conclusions of the form \. We discuss the consistency, define the models, and prove the soundness and completeness for the defined probabilized sequent calculus. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

It is important for the theory of knowledge to understand the factors involved in the generation of the capacities of knowledge. In the history of modern philosophy, knowledge is generally held to originate in either one or two sources, and the debates about these sources between philosophers have concerned their existence, or legitimacy. Furthermore, some philosophers have advocated scepticism about the human capacity to understand the origins of knowledge altogether. However, the developmental aspects of knowledge have received relatively little attention (...) both by past philosophers and in current philosophical discussions. This dissertation provides a historical approach to this developmental problem of knowledge by interpreting the developmental theories of knowledge of Maine de Biran (1766–1824) and Henri Bergson (18591941) from the perspective of a theory of the ‘generative factors of knowledge.’ It first studies the philosophies of Maine de Biran and Bergson separately and then brings together and compares the metaphilosophical aims drawn from these philosophers. The dissertation’s novel analysis, provided by its theory and structure, has far-reaching consequences. From a wide point of view, it fills in considerable scholarly gaps and provides great opportunities for future research in the study of the history of philosophy. From more specific points of view, it provides its most decisive contributions in such metaphysical and epistemological topics as the nature of causality, self-generated activity, the role of effort in knowing and learning, the complementary relationship between philosophy and science, and the non-conceptual basis of knowledge. (shrink)

Elämä on nähty merkittävänä aiheena Bergsonin filosofiassa. Elämän filosofinen merkitys Bergsonilla ilmenee selvästi hänen pääteoksessaan L'évolution créatrice (Luova evoluutio, 1907), jossa hän keskittyy inhimillisten tietokykyjen evolutiivisen alkuperän rekonstruointiin ja tieto-opillisiin seurauksiin. Bergsonin mukaan biologia tarjoaa filosofialle tietokykyjen kehitysteoreettisen näkökulman, ja filosofia metafysiikkana täsmentää biologialle sopivaa epistemologiaa. Tässä artikkelissa esittelen Bergsonin filosofisen teorian biologian ja epistemologian vastavuoroisesta suhteesta. Aloitan epistemologian, tieteen ja metafysiikan välisen suhteen selventämisellä Bergsonin teoriassa. Sen jälkeen esittelen, kuinka Bergson näkee tietokykyjen kehittymisen olennaisena osana eläinten yleistä kehityshistoriaa. Analysoimalla (...) eläinkunnan kognitiivisten kykyjen kahta taipumusta, älykkyyttä (intelligence) ja vaistoa (instinct), Bergson kehittää näkemyksen metafysiikasta, jonka avulla on mahdollista selvittää epistemologian ja biologian keskinäistä riippuvuutta ja vastavuoroisuutta. Lopuksi valaisen tätä vastavuoroisuutta Bergsonin analyysilla käsitteellisen tiedon muodostumisesta. (shrink)

This paper's goal is very simple, that of trying to look at the broad and multifaceted concept of uncertainty from a typically scientific point of view, namely, that consisting in representing concepts through numerical quantities. For the goal, it is supposed that the universe of discourse is amorphe, and that the basic treats of the meaning shown by the mother-predicate ‘uncertain’, from which it comes the concept of uncertainty, can be empirically captured in, at least, for what concerns its variability (...) between the elements of the universe of discourse. Once ‘measures of uncertainty’ are defined in the same way as measures of length, area, volume, randomness, electrical intensity, etc., were introduced, there are analyzed the two cases in which ‘uncertain’ is confused with ‘probable’ and ‘possible’, to see which restrictions they mean in the use of ‘uncertain’. What it is just attempted is to open a window towards a new, and more general way, of considering the term ‘uncertainty’. (shrink)

This paper contains some reflections going from pinpointing one of the main goals of fuzzy logic, that of representing linguistic terms whose use is gradable in a given context, to show a mathematical model able to capture what is a fuzzy set labeled P in a universe of discourse, throughout a way in which some comments on what a mathematical model is, and to what it serves, are done. It is shown that such a model for a fuzzy set is (...) but a numerical quantity coming from the so-called primary use of its linguistic label, and along the paper there are shown some hints on the design of formulas representing statements by means of fuzzy terms. All that is jointly considered along the way modern science has been following to domesticate as quantities those gradable concepts which it takes into account. Under this view, fuzzy sets appear as more typically scientific than logical or purely mathematical objects. (shrink)

mathematicians for over 60 years. Amazingly, the Argonne team's automated theorem-proving program EQP took only 8 days to find a proof of it. Unfortunately, the proof found by EQP is quite complex and difficult to follow. Some of the steps of the EQP proof require highly complex and unintuitive substitution strategies. As a result, it is nearly impossible to reconstruct or verify the computer proof of the Robbins conjecture entirely by hand. This is where the unique symbolic capabilities of Mathematica (...) 3 come in handy. With the help of Mathematica, it is relatively easy to work out and explain each step of the dense EQP proof in detail. In this paper, I use Mathematica to provide a detailed, step-by-step reconstruction of the highly complex EQP proof of the Robbins conjecture. (shrink)