In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

The sentential logic S extends classical logic by an implication-like connective. The logic was first presented by Chellas as the smallest system modelled by contraining the Stalnaker-Lewis semantics for counterfactual conditionals such that the conditional is effectively evaluated as in the ternary relations semantics for relevant logics. The resulting logic occupies a key position among modal and substructural logics. We prove completeness results and study conditions for proceeding from one family of logics to another.

Le texte reproduit ici et traduit en français par Eva Beate Fuhrmann est celui d'une conférence donnée le 12 mai 1981 à Constance lors de la session d'introduction de la Fondation Alexander v. Humboldt et publiée sous le titre ‘Europa — Zur Geschichte einer kulturellen und politischen Idee’ dans Universitätsverlag Konstanz GmbH.

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 125 to such a future contingent event, not only does such an event not exist now, it does not even exist in its causes now, and this for the reason that no sufficient causes of the event exist now. Accordingly, if someone were merely to make a guess to the effect that the sea-fight will occur tomorrow, and the fight actually does occur, it still could not (...) be maintained that the original guess at the time it was made was therefore true. It simply could not have been true, because at the time of its assertion there literally was no evidence of any kind that could have rendered it true. Nevertheless, modern logicians have generally been so dead set against the notion that the truth or falsity of a proposition could ever be relative to the time when the proposition was uttered that they seem scarcely to have taken account of a consideration such as the foregoing. Nor is it likely that with the publication of this excellent translation of St. Thomas's commentary, such critics will begin to take account of this Thomistic argument even now. Somehow, one is reminded of Dr. Johnson's purported remark, "Sir, I can only give a man a reason, not an intelligence!" HENRY VEATCtt Northwestern University Pascal e Nietzsche. Scritti di E. Castelli, H. Gouhier, A. del Noce, H. Birault, K. Takeno, K. LSwith, J. D~lhomme, G. Vattimo, R. Boehm, G. Morra. (Padova: Cedam; Casa Editrice Dott. Antonio Milani, 1962. Pp. 218. = Archivio di Filosofia. Organo dell'Istituto di Studi Filosofici. Anno 1962. No 3. L. 2000.) This issue of the Archivio di Filosofia offers essays by the various authors indicated in the title above. Pascal and Nietzsche are here brought together because of what they have in common, that is, suffering, restlessness, dissatisfaction with the human condition, the historical sorrow of post-Copernican man, a paradoxical and chaotic thought. Both Pascal and Nietzsche urge man to measure the real by the possible and not the possible by the real and to risk the present certainties for the uncertainty of the future. They dislodge man from his ordinary seat and launch him on the risky adventure and great experiment of real existence. PA~L T. FUHRMANN Columbia Theological Seminary Pierre Bayle and Voltaire. By H. T. Mason. (Cambridge: Oxford University Press, 1963. Pp. xv -k 163.) Pierre Bayle and Voltaire confronts the ideas of the two philosophers and formulates some prudent conclusions about their relationship. Since Bayle's works run to nine long folio volumes and Voltaire's come to fifty quartos in the Moland edition, one cannot help but be impressed by the magnitude of Professor Mason's undertaking and by his ability to reduce his findings to a book of just over one hundred and fifty pages. In the case of Bayle and Voltaire, the basic facts concerning influence are readily available. We know what works of Bayle's were in the library at Ferney; we can see the pages the Enlightenment philosopher marked as he read; we have almost two hundred references to Bayle in Voltaire's works and letters (listed chronologically by Mason in an appendix); and critical editions, such as Morize's Candide and Lanson's Lettres philosophiques, have disclosed how consistently Voltaire turned to the Dictionnaire historique et critique or other works from Bayle's pen for information. Yet, when dealing with passages that seem to rely on Bayle for factual content, a scholar runs into many hazards. Voltaire may draw his data from Bayle, from Bayle's source, from an intermediary, or from an outside source. We know that he consulted Richard Simon, Spinoza, Dora Calmet, and Dr. Astruc as well as Bayle for his Biblical criticism. Therefore, it is very frequently impossible to be sure just how much Bayle's thinking... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 263 articles, and supplementing his anthology of Wright (Liberal Arts Press). The biographical chapter presents Wright as an attractive character among devoted friends and also as a solitary, original scientist. Wright's primary achievement was to apply utilitarian principles to Darwinian natural selection theory. Since Darwin himself made no such attempt, nor did John Stuart Mill, and since Darwin showed an evident interest in Wright's attempt, this represents (...) a major contribution to evolutionary theory. On the negative side, too, Wright was incisive in his criticisms of Spencer, Mivart, Hamilton, Mansel, and Lewes. The pragmatic strains in Wright's philosophical method were incidental to his primary interest in showing that sciences are metaphysically "neutral." But his influence on Peirce and James was direct and strong, both on their cosmological and methodological doctrines. He deserves to be mentioned as the prime mover in this trinity of early pragmatism and naturalism, but since his own writings were relatively few and scattered, his historical importance rests largely on the use which Peirce and James made of his ideas and the development which they gave to his philosophy. HER~VRTW. SCHNEIDER Claremont, California Propos sur Jules Lequier: Philosophe de la libert~--R~flexions sur sa vie et sur sa pens~e. Par s Callot. (Paris: l~ditions Marcel Rivi~re et Cie, 1962. Pp. 142 [1]. Biblioth6que Philosophique.) L'oeuvre de Jules Lequier est importante. Nos philosophes am~ricains Charles Hartshorne et William L. Reese en ont fait un grand ~loge dans leur Philosophers Speak of God (pp. ix, 17, 109, 118, 227-230). Dans ce nouveau livre I~mile Callot nous donne des rfiflexions, des considerations, vraiment des Propos sur Jules Lequier en occasion du centenaire de la mort de Lequier (1862). La vie de Lequier est incontestablement dramatique. N~ en 1814 en Br6tagne off il passa son enfance, Lequier subit l'influence de son pays natal, de sa m~re dont il ~tait le ills unique, et d'une 6ducation profond~ment catholique. I1 entra ~t l'l~cole Polytechnique et il en sortit peu apr~s. Mais il y connut Renouvier et c'est grace ~ Renouvier que la pens~e de Lequier nous est connue. Renouvier intercala dans ses livres des fragments de Lequier et en publia des bonnes pages sous ce titre La recherche d'une premiOre v~rit& A l'~ge de 37 ans Lequier eut un acc6s de dfimence. Puis il eut un amour exaltfi pour une jeune fille qui le refusa en mariage. Lequier mourut, noy~, ~t l'~ge de 48 ans. De sa fin il nous est impossible de savoir si elle a 6t~ un suicide ou un accident, mais Lequier garda toujours con- 264 HISTORY OF PHILOSOPHY science de son g6nie: "Je crois avoir trouv6 un myst~re merveilleux de simplicitY, de profondeur et de t~n6bres: quelque chose h quoi nul ne pense." Lequier est un philosophe de la libert& Tout philosophe part de l'id& de v~rit~, cela est n&essaire, mais la prudence exige qu'on la mette sans cesse en cause. Comme Vinet (1797-1847) a dit, "La v6rit~, sans la recherche de la verit6, n'est que la moiti~ de la v~rit& On ne salt bien que ce qu'on n'a pas su toujours; on ne croit bien qu'apr& avoir dour6; on n'est vainqueur qu'apr6s avoir &6 vaincu. Et c'est pourquoi, en cette mati~re, notre premier effort doit avoir pour objet de mettre l'homme en demeure de choisir." Lequier avait eu tr& fort le sentiment du d&erminisme universel. Mais, au moment oth la croyance ~ la n&essit6 semblait devoir triompher dans son esprit, il la rejetta brusquement "par une r&olte de l'&re entier." Selon Lequier, la premiere et fondamentale d6marche de l'esprit est une affirmation de la libert~ par la libert6 m~me. La libert~ ne cr& pas la v6rit6, mais la croyance en la libert6 est une premi6re v6rit6. Sans cette croyance, on ne peut rien chercher et rien d&ouvrir. Mais l'homme, auteur de ses actes par la libertY, ne l'est pas de sa libert& Le Dieu de la Bible est un &re infini qui rien ne peut &happer. Ainsi le probl6me entier de la pr6destination se pose ici de nouveau. Et Lequier d&ouvre une solution originale: Si Dieu... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 125 to such a future contingent event, not only does such an event not exist now, it does not even exist in its causes now, and this for the reason that no sufficient causes of the event exist now. Accordingly, if someone were merely to make a guess to the effect that the sea-fight will occur tomorrow, and the fight actually does occur, it still could not (...) be maintained that the original guess at the time it was made was therefore true. It simply could not have been true, because at the time of its assertion there literally was no evidence of any kind that could have rendered it true. Nevertheless, modern logicians have generally been so dead set against the notion that the truth or falsity of a proposition could ever be relative to the time when the proposition was uttered that they seem scarcely to have taken account of a consideration such as the foregoing. Nor is it likely that with the publication of this excellent translation of St. Thomas's commentary, such critics will begin to take account of this Thomistic argument even now. Somehow, one is reminded of Dr. Johnson's purported remark, "Sir, I can only give a man a reason, not an intelligence!" HENRY VEATCtt Northwestern University Pascal e Nietzsche. Scritti di E. Castelli, H. Gouhier, A. del Noce, H. Birault, K. Takeno, K. LSwith, J. D~lhomme, G. Vattimo, R. Boehm, G. Morra. (Padova: Cedam; Casa Editrice Dott. Antonio Milani, 1962. Pp. 218. = Archivio di Filosofia. Organo dell'Istituto di Studi Filosofici. Anno 1962. No 3. L. 2000.) This issue of the Archivio di Filosofia offers essays by the various authors indicated in the title above. Pascal and Nietzsche are here brought together because of what they have in common, that is, suffering, restlessness, dissatisfaction with the human condition, the historical sorrow of post-Copernican man, a paradoxical and chaotic thought. Both Pascal and Nietzsche urge man to measure the real by the possible and not the possible by the real and to risk the present certainties for the uncertainty of the future. They dislodge man from his ordinary seat and launch him on the risky adventure and great experiment of real existence. PA~L T. FUHRMANN Columbia Theological Seminary Pierre Bayle and Voltaire. By H. T. Mason. (Cambridge: Oxford University Press, 1963. Pp. xv -k 163.) Pierre Bayle and Voltaire confronts the ideas of the two philosophers and formulates some prudent conclusions about their relationship. Since Bayle's works run to nine long folio volumes and Voltaire's come to fifty quartos in the Moland edition, one cannot help but be impressed by the magnitude of Professor Mason's undertaking and by his ability to reduce his findings to a book of just over one hundred and fifty pages. In the case of Bayle and Voltaire, the basic facts concerning influence are readily available. We know what works of Bayle's were in the library at Ferney; we can see the pages the Enlightenment philosopher marked as he read; we have almost two hundred references to Bayle in Voltaire's works and letters (listed chronologically by Mason in an appendix); and critical editions, such as Morize's Candide and Lanson's Lettres philosophiques, have disclosed how consistently Voltaire turned to the Dictionnaire historique et critique or other works from Bayle's pen for information. Yet, when dealing with passages that seem to rely on Bayle for factual content, a scholar runs into many hazards. Voltaire may draw his data from Bayle, from Bayle's source, from an intermediary, or from an outside source. We know that he consulted Richard Simon, Spinoza, Dora Calmet, and Dr. Astruc as well as Bayle for his Biblical criticism. Therefore, it is very frequently impossible to be sure just how much Bayle's thinking... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 263 articles, and supplementing his anthology of Wright (Liberal Arts Press). The biographical chapter presents Wright as an attractive character among devoted friends and also as a solitary, original scientist. Wright's primary achievement was to apply utilitarian principles to Darwinian natural selection theory. Since Darwin himself made no such attempt, nor did John Stuart Mill, and since Darwin showed an evident interest in Wright's attempt, this represents (...) a major contribution to evolutionary theory. On the negative side, too, Wright was incisive in his criticisms of Spencer, Mivart, Hamilton, Mansel, and Lewes. The pragmatic strains in Wright's philosophical method were incidental to his primary interest in showing that sciences are metaphysically "neutral." But his influence on Peirce and James was direct and strong, both on their cosmological and methodological doctrines. He deserves to be mentioned as the prime mover in this trinity of early pragmatism and naturalism, but since his own writings were relatively few and scattered, his historical importance rests largely on the use which Peirce and James made of his ideas and the development which they gave to his philosophy. HER~VRTW. SCHNEIDER Claremont, California Propos sur Jules Lequier: Philosophe de la libert~--R~flexions sur sa vie et sur sa pens~e. Par s Callot. (Paris: l~ditions Marcel Rivi~re et Cie, 1962. Pp. 142 [1]. Biblioth6que Philosophique.) L'oeuvre de Jules Lequier est importante. Nos philosophes am~ricains Charles Hartshorne et William L. Reese en ont fait un grand ~loge dans leur Philosophers Speak of God (pp. ix, 17, 109, 118, 227-230). Dans ce nouveau livre I~mile Callot nous donne des rfiflexions, des considerations, vraiment des Propos sur Jules Lequier en occasion du centenaire de la mort de Lequier (1862). La vie de Lequier est incontestablement dramatique. N~ en 1814 en Br6tagne off il passa son enfance, Lequier subit l'influence de son pays natal, de sa m~re dont il ~tait le ills unique, et d'une 6ducation profond~ment catholique. I1 entra ~t l'l~cole Polytechnique et il en sortit peu apr~s. Mais il y connut Renouvier et c'est grace ~ Renouvier que la pens~e de Lequier nous est connue. Renouvier intercala dans ses livres des fragments de Lequier et en publia des bonnes pages sous ce titre La recherche d'une premiOre v~rit& A l'~ge de 37 ans Lequier eut un acc6s de dfimence. Puis il eut un amour exaltfi pour une jeune fille qui le refusa en mariage. Lequier mourut, noy~, ~t l'~ge de 48 ans. De sa fin il nous est impossible de savoir si elle a 6t~ un suicide ou un accident, mais Lequier garda toujours con- 264 HISTORY OF PHILOSOPHY science de son g6nie: "Je crois avoir trouv6 un myst~re merveilleux de simplicitY, de profondeur et de t~n6bres: quelque chose h quoi nul ne pense." Lequier est un philosophe de la libert& Tout philosophe part de l'id& de v~rit~, cela est n&essaire, mais la prudence exige qu'on la mette sans cesse en cause. Comme Vinet (1797-1847) a dit, "La v6rit~, sans la recherche de la verit6, n'est que la moiti~ de la v~rit& On ne salt bien que ce qu'on n'a pas su toujours; on ne croit bien qu'apr& avoir dour6; on n'est vainqueur qu'apr6s avoir &6 vaincu. Et c'est pourquoi, en cette mati~re, notre premier effort doit avoir pour objet de mettre l'homme en demeure de choisir." Lequier avait eu tr& fort le sentiment du d&erminisme universel. Mais, au moment oth la croyance ~ la n&essit6 semblait devoir triompher dans son esprit, il la rejetta brusquement "par une r&olte de l'&re entier." Selon Lequier, la premiere et fondamentale d6marche de l'esprit est une affirmation de la libert~ par la libert6 m~me. La libert~ ne cr& pas la v6rit6, mais la croyance en la libert6 est une premi6re v6rit6. Sans cette croyance, on ne peut rien chercher et rien d&ouvrir. Mais l'homme, auteur de ses actes par la libertY, ne l'est pas de sa libert& Le Dieu de la Bible est un &re infini qui rien ne peut &happer. Ainsi le probl6me entier de la pr6destination se pose ici de nouveau. Et Lequier d&ouvre une solution originale: Si Dieu... (shrink)

