Online research in philosophy

In mathematics, we back up our discoveries with rigorous deductive proofs. Mathematicians develop a keen instinctive sense of what makes a proof rigorous. In logic, we strive for a *theory* of rigorous proofs.

Critics of evolutionary psychology object that it is not rigorous science compared to other evolutionary science. Advocates reply that it is rigorous science, and that the critics are uninformed. Still, informed people having opposing preconceptions of what counts as rigor may reach opposing evaluative conclusions. I shall clarify the very idea of rigorous evolutionary histories in relation to the basic objection that “evolution without history” is not rigorous.

Students of politics cleave to a welter of conflicting conceptions of their subject. We all know that these conceptions shape the questions researchers put to politics, as well as the assumptions on which they make their inquiries. But we lack any attempt to list and classify these conceptions. This research note does just that, listing and classifying 29 1/2 definitions of politics I have found in the scholarly literature. I present the definitions and divide them into seven classes: power-seeking definitions, power-distributing definitions, struggle-and-competition definitions, collective decision and -action definitions, group- and social order-production definitions, authority-asserting definitions, and shaping -values and -arrangements definitions. Among those listed are the Weberian, Marxist, feminist, collective-choice, and conservative definitions of politics.

The scientific understanding of cognition and consciousness is currently hampered by the lack of rigorous and universally accepted definitions that permit comparative studies. This paper proposes new functional and un- ambiguous definitions for cognition and consciousness in order to provide clearly defined boundaries within which general theories of cognition and consciousness may be developed. The proposed definitions are built upon the construction and manipulation of reality representation, decision making and learning and are scoped in terms of an underlying logical structure. It is argued that the presentation of reality also necessitates the concept of ab- sence and the capacity to perform transitive inference. Explicit predictions relating to these new definitions, along with possible ways to test them, are also described and discussed.

Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions.

The theory of branching space-times is designed as a rigorous framework for modelling indeterminism in a relativistically sound way. In that framework there is room for “funny business”, i.e., modal correlations such as occur through quantum-mechanical entanglement. This paper extends previous work by Belnap on notions of “funny business”. We provide two generalized definitions of “funny business”. Combinatorial funny business can be characterized as “absence of prima facie consistent scenarios”, while explanatory funny business characterizes situations in which no localized explanation of inconsistency can be given. These two definitions of funny business are proved to be equivalent, and we provide an example that shows them to be strictly more general than the previously available definitions of “funny business”.

The theory of branching space-times is designed as a rigorous framework for modelling indeterminism in a relativistically sound way. In that framework there is room for "funny business", i.e., modal correlations such as occur through quantummechanical entanglement. This paper extends previous work by Belnap on notions of "funny business". We provide two generalized definitions of "funny business". Combinatorial funny business can be characterized as "absence of prima facie consistent scenarios", while explanatory funny business characterizes situations in which no localized explanation of inconsistency can be given. These two definitions of funny business are proved to be equivalent, and we provide an example that shows them to be strictly more general than the previously available definitions of "funny business".

In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological ...

Complex systems are dynamic and may show high levels of variability in both space and time. It is often difficult to decide on what constitutes a given complex system, i.e., where system boundaries should be set, and what amounts to substantial change within the system. We discuss two central themes: the nature of system definitions and their ability to cope with change, and the importance of system definitions for the mental metamodels that we use to describe and order ideas about system change. Systems can only be considered as single study units if they retain their identity. Previous system definitions have largely ignored the need for both spatial and temporal continuity as essential attributes of identity. After considering the philosophical issues surrounding identity and system definitions, we examine their application to modeling studies. We outline a set of five alternative metamodels that capture a range of the basic dynamics of complex systems. Although Holling’s adaptive cycle is a compelling and widely applicable metamodel that fits many complex systems, there are systems that do not necessarily follow the adaptive cycle. We propose that more careful consideration of system definitions and alternative metamodels for complex systems will lead to greater conceptual clarity in the field and, ultimately, to more rigorous research.