In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

We consider the varieties and directions of influence that the source and target domains involved in a conceptual metaphor can have on each other during the course of understanding metaphorical utterances based on the metaphor. Previous studies have been restricted both as to direction of influence and as to type of influence. They have been largely confined to the “forward” (source to target) direction of influence, and they have concentrated on the transfer of features or propositions and (to some extent) (...) the highlighting of aspects of a domain. By contrast, this article stresses the importance both of other varieties of influence (e.g., transfer of queries and uncertainty effects) and of “reverse” influence (target to source). We seek to curb the natural tendency to think that, because metaphor involves an overall move from source to target, therefore all inter-domain influences in the course of understanding go in that direction. The bulk of the article explores the theoretical issues involved. These issues have arisen out of a reasoning-based approach to metaphor, seeking to make best use of information from metaphorical utterance, context, source and target domains, and known metaphorical mappings, by applying a complex overall reasoning process. The article briefly explains the thorough implementation of reverse influence in a computer program for metaphorical reasoning called ATT-Meta, although the theoretical considerations are relevant to all disciplines concerned with metaphor. We make some suggestions for further computational and psychological research on metaphor. (shrink)

Workplace incivility is a current challenge in organizations, including smaller firms, as is the development of programs that enhance employees’ treatment of coworkers and ethical decision making. Ethics programs in particular might attenuate tendencies toward interpersonal misconduct, which can harm ethical reasoning. Consequently, this study evaluated the relationships among the presence of ethics codes and employees’ locus of control, social aversion/malevolence, and ethical judgments of incivility using information secured from a sample of businesspersons employed in smaller organizations. Results indicated that (...) ethics code presence was associated with a more internal locus of control and stronger ethical judgment of workplace incivility. Social aversion/malevolence was negatively related to ethical judgment, and internal locus of control was positively related to ethical judgment. Smaller firms should develop ethics codes to manage individuals’ perceptions of control, thus encouraging enhanced ethical reasoning in situations that involve the mistreatment of coworkers; they should also monitor counterproductive tendencies that harm such reasoning and precipitate incivility. (shrink)

This article investigates the use of favors by managers of BRIC firms to accomplish business goals, the ethicality of which should be determined by the moral reasoning in these countries rather than from a developed country perspective. We define a favor as an exchange of outcomes between individuals, typically utilizing one's connections, that is based on a commonly understood cultural tradition, with reciprocity by the receiver typically not being immediate, and its value being less than what would constitute bribery within (...) that cultural context. This exchange normally takes place between and among members of networks, and may involve a network outsider contacted by a network insider on behalf of another insider. We see the giver and receiver of the favor, as well as network insiders and outsiders, as stakeholders. Additionally, society could also be considered to be a stakeholder since the practice of using favors generally inhibits the development of legitimate, strong formal institutions, since the use of favors in emerging economies is rooted in cultural traditions that we view as informal institutions. Furthermore, we assert that the practice of using favors can lead to bribery which harms society as a stakeholder both morally and economically. We posit that BRIC-country managers' behaviors stem from informal, culturally based practices—jeito in Brazil, blat/sviazi in Russia, jaan-pehchaan in India, and guanxi in China. We utilize institutional theory to explain why favors are relied upon, and ISCT to support the argument that the use of favors in environments like the BRICs is generally considered ethical. (shrink)