In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In (...) this paper we present the possible worlds semantics for partial meet multiple contractions. (shrink)

Fuhrmann's work on the manuscripts of Anaximenes', finally made public in his Teubner text , has left the ground clear for critical operations. A solid start was made by Spengel and Kayser ; but that there are still serious flaws in the text has recently been shown by R. Kassel . The main purpose of the following notes is to air difficulties, some afresh, some for the first time.The second example is apt, the first not, because the author is (...) discussing not outright illegality, which falls within the compass of TO, but two ways of bringing within the compass ofacts that are not expressly illegal. Deletion of the first example must therefore be considered. It should not be thought, however, that there is anything wrong with the asyndetic coupling of two examples that both lead off with. (shrink)

Fuhrmann's work on the manuscripts of Anaximenes', finally made public in his Teubner text, has left the ground clear for critical operations. A solid start was made by Spengel and Kayser ; but that there are still serious flaws in the text has recently been shown by R. Kassel. The main purpose of the following notes is to air difficulties, some afresh, some for the first time.The second example is apt, the first not, because the author is discussing not (...) outright illegality, which falls within the compass of TO, but two ways of bringing within the compass ofacts that are not expressly illegal. Deletion of the first example must therefore be considered. It should not be thought, however, that there is anything wrong with the asyndetic coupling of two examples that both lead off with. (shrink)

