Prominent experts present papers which discuss problems regarding this subject. Coverage includes case studies in the translation of logics for second-order and propositional dynamic logic; many-sorted algebras and equational logic; logical foundations of artificial intelligence along with a variety of methods that exist to encode information; program verification techniques such as Floyd-Hoare, intermittent assertion and temporal logic of programs.

We define and study the class of all stack algebras as the class of all minimal algebras in a variety defined by an infinite recursively enumerable set of equations. Among a number of results, we show that the initial model of the variety is computable, that its equational theory is decidable, but that its equational deduction problem is undecidable. We show that it cannot be finitely axiomatised by equations, but it can be finitely axiomatised by equations with a hidden sort (...) and functions. This class of all stack algebras, together with its specifications, can be used to survey the many models in the literature on stacks in a systematic way, and hence give the study of the stack some mathematical coherence. Article Outline. (shrink)

Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing a test of a known physical (...) theory T.Our earlier work was based upon experiments in Newtonian mechanics. Here we extend the scope of the theory of experimental oracles beyond Newtonian mechanics to electrical theory. First, we specify an experiment that measures resistance using a Wheatstone bridge and start to classify the computational power of this experimental oracle using non-uniform complexity classes. Secondly, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on our ability to measure resistance by the Wheatstone bridge.The connection between the algorithm and physical test is mediated by a protocol controlling each query, especially the physical time taken by the experimenter. In our studies we find that physical experiments have an exponential time protocol; this we formulate as a general conjecture. Our theory proposes that measurability in Physics is subject to laws which are co-lateral effects of the limits of computability and computational complexity. (shrink)

Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing a test of a known physical (...) theory T. Our earlier work was based upon experiments in Newtonian mechanics. Here we extend the scope of the theory of experimental oracles beyond Newtonian mechanics to electrical theory. First, we specify an experiment that measures resistance using a Wheatstone bridge and start to classify the computational power of this experimental oracle using non-uniform complexity classes. Secondly, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on our ability to measure resistance by the Wheatstone bridge. The connection between the algorithm and physical test is mediated by a protocol controlling each query, especially the physical time taken by the experimenter. In our studies we find that physical experiments have an exponential time protocol, this we formulate as a general conjecture. Our theory proposes that measurability in Physics is subject to laws which are co-lateral effects of the limits of computability and computational complexity. (shrink)

The First Czech language edition of "The Philosophy and Politics of Czech Dissidence from Patocka to Havel" (Pittsburgh University Press 2000.

The current rise in malpractice litigation has led to concern in the research community as to the prospect of litigation against researchers. Clearly as the responsibility for the day-to-day conduct of the research falls upon the researchers they will be potentially liable should there be negligence in the conduct of the research project itself. But to what extent can the research ethics committee and its members be held liable should harm result to the research subject? How far does the prospect (...) of the threat of litigation equate with the reality of the prospect of liability? Although the NHS research governance framework suggests that primary responsibility for the conduct of the trial is with the researcher this does not mean that REC members will be immune from actions in tort where research subjects suffer harm in the conduct of a research project approved by their NHS REC. This paper focuses upon the prospect for liability in the law of tort of NHS RECs and their members. While in practice the vast majority of such claims are unlikely to be successful members of RECs may incur resultant legal costs as a consequence of involvement in proposed litigation. It is submitted that the scope of indemnity provision provided to RECs and their members should be precisely determined, otherwise there is a real prospect that the risk of malpractice litigation may deter individuals from serving on such committees. (shrink)

This completes what I think one may state and defend on physical grounds concerning the foundations of Astrology and the coming year 1602. If those learned in matters of Physics think them worthy of consideration, and communicate to me their objections to them, for the sake of eliciting the truth, I shall, if God grants me the skill, reply to them in my prognostication for the following year. I urge all who make a serious study of philosophy to engage in (...) this contest. For it concerns our worship of God and the welfare of the human race. Meanwhile, I pray from the depths of my soul, through Christ our mediator, that for all and for each the coming year may be a very happy one. (shrink)

The aim of this investigation is to discuss the merits of the three radically divergent views as to the nature and function of the categories held by Kant, Ward and Alexander.

In Cratylus 385 b-c Plato argues that if statements () can be true or false, names (),2 as parts () of statements, are also capable of being true or false. From Aristotle onwards this view has often been challenged,3 and R. Robinson put the case against it trenchantly when he wrote:4 This argument is bad; for names have no truth-value, and the reason given for saying that they do is a fallacy of division. No one in the dialogue points out (...) that it is bad. … Nevertheless it is fairly probable that Plato saw or at least felt that it is a bad argument, quite different in quality from those he later produces against the nature-theory. (shrink)

In Cratylus 385 b-c Plato argues that if statements () can be true or false, names (),2 as parts () of statements, are also capable of being true or false. From Aristotle onwards this view has often been challenged,3 and R. Robinson put the case against it trenchantly when he wrote:4This argument is bad; for names have no truth-value, and the reason given for saying that they do is a fallacy of division. No one in the dialogue points out that (...) it is bad. … Nevertheless it is fairly probable that Plato saw or at least felt that it is a bad argument, quite different in quality from those he later produces against the nature-theory. (shrink)

This dissertation seeks to contribute to research in the philosophy of social science. The study focuses upon select epistemological and ontological aspects of Hannah Arendt’s work from which methodological implications are drawn pertaining to sociology. Arendt, although critical of the sociology of her time, has become increasingly cited and influential for emerging sociological research and this study seeks to contribute to this by focusing upon the problem of novelty. The aim is to explore the philosophical and methodological implications of novelty (...) for social science by working through three case studies that are theoretically pivotal for social science—action, the ‘social’, and the self—in terms of novelty as expressed in Arendt’s writing. Arendt is critical of methodology and epistemology, aiming to draw her readers to ontological concerns outlined from her preoccupation with the 'world' and social reality. In this aim, Arendt seeks to distance herself from social sciences that she claims ignore human novelty in favour of reading social regularities, tendencies and similarities. Despite her disdain for method, Arendt suggests a anti-methodological 'method' (outlined in an overlooked footnote) for keeping trained upon and for dealing with novel, anomalous events. In the seed of this method lies a unique opportunity for social science to reassess and extend its methods, addressing this oversight and in so doing bring to light the novel social object as a legitimate subject of social research. (shrink)