Reconstructive allografts using Vascularized Composite Allotransplantation are providing individuals living with upper limb loss and facial disfigurement with new opportunities for a sensate, esthetically acceptable, and functional alternative to current treatment strategies. Important research attention is being paid to how best to assess and screen candidates for VCA, measure optimal patient outcomes, and support patient adherence to lifelong behaviors and medical regimens. Far less attention, however, has been dedicated to the team science required for these complex VCA teams to form, (...) prepare, and provide the highest quality clinical and psychosocial care to those receiving VCA. VCA teams are unique in that they require specialized team members whose scope of practice may not otherwise overlap. The team also needs to constantly negotiate balancing patient safety with multiple risks throughout the transplant process. This study aimed to elucidate the team science needed for this highly innovative and complex area of medicine. Using in-depth qualitative interviews with 14 VCA team members and observations at team meetings, we found that careful consideration of team composition, team structure, and organizational commitment influences team performance and patient outcomes, but that to be efficient and truly effective, teams need to commit to developing processes that foster collaboration. These processes are action-oriented, strategic and interpersonal. Dedication and commitment to team science allows teams to manage conflict under stress and exercise ways to leverage strengths to provide optimal performance or patient psychosocial and clinical outcomes. This study can provide insight into quality improvement efforts for VCA teams and guidance for other transplant programs that wish to consider expansion into VCA. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:SHEILA TURCON The Bertrand Russell Archives / Editorial Projecr McMasrer Universiry -RECENT ACQUISITIONS: CORRESPONDENCE The last update of correspondence acquisitions, which concerned published correspondence only, appeared in Russell, n.s. H (1990); 204-08. The last general update of correspondence was in Russell, n.s. II (1990): 91-7. There are 30 entries in this listing, covering approximately 170 letters and telegrams. Some of the items have been received from a tOtal (...) of three other institutions, to whom we are very grateful. The latest acquisition reported is number 1,168, which arrived on 27 July 199 2. The following abbreviations should be noted: L(s). or l(s). = letteres ); pes). or pes). =photocopy(ies); p.c(s). =POSt card(s). Recent Acquisitions: Correspondence 209 courtesy of Rosenbach Museum & Library. Rec. Acq. 1,153. -Hook, Sidney L. from BR, 19 June 1943, and 2 Is. to BR, 1944-64. BR's letter concerns Hook's contribution to The Philosophy of Bertrand Russell (B77), job prospects and family matters. Ps., courtesy of Hoover Institution. Rec. Acq. 1,161. Jourdain, P. E. B. L. to BR, 13 Nov. 1916. Purchase. Rec. Acq. 1,163. Lasky, Melvin L. from BR, 30 Aug. 1950. Re resigning as the Hon. Chairman of the Congress for Cultural Freedom. Extracted in Peter Coleman, The Liberal Compiracy (1989), p. 36. P., courtesy of Hoover Institution (Sidney Hook Papers). Rec. Acq. 1,161. Levitas, S. M. See New Leader, The. Lovett, Caroline Lewis 6 ls. from BR 1941-45 and holograph copies of 2 Is. to BR, n.d. but 1941-42. Lovett was one of BR's students at the Barnes Foundation. Access restricted. Ps., courtesy of Rosenbach Museum & Library. Rec. Acq. 1,153. Mortimer, Raymond L. from BR, 4 July 1923. Re review of Santayana's Scepticism and Animal Faith (C1.3.26) and a possible meeting. P., courtesy of Princeton U. Library (Mortimer Papers). Rec. Acq. 1,168. Nabokov, Nicolas See Congress for Cultural Freedom. New Leader, The, New York (S. M. Levitas) L. from BR, 3 Ju[y 1956. Re Rosenberg-Sobell case. P.-, courtesy Hoover - Institution (Sidney Hook Papers). Rec. Acq. 1,161. Norton, Henry Kittredge 2 Is. from BR, 13 March 1940 and 26 March 1963, and I. to BR, 22 OCt. 1935. BR's Is. concern the CCNY case and arranging a meeting. Gift; courtesy of Bruce Thompson and Je3,l1 Guthrie. Rec. Acq.I,156. Ozmon, Howard 2 [so from BR, 1964British Broadcasting Corporation (T. S. Gregory) 1. to BR, 22 Sept. 1953. Re arrangements for a broadcast discussion with Sidney Hook. P., courtesy of Hoover Institution (Sidney Hook Papers). Rec. Acq. 1,161. Bulletin of the Atomic Scientists, -The (Eugene Rabinowich, Ruth Adams) 6 I~. from BR, 1962-63, and 1. from, 1962. Ps. courtesy of The Bulletin of Atomic Scientists. Rec. Acq. 1,155. Canterbury U. College, Christchurch L. from BR, 12 Oct. 1936, recommending Karl Popper. P., courtesy of Hoover Institution (Popper Papers). Rec. Acq. 856. Congress for Cultural Freedom (Nicolas Nabokov) L. from BR, 25 Feb. 1957. Re their differences of opinion over the Congress. P., courtesy of Hoover Institution (Sidney Hook Papers). Rec. Acq. 1,161. Coppock, Barbara M. (Women's Ind. League for Peace and Freedom) 1. from BR, 5 July 1962, declining to speak at her meeting. Purchase. Rec. Acq.I,135· Fallin, Richard 6 Is. from BR, 1962-63. Re literature, Camus, Gide, Sarrre, -and the Cuban Missile Crisis. Ps., courtesy of Richard Fallin. Rec. Acq. 1,137· _ Freeman, The Post card from BR, n.d. but 1923. Re review of Tolstoy biography (C23.03). Access restricted. P., courtesy of Rosenbach Museum & Library. Rec. Acq. 1,153. Greg, W. W. (Librarian of Triniry College, Cambridge) L. from BR, n.d. but 1912. Re Principia Mathematica. P., courtesy of Thoemmes Antiquarian Books Ltd. Rec. Acq. 1,150. Gregory, T. S. See British Broadcasting Corporation. Hartcup, R. E. L. from BR, 6 Dec. 1962. Form letter response to Cuban Missile Crisis. Restricted access. P., n.s. 12 (winter 1992-93): 208-10 ISSN 0036-01631 BR, 1895-98. 'Re winning his fellowship and life in Italy. Ps., courtesy of Lilly Library (Smith Papers), Indiana U. Rec... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:RECENT ACQUISITIONS: CORRESPONDENCE Recent Acquisitions: Correspondence 93 SHEILA TURCON The Bertrand Russell Archives McMaster University Libraty A.d •• PORTMItIRION HOTEL DEUDRAETU" CASTLE HOTEL PORTMEIRION PENINSULA : PENRHYNDEUDRAETH-·NORTHWALES -Telegrams & Telephone 39 - Passe"gers & G~ods Sialio", G,w'R. A.y Tile M)'Uoa a: M....W. Atehem. 8brewlbDry. T he last update of correspondence, completed in spring 1990 / listed a huge backlog. Since then, I have devised a new method of (...) preparing this listing for Russell As new items arrive, typed catalogue cards are still prepared and interfiled with our existing cards for researchers who can visit the Archives. At the same time, however, entries are put into the computer of the correspondence which will be reported in Russell, i.e., letters either to or from Russell. The listing can be printed out, proofread, and be ready for perusal and insertion in Russell at any time.. The Correspondence and the Manuscript listings are to become a regular feature of Russell With the help of the new methodology, readers will thus be kept informed of the arrival of most acquisitions within a reasonable amount of time. We do not report acquisitions of letters about Russell (of which there are many), photographs, drawings and canoons, audio and video cassettes, minutes of meetings, memorials or petitions on BR's behalf, and newsdippings. Readers interested in such holdings may contact the Russell Archives individually. There are 44 entries in this listing, covering approximately 167 letters and telegrams. Some of the items have been received from a total of ten other instirutions, to whom we are very grateful. The latest acquisition reponed is number 1,133, which arrived on 8 August 1991. The following abbreviations should be noted: L(s). or l(s). = letter (s); P(s). or p(s). = photocopy(ies); p.c(s). = post card(s). I Russel~ n.s. IO (1990); 30-67. The present listing is the last one to report not-sorecent acquisitions which had been overlooked. 1......- (6., (r>JI ~ ()~. ~-Jl.r~ ~-.~ f.o -t.--...f..tJ~ (i.~ S'o ~ " • •."-..A ~ ~ ~~ fP"'-.... Ca.H-. no ~C-.....:i. He.."; GIl-.... k ~... of- ~-~(y- ~·~~L ~ e:e.---..··fcL........., V'- ~'S- ~. (shrink)

Les Grammaires d'une ville: Essai sur la genèse des structures urbaines à Marseille. By Marcel Roncayolo (Paris: EHESS, 1996), 507 pp., FF 380, paper.

Scholars of Plato are divided between those who emphasize the literature of the dialogues and those who emphasize the argument of the dialogues, and between those who see a development in the thought of the dialogues and those who do not. In this important book Russell Dancy focuses on the arguments and defends a developmental picture. He explains the Theory of Forms of the Phaedo and Symposium as an outgrowth of the quest for definitions canvassed in the Socratic dialogues, by (...) constructing a Theory of Definition for the Socratic dialogues based on the refutations of definitions in those dialogues, and showing how that theory is mirrored in the Theory of Forms. His discussion, notable for both its clarity and its meticulous scholarship, ranges in detail over a number of Plato's early and middle dialogues, and will be of interest to readers in Plato studies and in ancient philosophy more generally. (shrink)

Dancy (philosophy, Florida State U.) presents two new interpretations of the evidence regarding the metaphysical ideas of two important figures in Plato's Academy, Eudoxus and Speusippus, and of Aristotle's reaction to those ideas.

Literature for children is often designed to stimulate imagination through variants of the “real” world that we inhabit, expanding their potential for construing different possible worlds – variants that include imaginary characters like animals with human traits or toys that are somehow animated and conscious. Here we will examine one version of Margery William’s classic nursery tale The Velveteen Rabbit, or How Toys Become Real, where the theme of “real” and imaginary characters and worlds is construed both linguistically and pictorially. (...) We will show how the theme is construed in both text and image, and how the two complement one another, together keeping the two worlds apart while at the same time representing the Velveteen Rabbit’s transformation from toy rabbit to real rabbit. (shrink)

The development of clinical ethic support in the UK arguably brings with it a series of legal questions, which need to be addressed. Most particularly, these concern questions of due process and formal justice, which I argue are central to the provision of appropriate ethical advice. In this article, I will compare the UK position with the more developed system in the USA, which often provides a template for development in the UK. While it is not argued that the provision (...) of clinical ethics support in the UK will necessarily follow the path mapped in the USA, there are lessons that can be learned from the US experience – particularly in terms of attention to process – from which UK clinical ethics support service might well benefit. (shrink)

ARISTOTLE'S PROGRAM Aristotle says outright that the law of non-contradiction cannot be demonstrated: you can't prove everything, and among the things you ...

To make out in what way Einstein’s 1905 ‘annus mirabilis’ writings hang together one has to hang on Einstein’s strive for unity evinced in his stubborn attempts to coordinate with one another the basic research traditions of classical physics. Light quanta hypothesis and special theory of relativity turn out to be mere milestones of maxwellian electrodynamics and statistical thermodynamics reconciliation programme. The conception of luminiferous ether was an insurmountable stumbling block for Einstein’s statistical thermodynamics programme in which the leading role (...) was played by the light quanta paper . (shrink)

We argue that thoughts are structures of concepts, and that concepts should be individuated by their origins, rather than in terms of their semantic or epistemic properties. Many features of cognition turn on the vehicles of content, thoughts, rather than on the nature of the contents they express. Originalism makes concepts available to explain, with no threat of circularity, puzzling cases concerning thought. In this paper, we mention Hesperus/Phosphorus puzzles, the Evans-Perry example of the ship seen through different windows, and (...) Mates cases, and we believe that there are many additional applications. (shrink)