This paper presents ConR (Conditional R), a logic of conditionals based on Anderson and Belnap''s system R. A Routley-Meyer-style semantics for ConR is given for the system (the completeness of ConR over this semantics is proved in E. Mares and A. Fuhrmann, A Relevant Theory of Conditionals (unpublished MS)). Moreover, it is argued that adopting a relevant theory of conditionals will improve certain theories that utilize conditionals, i.e. Lewis'' theory of causation, Lewis'' dyadic deontic logic, and Chellas'' dyadic deontic (...) logic. (shrink)

The process [by which any individual settles into new opinions] is always the same. The individual has a stock of old opinions already, but he meets a new experience that puts them to a strain…. The result is an inward trouble to which his mind till then had been a stranger, and from which he seeks to escape by modifying his previous mass of opinions. He saves as much of it as he can, for in this matter of belief we (...) are all extreme conservatives. So he tries to change first this opinion, and then that (for they resist change very variously), until at last some new idea comes up which he can graft upon the ancient stock with a minimum of disturbance of the latter, some idea that mediates between the stock and the new experience and runs them into one most felicitously and expediently.The new idea is then adopted as the true one. It preserves the older stock of truths with a minimum of modification, stretching them just enough to make them admit the novelty, but conceiving that in ways as familiar as the case leaves possible. (William James, Lectures on Pragmatism, 1907). (shrink)

