In this article, we question whether nanoscience has already matured into a single discipline or whether it retains the character of an interdisciplinary endeavour, involving the natural sciences as well as technology. In search for an answer, the traits of disciplines according to William Bechtel are considered. Arguments in favour of using 'nanoscience', as a singular, or 'nanosciences', as a plural, are elucidated. In terms of objects of study, nanoscience is compared with colloid science. Cognitive abilities are traced back to (...) the parent natural sciences. Finally, in the field of social and institutional organizations, it seems that nanoscience cannot yet compete with traditional disciplines. In future the question about the disciplinary character of nanoscience has to be solved mainly on a sociological level. (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)

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)

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)

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)

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)

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 (concert) 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)

There is an important class of conditionals whose assertibility conditions are not given by the Ramsey test but by an inductive extension of that test. Such inductive Ramsey conditionals fail to satisfy some of the core properties of plain conditionals. Associated principles of nonmonotonic inference should not be assumed to hold generally if interpretations in terms of induction or appeals to total evidence are not to be ruled out.

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.

The book presents the results of the joint annual conference of the four Operations Research Societies DGOR, GM\OR, \GOR and SVOR, held in Vienna in 1990.

It has been a vexing question in recent years whether concepts are fuzzy. In this paper several views on the fuzziness of concepts are pointed out to have stemmed from dubious concepts of fuzziness. The underlying notions of the roles feasibly played byprototype, set, andprobability in modeling concepts strongly suggest that the controversy originates from a vague relation between intuitive and mathematical ideas in the cognitive sciences. It is argued that the application of fuzzy sets cannot resolve this vagueness since (...) they are one sided,viz., defined on sets. An alternative definition based on classes (in the sense of axiomatic set theory) is proposed. (shrink)

Many criticisms of prototype theory and/or fuzzy-set theory are based on the assumption that category representativeness (or typicality) is identical with fuzzy membership. These criticisms also assume that conceptual combination and logical rules (all in the Aristotelian sense) are the appropriate criteria for the adequacy of the above “fuzzy typicality”. The present paper discusses these assumptions following the line of their most explicit and most influential expression by Osheron and Smith (1981). Several arguments are made against the above identification, the (...) most important being that representativeness in prototype theory is exclusively based on element-to-element similarity while fuzzy membership is inherently an element-to-category relationship. Also the above criteria for adequacy are criticized from the viewpoint of both prototype theory and fuzzy-set theory as well as from that of both conceptual and logical combination, and also from that of integration. (shrink)

In Appendix B of Russell's The Principles of Mathematics occurs a paradox, the paradox of propositions, which a simple theory of types is unable to resolve. This fact is frequently taken to be one of the principal reasons for calling ramification onto the Russellian stage. The paper presents a detaiFled exposition of the paradox and its discussion in the correspondence between Frege and Russell. It is argued that Russell finally adopted a very simple solution to the paradox. This solution had (...) nothing to do with ramified types but marked an important shift in his theory of propositions. (shrink)

The paper presents the main ideas of Ultrafilter Logic (UL), as introduced by Veloso and others. A new proposal, Normality Logic (NL), is outlined for expanding the expressive power of UL. The system NL appears to offer a simpler solution to the problem of expressive power than the sorting strategy of Carnielli and Veloso. Interpretations of NL are discussed and an important point of contact to Hansson's notion of non-prioritized belief revision is observed.

The paradox of propositions, presented in Appendix B of Russell's The Principles of Mathematics (1903), is usually taken as Russell's principal motive, at the time, for moving from a simple to a ramified theory of types. I argue that this view is mistaken. A closer study of Russell's correspondence with Frege reveals that Russell carne to adopt a very different resolution of the paradox, calling into question not the simplicity of his early type theory but the simplicity of his early (...) theory of propositions. (shrink)

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.

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)

Written primarily in Greek, 1999 edition.

We defend J. Kim's principle of explanatory exclusion from a recent criticism advanced by A Marras. We show that the principle follows from a less controversial principle of causal exclusion together with the assumption that claims of explanation are factual. We resolve the tension produced by Marras' argument by drawing a distinction between causal and explanatory relevance. In cross-level explanations (mental-to-physical and physical-to-mental) the explanans property is not causally but explanatorily relevant to the explanandum. This calls for an account of (...) how explanatorily relevant properties are grounded in causally relevant properties which in turn ultimately depend on causally efficacious properties. A. (shrink)

This article studies Cicero and the rhetoric, and the controversy generated around his figure, in particular in XIX century. Three steps are followed: first, it is tried to make clear how the figure of Cicero orator appeared in cases specially controverted; secondly the modern critic of Cicero is discussed; and, finally, an assessment of the oratorian practice of Cicero is offered from the per-spective of present science.

Die vier vollstandig uberlieferten Reden gegen Catilina hielt der romische Philosoph, Schriftsteller und Politiker Marcus Tullius Cicero im Jahre 63 v. Chr., um Senator Lucius S. Catilina zu uberfuhren. Dieser hatte seine Anhanger zu einem Putsch gegen die Romische Republik verschworen. Cicero deckt mit brillanter Rhetorik das Komplott auf und pladiert fur Verfolgung und Bestrafung. Die Catilinarischen Reden erweisen den Staatsmann als glanzenden Taktiker und geben Aufschluss uber den Zustand der spaten romischen Republik.".

Erpressungen, Unterschlagungen, der Raub von Kunst- und Kultgegenstanden und die verbrecherische Willkurjustiz des Gaius Verres als Statthalter von Sizilien bieten Cicero reichlich Stoff fur ebenso furchtlose wie vernichtende rhetorische Attacken. Die Auswahlausgabe enthalt die Erste Rede sowie das vierte Buch der Zweiten Rede.".

Horatii Epistula ad Pisones quae inde a Quintiliani temporibus Ars poetica appellari solet duobus e generibus composita esse videtur: nonnulla sunt illius formae carminum peculiaria qua praecepta traduntur; alia naturam epistularum versibus confectarum reddunt quam poeta senescens creavit. Hac de re homines docti consentiunt, at etiam nunc ambigitur, quatenus Epistula ad Pisones a poeta in formam carminis praecepta continentis redacta sit. Novissimae disputationes (a Brink et a Becker conscriptae) Horatii Epistulae illius carminis compositionem inesse demostrare volunt. Sed huius commentationis auctor (...) Horatii Epistulam cum Vergilii Georgicis comparat, ut Horatii et Vergilii opera pauca admodum communia habere ostendat -multum afuit, ut Horatius in Epistula ad Pisones praeceptoris personem induere voluerit. Tamen Epistula multa variaque dogmata complectitur: caput ultimum originem fontesque eorum explanare conatur. (shrink)

DeMorgan lattice logic is the consecution version of Anderson/Belnap’s calculus of First Degree Entailments [1]. Theorems of DML are of the form Γ ` A, where Γ is a non-empty set of formulae. Let Γ = {A1, . . . , An}, then Γ ` A is a theorem of DML if and only if A1& . . . &An → A is a theorem of F DE. The Gentzenization of DML offered in this paper, LDML, derives from the worlds (...) semantics for F DE, first presented in [3]. It is for this reason that LDML may be called a “Gentzen semantics” for DML. (shrink)