Search results for `H. R. Strong`

H. R. Strong (1970). Construction of Models for Algebraically Generalized Recursive Function Theory. Journal of Symbolic Logic 35 (3):401-409.score: 320.0

The Uniformly Reflexive Structure was introduced by E. G. Wagner who showed that the theory of such structures generalized much of recursive function theory. In this paper Uniformly Reflexive Structures are constructed as factor algebras of Free nonassociative algebras. Wagner's question about the existence of a model with no computable splinter ("successor set") is answered in the affirmative by the construction of a model whose only computable sets are the finite sets and their complements. Finally, for each countable Boolean algebra (...)

Logic and Philosophy of Logic

Direct download (3 more)

My bibliography

Export citation

Erich Rast, Context as Assumptions. MSH Lorraine Preprints 2010 of the Proceedings of the Epiconfor Workshop on Epistemology, Nancy 2009.score: 27.0

In the tradition of Stalnaker (1978,2002, context can be regarded as a set of assumptions that are mutually shared by a group of epistemic agents.An obvious generalization of this view is to explicitly represent each agent’s assumptions in a given situation and update them accordingly when new information is accepted. I lay out a number of philosophical and linguistic requirements for using such a model in order to describe communication of ideally-rational agents. In particular,the following questions are addressed: -/- 1. (...) What is the logical status of assumptions as opposed to rational belief, how are these assumptions generated from an underlying belief base in a given interpretation situation,and how are assumptions revised/contracted? -/- 2.What kind of ideal reasoning processes underly the interpretation of ‘incomplete’ content that may for example be obtained by an agent from an utterance by deriving some literal meaning from the lexicon and a grammar? -/- Regarding the first set of questions, my proposal is to consider assumptions akin to rational belief, but not stronger than modal logic KD, since positive and negative introspection do not seem to hold for them.Given that, an obvious question is what the relation between beliefs and assumptions is. One possible answer is to generate an agent’s assumptions from an agent’s beliefs in a given interpretation situation by revising his beliefs with his beliefs about what the message sender believes in that situation. If such an account is based on AGM belief revision/contraction(Alchourrón 1985, Gärdenfors 1989)there is a number of well-known problems that need to be addressed, because revision of iterated belief modalities is required in this case. These problems have already been investigated in detail in recent works on DDL Leitgeb/Segerberg 2007)and DEL see e.g. Ditmarsch et. (2008) Another strategy would be to maintain and revise assumptions independently of the beliefs of an agent.I will briefly discuss the advantages and disadvantages of each of these views. In both views, assumptions constitute the subjective context in which an agent interprets an utterance and encounters the world. The result of an interpretation is in turn checked against the agent’s original beliefs, and if the checking operation succeeds the agent revises his beliefs by the result in the normal way described by the AGM paradigm. -/- The second of the above questions needs to be addressed on the basis of concrete examples. Considering utterance like David is ready’ or ‘John is tall’that from a contextualist viewpoint express semantically incomplete content in the sense of Bach(2005, 2007, how may an agent arrive at interpretations of these utterances that are more complete? A first step is to presume that missing semantic ingredients are represented by missing argument places, which is a problematic assumption as it introduces a dependence on the semantic representation language. Given that, a default interpretation can be obtained by existentially quantifying over the missing argument and interpretation can then be regarded as an inference process. In case of the two examples mentioned,the assumptions of the agent allow him to obtain more specific readings by instantiating a value for the existentially bound variable. As I will show, this inference can be relatively straightforward in some cases like ‘John is tall’, whereas it requires complicated encyclopedic background knowledge and a number of default reasoning steps in other cases. -/- Based on more examples of this kind, I argue that first, belief revision with iterated modalities in a multi-agent setting is needed to generate an agent’s assumptions as laid out above. Second, default reasoning is needed. Third, a qualitative or quantitative representation of uncertainty (‘degrees of belief’) is needed in order to obtain a useful model of the checking step, since fortunately not everybody believes everything that other people say. These requirements put the theory of interpretation based on assumptions in the frontline of ongoing research on the implementation of belief revision and update in dynamic logics. Such a theory might also be useful for contextualist accounts of strong knowledge, as it can be argued convincingly that when a knowledge ascription appears to be context-sensitive, this is so because the embedded proposition is context-sensitive and not because knowledge itself is context-sensitive. Hence,the context-sensitivity of embedded propositions in knowledge claims and how different agents in the same situation arrive at different assessments about them may be explained by an inferential theory of interpretation similar to the one outlined here but with another underlying concept of assumptions. -/- Literature Alchourrón, C. E.; Gärdenfors, P. & Makinson, D. (1985), 'On the logic of theory change: partial meet contraction and revision functions', Journal of Symbolic Logic(50), 510-530. -/- Bach, K. (2007), 'Minimalism for Dummies: Reply to Cappelen and Lepore', Technical report, University of San Fransisco, Department of Philosophy. -/- Bach, K. (2005), Context ex Machina, in án Gendler Szabó, ed.,'Semantics versus Pragmatics', Oxford UP, Oxford, pp. 16-44. -/- Ditmarsch, H. v.; Hoek, W. v. d. & Kooi, B. (2008), Dynamic Epistemic Logic, Kluwer. -/- Gärdenfors, P. (1988), Knowledge in Flux, MIT Press. -/- Leitgeb, H. & Segerberg, K. (2007), 'Dynamic doxastic logic: why, how, and where to?', Synthese155(2), 167-190. -/- Stalnaker, R. (1978), Assertion, in . Cole, ed.,'Pragmatics', Academic Press, New York, pp. 315-332. -/- Stalnaker, R. (2002), 'Common Ground', Linguistics and Philosophy25(5-6), 701--721. -/- . (shrink)

Character and Content in Philosophy of Language

Context and Logical Form in Philosophy of Language

The Nature of Context in Philosophy of Language

Direct download

My bibliography

Export citation

Lennart Åqvist (1999). The Logic of Historical Necessity as Founded on Two-Dimensional Modal Tense Logic. Journal of Philosophical Logic 28 (4):329-369.score: 27.0

We consider a version of so called T × W logic for historical necessity in the sense of R.H. Thomason (1984), which is somewhat special in three respects: (i) it is explicitly based on two-dimensional modal logic in the sense of Segerberg (1973); (ii) for reasons of applicability to interesting fields of philosophical logic, it conceives of time as being discrete and finite in the sense of having a beginning and an end; and (iii) it utilizes the technique of systematic (...)

Intensional Modal Logic in Logic and Philosophy of Logic

Temporal Logic in Logic and Philosophy of Logic

Direct download (6 more)

My bibliography

Export citation

Peter Singer, D E B at E.score: 27.0

An d rew Ku per begins his cri ti que of my vi ews on poverty by accepti n g the crux of my moral argument: The interests of all persons ought to count equally, and geographic location and citizenship m a ke no intrinsic differen ce to the ri gh t s and obl i ga ti ons of i n d ivi du a l s . Ku per also sets out some key facts about global poverty, for (...)

No categories

Direct download

My bibliography

Export citation

Richard Beigel, Harry Buhrman, Peter Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan & Leen Torenvliet (2006). Enumerations of the Kolmogorov Function. Journal of Symbolic Logic 71 (2):501 - 528.score: 27.0

A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for every input x of length n, h(x) is among the first k(n) elements enumerated by f. If there is a k(n)-enumerator for h then h is called k(n)-enumerable. We also consider enumerators which are only A-recursive for some oracle A. We determine exactly how hard it is to enumerate the Kolmogorov function, which (...) assigns to each string x its Kolmogorov complexity: • For every underlying universal machine U, there is a constant a such that C is k(n)-enumerable only if k(n) ≥ n/a for almost all n. • For any given constant k, the Kolmogorov function is k-enumerable relative to an oracle A if and only if A is at least as hard as the halting problem. • There exists an r.e., Turing-incomplete set A such for every non-decreasing and unbounded recursive function k, the Kolmogorov function is k(n)-enumerable relative to A. The last result is obtained by using a relativizable construction for a nonrecursive set A relative to which the prefix-free Kolmogorov complexity differs only by a constant from the unrelativized prefix-free Kolmogorov complexity. Although every 2-enumerator for C is Turing hard for K, we show that reductions must depend on the specific choice of the 2-enumerator and there is no bound on the quantity of their queries. We show our negative results even for strong 2-enumerators as an oracle where the querying machine for any x gets directly an explicit list of all hypotheses of the enumerator for this input. The limitations are very general and we show them for any recursively bounded function g: • For every Turing reduction M and every non-recursive set B, there is a strong 2-enumerator f for g such that M does not Turing reduce B to f. • For every non-recursive set B, there is a strong 2-enumerator f for g such that B is not wtt-reducible to f. Furthermore, we deal with the resource-bounded case and give characterizations for the class ${\rm S}_{2}^{{\rm P}}$ introduced by Canetti and independently Russell and Sundaram and the classes PSPACE, EXP. • ${\rm S}_{2}^{{\rm P}}$ is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time tt-reduction which reduces A to every strong 2-enumerator for g. • PSPACE is the class of all sets A for which there is a polynomially bounded function g such that there is a polynomial time Turing reduction which reduces A to every strong 2-enumerator for g. Interestingly, g can be taken to be the Kolmogorov function for the conditional space bounded Kolmogorov complexity. • EXP is the class of all sets A for which there is a polynomially bounded function g and a machine M which witnesses A ∈ PSPACEf for all strong 2-enumerators f for g. Finally, we show that any strong O(log n)-enumerator for the conditional space bounded Kolmogorov function must be PSPACE-hard if P = NP. (shrink)

Logic and Philosophy of Logic

Direct download (3 more)

My bibliography

Export citation

Stephen Pearl Andrews, Proudhon and His Translator.score: 27.0

Benj. R. Tucker, the business partner and confrère of E. H. Heywood of Princeton, Mass., has translated and published, in an elegant volume of nearly 500 royal octavo pages, the most renowned of the politico-economical works of the justly celebrated P. J. Proudhon. The title of the work in English is: What is Property? An Inquiry into the Principle of Right and of Government. I am (...)

No categories

Direct download

My bibliography

Export citation

Peter J. Bowler (2001). Reconciling Science and Religion: THE DEBATE IN EARLY-TWENTIETH-CENTURY BRITAIN. University of Chicago Press.score: 27.0

Although much has been written about the vigorous debates over science and religion in the Victorian era, little attention has been paid to their continuing importance in early twentieth-century Britain. Reconciling Science and Religion provides a comprehensive survey of the interplay between British science and religion from the late nineteenth century to World War II. Peter J. Bowler argues that unlike the United States, where a strong fundamentalist opposition to evolutionism developed in the 1920s (most famously expressed in the (...) Scopes "monkey trial" of 1925), in Britain there was a concerted effort to reconcile science and religion. Intellectually conservative scientists championed the reconciliation and were supported by liberal theologians in the Free Churches and the Church of England, especially the Anglican "Modernists." Popular writers such as Julian Huxley and George Bernard Shaw sought to create a non-Christian religion similar in some respects to the Modernist position. Younger scientists and secularists—including Rationalists such as H. G. Wells and the Marxists—tended to oppose these efforts, as did conservative Christians, who saw the liberal position as a betrayal of the true spirit of their religion. With the increased social tensions of the 1930s, as the churches moved toward a neo-orthodoxy unfriendly to natural theology and biologists adopted the "Modern Synthesis" of genetics and evolutionary theory, the proposed reconciliation fell apart. Because the tensions between science and religion—and efforts at reconciling the two—are still very much with us today, Bowler's book will be important for everyone interested in these issues. Contents: Illustrations Preface Introduction: A Legacy of Conflict? Confrontation, Cooperation, or Coexistence? Victorian Background Science and Religion in the New Century Part One: The Sciences and Religion 1. The Religion of Scientists Changing Patterns of Belief Scientists and Christianity Scientists and Theism Method and Meaning Science and Values 2. Scientists against Superstition Science and Rationalism Religion without Revelation Marxists and Other Radicals Science, Religion, and the History of Science 3. Physics and Cosmology Ether and Spirit The New Physics The Earth and the Universe 4. Evolution and the New Natural Theology Science and Creation Evolution and Progress The Role of Lamarckism Darwinism Revived 5. Matter, Life, and Mind The Origin of Life Vitalism and Organicism Mind and Body Psychology and Religion Part Two: The Churches and Science 6. The Churches in the New Century The Challenge of the New The Churches’ Response 7. The New Theology in the Free Churches Precursors of the New Theology Campbell and the New Theology Modernism in the Free Churches 8. Anglican Modernism Modernism and the New Natural Theology Charles F. D’Arcy E. W. Barnes W. R. Inge Charles Raven 9. The Reaction against Modernism Evangelicals against Evolution Liberal Catholicism The Menace of the New Psychology Science and Modern Life Theology in the Thirties Roman Catholicism Part Three: The Wider Debate 10. Science and Secularism Against Idealism Popular Rationalism The Social Reformers 11. Religion’s Defenders From Idealism to Spiritualism Creative and Emergent Evolution Evolution and the Human Spirit Progress through Struggle The Christian Response Epilogue Biographical Appendix Bibliography Index. (shrink)

Science and Religion in Philosophy of Religion

Science and Values in General Philosophy of Science

$30.00 new Amazon page

Direct download

My bibliography

Export citation

Steven Buechler (1985). The Geometry of Weakly Minimal Types. Journal of Symbolic Logic 50 (4):1044-1053.score: 27.0

Let T be superstable. We say a type p is weakly minimal if R(p, L, ∞) = 1. Let $M \models T$ be uncountable and saturated, H = p(M). We say $D \subset H$ is locally modular if for all $X, Y \subset D$ with $X = \operatorname{acl}(X) \cap D, Y = \operatorname{acl}(Y) \cap D$ and $X \cap Y \neq \varnothing$ , dim(X ∪ Y) + dim(X ∩ Y) = dim(X) + dim(Y). Theorem 1. Let p ∈ S(A) be weakly (...)

Logic and Philosophy of Logic

Direct download (3 more)

My bibliography

Export citation

Tyler Cowen, A Road Map to Middle Eastern Peace? - A Public Choice Perspective.score: 27.0

1 Since commentary on the M ideas t is s o fraugh t with controversy, let me state s ome of my s tarting p oints up front. I am a strong believer in a market economy, and in W estern civilization. My foreign p olicy instincts tend to be dovish, in recognition of the imperfections in governments, but I am not, like some libertarians , in principle oppo sed to A merican intervention abroad. I am not religious , (...)

No categories

My bibliography

Export citation

H. Terence McLaughlin (1997). Israel Scheffler on Religion, Reason and Education. Studies in Philosophy and Education 16 (1/2):201-223.score: 15.0

Israel Scheffler has only recently written directly and about religion and education in religion, although these are matters in which he has a strong personal interest. Scheffler's views on these issues are outlined and critically appraised, with some reference to the views of R.S. Peters on similar questions. It is suggested that one of the major difficulties which arise in relation to Schelffer's position concern its account of the balance between âacceptanceâ and âcritical search for clarityâ needed on the (...)

No categories

Direct download (3 more)

My bibliography

Export citation

R. J. M. Jeurissen & H. J. L. van Luijk (1998). The Ethical Reputations of Managers in Nine EU-Countries: A Cross-Referential Survey. Journal of Business Ethics 17 (9-10):995-1005.score: 15.0

Mutual perceptions of ethical behaviour among managers in nine EU-countries were quantatively measured and related to perceptions concerning "ease of cooperation". A strong positive correlation obtains: the more ethical a country is perceived to be, the higher it is valued as an international business partner. Germany, however, is a typical exception to this rule: German managers are perceived as the most ethical, but are considered relatively difficult to cooperate with.

Business Ethics in Applied Ethics

Direct download (5 more)

My bibliography

Export citation

B. A. Davey, M. Haviar & H. A. Priestley (1995). The Syntax and Semantics of Entailment in Duality Theory. Journal of Symbolic Logic 60 (4):1087-1114.score: 15.0

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in the form (...)

Logic and Philosophy of Logic

Direct download (3 more)

My bibliography

Export citation

Branden Fitelson, Comparative Probability, Comparative Conﬁrmation, and the “Conjunction Fallacy”.score: 9.7

In the ﬁrst edition of LFP, Carnap [2] undertakes a precise probabilistic explication of the concept of conﬁrmation. This is where modern conﬁrmation theory was born (in sin). Carnap was interested mainly in quantitative conﬁrmation (which he took to be fundamental). But, he also gave (derivative) qualitative and comparative explications: • Qualitative. E inductively supports H. • Comparative. E supports H more strongly than E supports H . • Quantitative. E inductively supports H to degree r . Carnap begins by (...)

No categories

Direct download

My bibliography

Export citation

Hassan Sfouli (2012). On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions. Notre Dame Journal of Formal Logic 53 (1):67-77.score: 9.0

We show that the ordered field of real numbers with restricted $\mathbb{R}_{\mathscr{H}}$-definable analytic functions admits quantifier elimination if we add a function symbol $^{-1}$ for the function $x\mapsto \frac{1}{x}$ (with $0^{-1}=0$ by convention), where $\mathbb{R}_{\mathscr{H}}$ is the real field augmented by the functions in the family $\mathscr{H}$ of restricted parts (real and imaginary) of holomorphic functions which satisfies certain conditions. Further, with another condition on $\mathscr{H}$ we show that the structure ($\mathbb{R}_{\mathscr{H}}$, constants) is strongly model complete.

Logic and Philosophy of Logic

Direct download (3 more)

My bibliography

Export citation

Bruce H. Small & Mark W. Fisher (2005). Measuring Biotechnology Employees' Ethical Attitudes Towards a Controversial Transgenic Cattle Project: The Ethical Valence Matrix. Journal of Agricultural and Environmental Ethics 18 (5).score: 5.0

What is the relationship between biotechnology employees’ beliefs about the moral outcomes of a controversial transgenic research project and their attitudes of acceptance towards the project? To answer this question, employees (n=466) of a New Zealand company, AgResearch Ltd., were surveyed regarding a project to create transgenic cattle containing a synthetic copy of the human myelin basic protein gene (hMBP). Although diversity existed amongst employees’ attitudes of acceptance, they were generally: in favor of the project, believed that it should be (...)

Autonomy in Applied Ethics in Applied Ethics

Direct download

My bibliography

Export citation

R. Hengeveld & G. H. Walter (1999). The Two Coexisting Ecological Paradigms. Acta Biotheoretica 47 (2).score: 5.0

We analyse theories and research approaches in ecology and find that they fall into two internally homogeneous groups of linked ideas, each comprising a unique set of premises. The two sets of interpretive statements are thus mutually exclusive; they constitute alternative theoretical developments in ecology and should not be seen as complementary. They can, therefore, be considered two paradigms (Kuhn, 1962). Our interpretation is supported by the minimal overlap, if any, in the premises and research directions of the two approaches. (...)

Philosophy of Biology

Thomas Kuhn in 20th Century Philosophy

Direct download

My bibliography

Export citation

S. Charles, R. Bravo de la Parra, J. P. Mallet, H. Persat & P. Auger (1998). Population Dynamics Modelling in an Hierarchical Arborescent River Network: An Attempt with Salmo Trutta. Acta Biotheoretica 46 (3).score: 5.0

The balance between births and deaths in an age-structured population is strongly influenced by the spatial distribution of sub-populations. Our aim was to describe the demographic process of a fish population in an hierarchical dendritic river network, by taking into account the possible movements of individuals. We tried also to quantify the effect of river network changes (damming or channelling) on the global fish population dynamics. The Salmo trutta life pattern was taken as an example for.We proposed a model which (...)

Philosophy of Biology

Direct download

My bibliography

Export citation

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy

Search results for 'H. R. Strong' (try it on Scholar)