Performing and listening to music occurs in specific situations, requiring specific media. Empirical research on music listening and appreciation, however, tends to overlook the effects these situations and media may have on the listening experience. This article uses the sociological concept of the frame to develop a theory of an aesthetic experience with music as the result of encountering sound/music in the context of a specific situation. By presenting a transdisciplinary sub-field of empirical studies, we unfold this theory for one (...) such frame: the classical concert. After sketching out the underlying theoretical framework, a selective literature review is conducted to look for evidence on the general plausibility of the single elements of this emerging theory and to identify desiderata. We refer to common criticisms of the standard classical concert, and how new concert formats try to overcome alleged shortcomings and detrimental effects. Finally, an empirical research program is proposed, in which frames and frame components are experimentally manipulated and compared to establish their respective affordances and effects on the musical experience. Such a research program will provide empirical evidence to tackle a question that is still open to debate, i.e., whether the diversified world of modern-day music listening formats also holds a place for the classical concert – and if so, for what kind of classical concert. (shrink)

Although it can be straightforward to define the features of physical traits, complex cultural categories tend to elude widely accepted definitions that transcend cultural and historical context. Addressing papers by Mehr et al. and Savage et al., which both aim to explain music as an evolved trait, we discuss fundamental problems that arise from their conceptualizations of music.

