In his formal papers on existential graphs , Peirce tended to obscure the simplicity of EGs with distracting digressions. In MS 514, however, he presented his simplest introduction to the EG syntax, semantics, and rules of inference. This article reproduces Peirce's original words and diagrams with further commentary, explanations, and examples. Unlike the syntax-based approach of most current textbooks, Peirce's method addresses the semantic issues of logic in a way that can be transferred to any notation. The concluding section shows (...) that his rules of inference can clarify the foundations of proof theory and relate diverse methods, such as resolution and natural deduction. To relate EGs to other notations for logic, this article uses the Existential Graph Interchange Format , which is a subset of the CGIF dialect of Common Logic. EGIF is a linear notation that can be mapped to and from the Alpha, Beta, and Gamma variants of EGs. It can also be translated to or from other formalisms, algebraic or geometrical. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument from (...) practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

In this article, I expound and defend an interpretation of Sellars as a metaethical quasi-realist. Sellars analyzes moral discourse in non-cognitivist terms: in particular, he analyzes “ought”-statements as expressions of collective intentions deriving from a collective commitment to provide for the general welfare. But he also endorses a functional-role theory of meaning, on which a statement’s meaning is grounded in its being governed by semantical rules concerning language entry, intra-linguistic, and language departure transitions, and a theory of truth as correct (...) assertibility relative to such semantical rules. On these non-representationalist theories, even though moral statements are expressions of intentions and not fundamentally descriptive, they nevertheless count as assertorically meaningful, and some count as positively true. I further argue that this interpretation is capable not only of explaining Sellars’ explicitly metaethical writings, but also of unifying his scientific realism with his commitment to the ineliminable and indispensable role of the language of intentions: if this linguistic framework does not play an explanatory role, but only an expressive role, this explains both why Sellars’ commitment to it does not contravene his naturalism, as well as why, given the necessity of such language for our practical engagement with the world, the scientific image of humans in the world will only be completed once such language supplements it to enable us to relate practically to it. (shrink)

We treat emergence via reference to four ideas: (1) the different levels of emergence are characterised by distinct conservation laws, (2) the emergence process starts from some instability, (3) the driving force of emergence is given by selection processes allowing canalisation of specific (emerging) paths, and (4) new forms of stability are determined by new kinds of operations. At a quantum-mechanical level entropy is conserved in an isolated system or at global level and the only allowed operations are local shifts (...) in order and disorder – that implies weakening and strengthening correlations. The stable state is here represented by a highly symmetric state. Emergence of the classical physical world arises when energy is conserved and allowable operations include building and breaking of physical-chemical connections. The stable state is here the energy minimum. Emergence of the biotic world implies that the conserved quantity is energy efficiency. Energy is no longer locally conserved. The allowed operations are those that are consistent with the survival (persistence) of the organism. The emergence of the mind is grounded in selecting those operations that are rational (in the sense of maintaining biological self-organisation). Here, the rational value of behaviour is the quantity of interest. Mounting the ladder of (both cosmic and biological) evolution means to have more and more selection of the possible outcomes (and therefore of the relative operations) but in a growing space of possibilities: if selection would reduce more and more the space of possibilities, the final result would be a rigid order; at the other extreme, if we had only expansion of the possibilities without selection, the final result would be disorder. So growing complexity can be understood as a path in the evolutionary landscape of the systems in which a balance of order and disorder is maintained although each level emerges as a result of the selection. (shrink)

While a number of classical pragmatists crafted their philosophies in conjunction with a careful study of Hegel's works, others saw their philosophies emerge in antagonism with proponents of Hegel. In this paper, we offer an instance of the latter case. Namely, we show that the impetus for Charles S. Peirce's early articulation and avowal of realism (the claim that some generals are real) was William Torrey Harris's claim that the formal laws of logic lacked universal validity. According to Harris, the (...) leading representative of Hegelism in the United States, the universal validity of the laws of logic rested on a nominalistic metaphysics that a Hegelian-realism showed to be false. In response to this charge, we articulate how Peirce's attempt to prove the universal validity of the laws of logic resulted in avowing a realism that differed from both nominalism and Harris's Hegelian-realism. (shrink)

An updated survey of the research scope in Integral Biomathics.