Online research in philosophy

Margaret Egan and Jesse Hauk Shera's original conception of social epistemology has never been defined unambiguously, or developed significantly beyond its early formulation. An interesting consequence of this lack of conceptual clarity has been the application of several interpretations of social epistemology. This article discusses how social epistemology was linked with the ideology of apartheid, and with racially segregated library and information services in the Republic of South Africa. In a fraudulent scientific vision for librarianship, social epistemology was assigned a (...) role that violated its original purpose. The intellectual content of social epistemology needs to be articulated in order to prevent further examples of such conceptual abuse. The paper ends with an attempt to do this with some suggestions based on Shera's own seminal ideas. (shrink)

In reference to the different approaches in philosophy(of medicine) of the nature of (medical) technology,this article introduces the topic of this specialissue of Theoretical Medicine and Bioethics, that is,the way the different forms of medical technologyfunction in everyday medical practice. The authorselaborate on the active role technology plays inshaping our views on disease, illness, and the body,whence in shaping our world.

In this paper the system IL for relative interpretability described in Visser (1988) is studied.1 In IL formulae A|> B (read: A interprets B) are added to the provability logic L. The intended interpretation of a formula A|> B in an (arithmetical) theory T is: T + B is relatively interpretable in T + A. The system has been shown to be sound with respect to such arithmetical interpretations (˘Svejdar 1983, Montagna 1984, Visser 1986, 1988P). As axioms for IL (...) we take the usual axioms A→ A and ( A→A)→ A (Löb's Axiom) for the provability logic L and its rules, modus ponens and necessitation, plus the axioms: (1) (A→B)→(A|>B ) (2) (A|> B) ∧ (B|> C) → (A|> C) (3) (A|> C) ∧ (B|> C)→(A∨B|> C) (4) (A|> B)→( A→ B) (5) A|>A With respect to priority of parentheses |> is treated as →. (shrink)