This study described the relationships between academic class and student moral sensitivity and reasoning and between curriculum design components for ethics education and student moral sensitivity and reasoning. The data were collected from freshman (n = 506) and senior students (n = 440) in eight baccalaureate nursing programs in South Korea by survey; the survey consisted of the Korean Moral Sensitivity Questionnaire and the Korean Defining Issues Test. The results showed that moral sensitivity scores in patient-oriented care and conflict were (...) higher in senior students than in freshman students. Furthermore, more hours of ethics content were associated with higher principled thinking scores of senior students. Nursing education in South Korea may have an impact on developing student moral sensitivity. Planned ethics content in nursing curricula is necessary to improve moral sensitivity and moral reasoning of students. (shrink)

The AGM theory of belief contraction is extended tomultiple contraction, i.e. to contraction by a set of sentences rather than by a single sentence. There are two major variants: Inpackage contraction all the sentences must be removed from the belief set, whereas inchoice contraction it is sufficient that at least one of them is removed. Constructions of both types of multiple contraction are offered and axiomatically characterized. Neither package nor choice contraction can in general be reduced to contractions by single (...) sentences; in the finite case choice contraction allows for reduction. (shrink)

Semantics are given for modal extensions of relevant logics based on the kind of frames introduced in [7]. By means of a simple recipe we may obtain from a class FRM (L) of unreduced frames characterising a (non-modal) logic L, frame-classes FRM (L.M) characterising conjunctively regular modal extensions L.M of L. By displaying an incompleteness phenomenon, it is shown how the recipe fails when reduced frames are under consideration.

