A Alternate Semantics 104 Bibliography 108 2 Chapter 1 Philosophy 1.1 Forward The purpose of this thesis is to present a formal framework which tries to present a novel modal logic for reasoning about knowledge. Subsequently, we shall conform to the following structure: §1 First, we shall elaborate the on our philosophical intuition behind our epistemic logic, and provide a sketch of how the sy...

In this paper I have approached Spinoza's arguments for the existence of God from a somewhat unusual angle. In philosophy it is customary to consider an argument and give reasons for accepting or rejecting it in part or wholly. If I were to fall in line with the traditional method of discussing philosophical problems I would be content to point out that, in my opinion, Spinoza's arguments fail ...

In the last decades, Systems Biology (including cancer research) has been driven by technology, statistical modelling and bioinformatics. In this paper we try to bring biological and philosophical thinking back. We thus aim at making different traditions of thought compatible: (a) causality in epidemiology and in philosophical theorizing-notably, the "sufficient-component-cause framework" and t...

In this paper we explore the hypothesis that constrained uses of imagination are crucial to economic modeling. We propose a theoretical framework develop thesis through number specific hypotheses test and refine six new, representative case studies. Our ultimate goal is philosophical account practice oriented informed by empirical evidence. To do this, deploy an abductive reasoning strategy. st...

To be rational is to reason intelligently. All available sources of information. Logic as the study of explicit informational processes (inference, observation, communication) A Note on Mohist Logic, " There are three ways to get knowledge: learning from others, reasoning from what one knows already, and consulting one's own experience ". Purpose today Discuss what happens when analyzing agency...

In this paper, we show how techniques from disjunctive logic programming and classical first-order theorem proving can be used for efficient (deductive) database updates. The key idea is to tranform the given database together with the update request into a disjunctive logic program and apply disjunctive techniques (such as minimal model reasoning) to solve the original update problem. We prese...

The aim of my research is to develop a formal theory of spatial representation able to account for perspective-dependent spatial concepts. In my current project I develop a formal ontological theory for reasoning about perspective-dependent locations and I show how perspective-dependent spatial concepts relate to the framework of detached locational concepts. Thus, my aim is to investigate both...

1. Experimental Reasoning and Reliability : Can generalizations and theoretical claims ever be warranted with severity? What is an argument from coincidence? Do experimental data so underdetermine general claims that warranted inferences are limited only to the specific confines in which the data have been collected? 2. Objectivity and Rationality : Must scientific progress and rationality be f...