Extending Montague's system: A three valued intensional logic.E. H. Alves &J. A. D. Guerzoni -1990 -Studia Logica 49 (1):127 - 132.detailsIn this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.
A filosofia da matemática de Frege no contexto do neokantismo.Gottfried Gabriel,Sven Schlotter,Lucas A. D. Amaral &Rafael R. Garcia -2021 -Kant E-Prints 16 (2):363-376.detailsHá muitos pontos de concordância entre Frege e os neokantianos. Isso vale especialmente para os representantes do neokantismo da teoria do valor ou do Sudoeste alemão na tradição de Hermann Lotze. Não discutiremos aqui todos os aspectos dessa proximidade; de acordo com o tema que propomos, ficaremos restritos à filosofia da matemática. A primeira parte do artigo tratará da relação entre aritmética e geometria, mostrando surpreendentes semelhanças entre Frege e o neokantiano Otto Liebmann. A segunda parte discutirá as diferentes recepções (...) do logicismo de Frege por Jonas Cohn, Paul Natorp, Heinrich Rickert, Ernst Cassirer e Bruno Bauch. (shrink)
Expert or assistant: Supporting power engineers in the management of electricity distribution. [REVIEW]K. D. Eason,S. D. P. Harker,R. F. Raven,J. R. Brailsford &A. D. Cross -1995 -AI and Society 9 (1):91-104.detailsA case study is presented of the development of computer-based support tools for power engineers in the electricity supply industry. The objective was to develop an expert system to support witching schedule production. A user-centred approach was followed which led the user community to conclude that a switching schedule production assistant (SSPA) was required which would leave control with the power engineer. Prototype systems were developed and evaluated in user trials which revealed that a significant and more general purpose tool (...) would be a computer generated electricity network display that the engineers could manipulate. The paper concludes that the process of enabling users to evaluate alternative forms of technology can facilitate the development systems that are useful, acceptable and usable. (shrink)
A new criterion for comparing fuzzy logics for uncertain reasoning.A. D. C. Bennett,J. B. Paris &A. Vencovská -2000 -Journal of Logic, Language and Information 9 (1):31-63.detailsA new criterion is introduced for judging the suitability of various fuzzy logics for practical uncertain reasoning in a probabilistic world and the relationship of this criterion to several established criteria, and its consequences for truth functional belief, are investigated.
No categories
Civil disobedience and punishment.A. D. Woozley -1976 -Ethics 86 (4):323-331.detailsdiscussion de l'auteur. peu de théorie additionnelle. question de l'acceptation de la punition p330.
Virtue and Character.A. D. M. Walker -1989 -Philosophy 64 (249):349 - 362.detailsMoral theories which, like those of Plato, Aristotle and Aquinas, give a central place to the virtues, tend to assume that as traits of character the virtues are mutually compatible so that it is possible for one and the same person to possess them all. This assumption—let us call it the compatibility thesis—does not deny the existence of painful moral dilemmas: it allows that the virtues may conflict in particular situations when considerations associated with different virtues favour incompatible courses of (...) action, but holds that these conflicts occur only at the level of individual actions. Thus while it may not always be possible to do both what would be just and what would be kind or to act both loyally and honestly, it is possible to be both a kind and a just person and to have both the virtue of loyalty and the virtue of honesty. (shrink)