The thesis that every truth is knowable is usually glossed by decomposing knowability into possibility and knowledge. Under elementary assumptions about possibility and knowledge, considered as modal operators, the thesis collapses the distinction between truth and knowledge (as shown by the so-called Fitch-argument). We show that there is a more plausible interpretation of knowability—one that does not decompose the notion in the usual way—to which the Fitch-argument does not apply. We call this the potential knowledge-interpretation of knowability. We compare our (...) interpretation with the rephrasal of knowability proposed by Edgington and Rabinowicz and Segerberg, inserting an actuality-operator. This proposal shares some key features with ours but suffers from requiring specific transworld-knowledge. We observe that potential knowledge involves no transworld-knowledge. We describe the logic of potential knowledge by providing models for interpreting the new operator. Finally we show that the knowability thesis can be added to elementary conditions on potential knowledge without collapsing modal distinctions. (shrink)

John Horty has proposed an approach to reasoning with ought-propositions which stands in contrast to the standard modal approach to deontic logic. Horty’s approach is based on default theories as known from the framework of Default Logic. It is argued that the approach cannot be extended beyond the most simple kinds of default theories and that it fails in particular to account for conditional obligations. The most plausible ways of straightening out the defects of the approach conform to a simple (...) theory of default reasoning in standard deontic language. (shrink)

The book generalises earlier theories of belief change to cover all kinds of changes of sets by sets. The principal focus is still on changes of belief sets in response to new evidence, but the formal theory extends to all domains with a closure operation and a preference structure including, for example, systems of action. Contraction is the key notion; all other changes can be defined. Various new applications of the theory are outlined. A sentential version of contraction, subtraction, is (...) proposed as a formal counterpart to 'except'-locutions in natural language. Connections are emphasised with other areas at the interface between philosophical logic and artificial intelligence such as reasoning from default assumptions or from inconsistent premises. A relation of merge inference is proposed as a means of retrieving maximal but nontrivial information from inconsistent premises. Merge inference respects certain anti-Boolean intuitions while avoiding a revision of classical logic. (shrink)

With each proposition P we associate a set of proposition (a hyperproposition) which determines the order in which one may retreat from accepting P, if one cannot fully hold on to P. We first describe the structure of hyperpropositions. Then we describe two operations on propositions, subtraction and merge, which can be modelled in terms of hyperpropositions. Subtraction is an operation that takes away part of the content of a proposition. Merge is an operation that determines the maximal consistent content (...) of two propositions considered jointly. The merge operation gives rise to an inference relation which is, in a certain sense, optimally paraconsistent. (shrink)

Prototypes and fuzziness are regarded in this paper as fundamental phenomena in the inherent logic of concepts whose relationship, however, has not been sufficiently clarified. Therefore, modifications are proposed in the definition of both. Prototypes are defined as the elements possessing maximal degree of membership in the given category such thatthis membership has maximal cognitive efficiency in representing theelement. A modified fuzzy set (m-fuzzy set) is defined on aclass (possibly self-contradictory collection) such that its core (the collection of elements with (...) full membership) is aset (self-consistent collection) comprising the finite set of the prototypes. In this scheme of recursive representation the possibility of contradictions, which has been proven to be inevitable in the logic of concepts, islocalized. Finally a related model of the brain''s pattern recognition mechanism is briefly summarized. (shrink)

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

The causal/explanatory exclusion argument is one of the principal weapons against the possibility of mental causes/explanations having genuine causal/explanatory power. I argue that the causal and the explanatory versions of the exlusion argument should be distinguished. There are really two arguments, one of them perhaps successful, the other one not.