We regularly talk of the experience of time passing. Some theorists have taken the supposed phenomenology of time passing to provide support for metaphysical accounts of the nature of time; opposing theorists typically granted that there is a phenomenology of time passing while seeking to dispute that any metaphysical conclusions about time can be drawn from this. In recent debates theorists have also begun to dispute that there is a phenomenology of time passing – plausibly, if there is not, then (...) there is no relevant experience to be explained away, or for metaphysical conclusions to be drawn from. In the present paper I offer one explanation of why such disputes about the experience of time passing may seem intractable. However, I suggest that there is a distinct and more tractable issue lurking in this area, concerning our experience of how certain phenomena persist over time. Interestingly, articulating how we experience different phenomena as persisting over time doesn't simply provide a challenge to one metaphysical view of persistence rather than another; instead, it generates an explanatory challenge for a variety of competing views of persistence and, by extension, a challenge for popular combinations of views of the metaphysics of persistence and of time. (shrink)

This article presents an edited excerpt from a hitherto unknown fragmentary treatise by Rush Rhees. In the treatise, Rhees gives his account of the problem of continuity that he had started elaborating before he became acquainted with Wittgenstein. The excerpt, which contains Rhees' original distinction between outer and inner surfaces of bodies, builds on Brentano's theory of the continuum and his doctrine of plerosis. This treatment of continuity sheds light on Rhees' early philosophical development and confirms that even though he (...) and Wittgenstein discussed the problem of continuity, Rhees' own approach remained distinct from that of Wittgenstein. (shrink)

I discuss Peramatzis's (2011) argument that the form of a natural substance is essentially enmattered and so contains a material component.

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Adverbialist theories of thought such as those advanced by Hare and Sellars promise an ontologically sleek understanding of a variety of intentional states, but such theories have been largely abandoned due to the ‘many-property problem’. In an attempt to revitalize this otherwise attractive theory, in a series of papers as well as his recent book, Uriah Kriegel has offered a novel reply to the ‘many-property problem’ and on its basis he argues that ‘adverbialism about intentionality is alive and well’. If (...) true, Kriegel will have shown that the logical landscape has long been unnecessarily constrained. His key idea is that the many-property problem can be overcome by appreciating that mental states stand in the determinable–determinate relation to one another. The present paper shows that this relation can’t save adverbialism because it would require thinkers to think more thoughts than they need be thinking. (shrink)

Philosophers commonly say that beliefs come in degrees. Drawing from the literature, I make precise three arguments for this claim: an argument from degrees of confidence, an argument from degrees of firmness, and an argument from natural language. I show that they all fail. I also advance three arguments that beliefs do not come in degrees: an argument from natural language, an argument from intuition, and an argument from the metaphysics of degrees. On the basis of these arguments, I conclude (...) that beliefs do not come in degrees. (shrink)

This paper reexamines Kierkegaard's work with respect to the question whether truth is one or many. I argue that his famous distinction between objective and subjective truth is grounded in a unitary conception of truth as such: truth as self-coincidence. By explaining his use in this context of the term ‘redoubling’ [Fordoblelse], I show how Kierkegaard can intelligibly maintain that truth is neither one nor many, neither a simple unity nor a complex multiplicity. I further show how these points shed (...) much-needed light on the relationship between objective and subjective truth, conceived not as different kinds or species of truth but as different ways in which truth manifests itself as a standard of success across different contexts of inquiry. (shrink)

The following thesis starts from the question «why be moral?» and adresses an action-theoretic strategy for answering this question in the positive by reference to the constitutive natur of actions. In these debates, the epistemology of action has turned into a central issue. The thesis adresses these debates and develops a novel account of the epistemology: an account that may well turn out to provide a ground for the aforementioned constitutivist strategies.

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

Ingvar Johansson has argued that there are not only determinate universals, but also determinable ones. I here argue that this view is misguided by reviving a line of argument to the following effect: what makes determinates falling under a same determinable similar cannot be distinct from what makes them different. If true, some similarities — imperfect similarities between simple determinate properties — are not grounded in any kind of property-sharing. I suggest that determinables are better understood as maximal disjunctions of (...) brutely and imperfectly similar determinates. Such brute similarities have been thought to clash with realism about universals. I argue that this worry stems from the mistaken assumption that perfect and imperfect similarities are relations of a same kind. If exact and inexact resemblances are distinct and heterogeneous explananda, the realist about universals might explain the first thanks to property-sharing, while happily leaving imperfect similarities between properties unexplained. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

A critical survey of topics that play a central role in contemporary analytic ontology and metaphysics, including, identity, persistence through time, the problem of universals, the notion of ontological commitment, and the boundary between semantic issues and metaphysics proper.

This paper focuses on the semantics of statements of the form ‘x is P at t’ vis-à-vis its metaphysical underpinnings. I begin by considering four main readings, corresponding to the four basic parsings of the temporal modifier ‘at t’: (1) at-t x is P, (2) x-at-t is P, (3) x is-at-t P, and (4) x is P-at-t. Each of these readings—which correspond to different metaphysical conceptions of the nature of temporal change—is found inadequate or otherwise problematic. In the second part (...) of the paper I therefore consider a fifth account whose advantages over (1)–(4), I argue, exceed its revisionary costs. This fifth account is based on a conception of objects as entia successiva held together by a nexus of temporal counterparthood and reads ‘x is P at t’ as ‘the t-counterpart of x is P’. (shrink)

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift ; Peirce’s ‘Algebra of Logic’ ; Peano’s ‘St...

Pain is unpleasant. Given that pain is the paradigmatic example of an unpleasant experience, I aim to shed light on what pain and unpleasantness are by trying to understand what it means for a pain to be unpleasant, what the structure of unpleasantness is, and by tackling several problematic aspects of the relation between pain and unpleasantness. By doing this, I will also provide a general account of what it means for an experience that might not be a pain to (...) be unpleasant. The thesis is organised into seven chapters and divided by three main themes: i) what the unpleasantness of pain consists in, ii) how we can account for the great phenomenal diversity among experiences of unpleasantness, and iii) which cases suggest that there could be pains that are not unpleasant. Broadly, the first two chapters deal with the first theme, the third and fourth chapter with the second theme, and the fifth and sixth chapter focus on the third theme. In the final chapter I offer a conclusion of the three main themes by providing my own view on the unpleasantness of pain. According to this account, an unpleasant experience is something felt, it is a phenomenal property of mental states, and this property should be understood using the determinable determinate distinction. By doing all of this, this thesis will provide a detailed understanding of the nature of pain and unpleasantness. (shrink)

In this paper, I shall assess the ontological commitments of frame-based methods of knowledge representation. Frames decompose concepts into recursive attribute-value structures. The question is: are the attribute values in frames to be interpreted as universal properties or rather as tropes? I shall argue that universals realism and trope theory face similar complications as far as non-terminal values, i.e., values which refer to the determinable properties of objects, are concerned. It is suggested that these complications can be overcome if one (...) is prepared to adopt an ontology of structured complexes. Such an ontology, in turn, is indifferent as to whether attribute values are interpreted as universals or as tropes. (shrink)

Pour contrer le scepticisme au sujet de la connaissance des valeurs, la plupart soutiennent avec John Rawls qu’une croyance comme celle qu’une action est bonne est justifiée dans la mesure où elle appartient à un ensemble de croyances cohérent, ayant atteint un équilibre réfléchi. Christine Tappolet s’inspire des travaux de Max Scheler et d’Alexius von Meinong pour défendre une conception opposée au cohérentisme. La connaissance des valeurs est affirmée dépendre de nos émotions, ces dernières étant conçues comme des perceptions des (...) valeurs. (shrink)

Might something I do now make something have happened earlier? This paper is about an argument which concludes that I might. Some arguments about “backward causation” conclude that the world could have been the kind of place in which actions make things have happened earlier. The present argument says that it is that kind of place: that we actually are continually doing things that really make earlier things have happened. The argument is not new. It sees temporal direction as logically (...) independent of any direction which necessary and sufficient conditions may have and it sees causal direction as properly deriving from the latter. Thus the directions of time and of making things happen need not coincide and, as it turns out, do not actually coincide in fact. There are examples of events which are sufficient, in a suitably rich sense, for the occurrence of earlier events; hence they make the earlier events happen. My purpose in this paper is to lend support to the argument by filling in some details which ‘backward sufficient conditions’ may lay claim to. (shrink)

Sections 1 through 3 present all of the main ideas behind the probabilistic logic of evidential support. For most readers these three sections will suffice to provide an adequate understanding of the subject. Those readers who want to know more about how the logic applies when the implications of hypotheses about evidence claims (called likelihoods) are vague or imprecise may, after reading sections 1-3, skip to section 6. Sections 4 and 5 are for the more advanced reader who wants a (...) detailed understanding of some telling results about how this logic may bring about convergence to the truth. (shrink)

Sometimes instances of perceived causation turn out to lack causal relata. The reasons may vary. Causation may display itself as prevention, or as omission, and in some cases causation occurs within such complex environments that few of the things we associate with causes and effects are true of them, etc. But even then, there may be causal explanations to be had. This suggests that the explanatory power of causal reports have other sources than the relation between cause and effect. In (...) this paper it is argued that the causal mechanisms we allude to in explanations have relevant determinables other than the traditionally acknowledged ones. The traditional but in this aspect mistaken view of causation is to be blamed. Discernability, complexity of manifestation, originality, and even stability have often been overlooked. We know, that, in fact, heat is a constant attendant of flame; but what is the connexion between them, we have no room so much as to conjecture or imagine. (Hume 1777, VII. 2, 64). (shrink)

Here, we defend the thesis whereby the event plays a main role of sense in the meaning of certain sentences. This thesis is based on the one hand on recent work in the metaphysics of so-called “happening” entities, which has led to a distinction between concrete physical processes and abstract events, the latter being conceived as psychological constructs accounting for stabilities or changes in the world. Furthermore, we look back at the work on intentionality carried out in the Brentanian school (...) at the turn of the 20th century and we relate abstract events to the mental states of affairs studied by Twardowski but which were then neglected by contemporary philosophers of language. Abstract events, thus characterized, have the contingent property of occurring, when facts obtain and realize them. We suggest that the facts in question correspond to Wittgensteinian states of affairs. (shrink)

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift (1879); Peirce’s ‘Algebra of Logic’ (1885); Peano’s ‘Studii di Logica matematica’ (1897); and *9 (‘replaced’ by *8 in the second edition) of Whitehead and Russell’s Principia Mathematica (1910). Despite their divergent aims, these authors present substantially equivalent visions of what their differing symbolisms express. In each case, some passage suggests that one (but not the only) way to render one (...) of the symbols into ordinary-language words (German, English and Italian) is to say that there is something or some thing(s) exist(s). Exactly how this comes out varies from language to language, but the point remains the same. As a result, in almost all recent logic manuals that introduce ‘∃’, some passage says that the symbol means ‘there is’ or ‘there exists’, and the tradition has grown up of labelling ‘∃’ ‘the existential quantifier’. Some considerations are offered for deprecating this reading of ‘∃’ and the label adopted for it, and for preferring to read it as ‘for some (at least one)’ and for speaking of the ‘particular quantifier’. (shrink)

The answer of Lowe to Ramsey’s argument against the distinction universal vs. indivi- dual: At the beginning of this article Ramsey’s argumentation against universal‐particular distinction is presented. It is based on the assumption that this division requires another one: namely, subject‐predicate distinction. This argumentation was a starting point for Lowe, who does not respect the aforementioned assumption. In his theory, there are not two but four categories, namely: substantial universals, non‐substantial universals, substantial particulars, and non‐substantial particulars. Two of these categories (...) are categories of universals; the other two are categories of particulars. Lowe tries to de ne categories in an ontological way, that is, with essential use of ontological notions. These notions are rigid and non‐rigid existential de‐ pendence, which are themselves de ned in terms of necessity and existence. The contribution of this paper is an analysis of Lowe’s solution. In the rst place, it is con onted with Ramsey remarks. Then other objections are considered. Some of them do not respect the very idea of autonomous ‘ontological way’ in philosophy. Others concern Lowe’s particular version of it. Possible answers to all of these objections are presented, such that Lowe’s theory is defended. However, there is no ultimate conclusion here. In the author’s opinion autonomy and the value of ontology cannot be shown om a purely external position. We should rst assume that this discipline does make sense and then explore its virtues by using its notions. (shrink)

What is the relation between the concept good and more specific or ‘thick’ concepts such as admirable or courageous? I argue that good or more precisely good pro tanto is a general concept, but that the relation between good pro tanto and the more specific concepts is not that of a genus to its species. The relation of an important class of specific evaluative concepts, which I call ‘affective concepts’, to good pro tanto is better understood as one between a (...) determinable and its determinates, whereas concepts such as courageous can be analysed in terms of affective concepts and purely descriptive concepts. (shrink)

My goal, in this paper, is to critically assess the categorization of “interpretations of probability” as it appears in the literature. In some sources only Carnap’s treatment of probability is understood to be the best example of “logical” probability. This is surprisingly narrow and I will here suggest otherwise. In fact, I believe that certain forms of Baysianism should also be included in the logical camp.

Newton's arguments for the immobility of the parts of absolute space have been claimed to licence several proposals concerning his metaphysics. This paper clarifies Newton, first distinguishing two distinct arguments. Then, it demonstrates, contrary to Nerlich ([2005]), that Newton does not appeal to the identity of indiscernibles, but rather to a view about de re representation. Additionally, DiSalle ([1994]) claims that one argument shows Newton to be an anti-substantivalist. I agree that its premises imply a denial of a kind of (...) substantivalism, but I show that they are inconsistent with Newton's core doctrine that not all motion is the relative motions of bodies, and so conclude that they are not part of his considered views on space. The Arguments The Identity Argument 2.1 Identity of indiscernibles for individuals 2.2 Identity of indiscernibles for worlds and states 2.3 Representation de re Kinematic Relationism Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

Realists, D. M. Armstrong among them, claim, contrary to natural class nominalists, that natural classes are analysable. Natural classes of particulars, claim the realists, can be analysed in terms of particulars having universals in common. But for the realist, there are also natural classes of universals. And if the realist's claim that natural classes are analysable is a general claim about natural classes, then the realist must also provide an analysis of natural classes of universals. For Armstrong, the unity (or (...) naturalness) of a natural class of universals is analysed in terms of universals resembling each other. I argue that Armstrong's account fails. His account fails for the same reason all other resemblance accounts of natural classes fail: some arbitrary classes satisfy the analysis for natural classes. (shrink)

Mr. A. M. Turing was quoted in The Times about a year ago as saying it would be interesting to discover the degree of intellectual activity of which a machine was capable and to what extent it could think for itself. He has now pressed this suggestion further and given the results of his researches in an article called “Computing Machines and Intelligence,” together with a brief account of a “child-machine” which he has attempted to educate . I intend to (...) discuss this article in some detail and examine his claim that “machines can think.”. (shrink)

The co-instantiation thesis is pivotal to a significant solution to the problem of causal exclusion. But this thesis has been subject to some powerful objections. In this paper, I argue that these difficulties arise because the thesis lacks the necessary metaphysical framework in which its claims should be interpreted and understood. Once this framework is in place, we see that the co-instantiation thesis can answer its critics. The result is a rehabilitated co-instantiation solution to the troubling problem of causal exclusion. (...) But questions remain concerning the viability of certain of its applications. (shrink)

In this introductory article we reconstruct several broad developments in the scholarship on Kant’s theory of natural science with a particular focus on the Anglophone context over the past half-century. Our goal is to illuminate the co-development of Kant scholarship and the philosophy of science during this period and to identify points of influence in both directions. In section 2 we present an overview of the scholarship on Kant’s account of natural laws. In section 3 we survey the diverse interpretations (...) of Kant’s views on biology and consider recent appeals to Kant by philosophers of biology. In section 4 we explore several recent developments in philosophy of science that have potential synergies with Kant scholarship. Our aim is not simply to establish that Kant’s philosophy can have relevance for philosophy of science but also to point out where it has been and continues to be relevant. Appreciating this relevance, we suggest, can help identify productive lines of inquiry for Kant studies. (shrink)

A fair amount of the philosophical discussion about pain and unpleasantness has focused on providing a constitutive account of unpleasantness. These theories provide a more fundamental description of what unpleasantness is by appealing to other well-established notions in the architecture of the mind. In contrast, I address the nature of unpleasantness from a structural account. I will argue for how unpleasantness is built, rather than what unpleasantness is made of, as it were. I focus on the heterogeneity of experience, which (...) has been a somewhat neglected issue in the literature about unpleasantness: after careful introspection, there seems to be nothing phenomenal that all and only unpleasant experiences share. In order to address the heterogeneity of unpleasant experiences, I propose that the structure of the rich phenomenology of unpleasantness should be understood as a determinable property constituted by multiple essential dimensions. (shrink)

Duality in Logic and Language [draft--do not cite this article] Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural language semantics. However, many of these disciplines use the term ‘duality’ in vastly different senses, and while some of these senses are intimately connected to each other, others seem to be entirely … Continue reading Duality in Logic and Language →.

The argument in Plato's Philebus presents three successive formulations of the hedonist principle. Commentators often take Socrates' argument in the dialogue to be dealing solely with the third formulation, which states that pleasure, rather than intelligence, is closer in nature to the good. I argue that, nonetheless, in the dialogue Socrates remained concerned to provide a direct refutation of the first formulation, that is, of the straightforward claim that pleasure is the good for all living beings. ;Chapter One ascribes to (...) the Philebus a conception of intrinsic good, which is then shown to underlie the dialogue's notion of true pleasures. Chapter Two examines in detail the problem of the "one and many" concerning pleasure, and argues that this is the problem of forms in relation to other forms, rather than that of forms in relation to particulars. This interpretation is the one that is consistent both with Protarchus' understanding of hedonism in the dialogue, and with the dialogue's methodological passages, i.e., the passages on the "god-given method" and on the four ontological kinds. In Chapter Three, it is shown how division into forms is required by Socrates' conception of the nature of pleasure. Some of the forms of pleasure are ways in which falsity is admitted into the nature of pleasure. Three accounts of false anticipatory pleasures---those of Kenny and Gosling, Mooradian, and Penner---are examined in some detail. (shrink)

I examine the difficulties that several philosophers of language are liable to encounter in their attempts to provide an account of the connection between truth and assertion. I then attempt to provide an account of this connection. The analysis is concerned chiefly with difficulties which consist in elucidating the conceptual connection between truth and assertion in a way that respects certain linguistic intuitions while at the same time rendering the concept of truth amenable to a semantic interpretation. The proposed view (...) suggests one way in which we might go about meeting the theoretical demands implicit in addressing this concern, among others, demonstrating the extent to which a theory of truth should be regarded as belonging to the province of epistemology. Insofar as semantical considerations figure into such a theory, a more systematic investigation of the interface between epistemology and natural language semantics is recommended. The solution to many problems at this interface, I argue, lay in an analysis of judgment. (shrink)

This paper re-examines Kierkegaard's work with respect to the question whether truth is one or many. I argue that his famous distinction between objective and subjective truth is grounded in a unitary conception of truth as such: truth as self-coincidence. By explaining his use in this context of the term ‘redoubling’ [ Fordoblelse ], I show how Kierkegaard can intelligibly maintain that truth is neither one nor many, neither a simple unity nor a complex multiplicity. I further show how these (...) points shed much-needed light on the relationship between objective and subjective truth, conceived not as different kinds or species of truth but as different ways in which truth manifests itself as a standard of success across different contexts of inquiry. (shrink)

Taking 'rationalized judgments' to be those formed by inference from other judgments, I argue against 'Extreme Determinism': the thesis that theoretical rationalization just is a kind of predetermination of 'conclusion-judgments' by 'premise-judgments'. The argument rests upon two key lemmas: firstly, that a deliberator - in this case, his/her assent to some proposition - to be predetermined (I call this the 'Openness Requirement'): secondly, that a subject's logical insight into his/her premise-judgments must enter into the explanation of any judgment s/he forms (...) that is rationalized by those judgments. My contention is that, given the Openness Requirement, no version of Extreme Determinsim can allow for the role played by logical insight in the rationalization of judgment. I end by indicating briefly how this result might figure in a wider argument against any form of determinism about rationalized judgment, and by explaining why I have focused specifically upon rebutting a deterministic view of theoretical as opposed to 'practical' rationalization. (shrink)

This paper has two goals. (i) I explore the limits of the mathematical theory of spacetime (more generally, differential geometry) as an analytical tool for interpreting early modern thought. While it dramatically clarifies some issues, it can also lead to misunderstandings of some figures, and is a very poor tool indeed for others - Leibniz in particular. (ii) I will show how to blunt a very influential argument against a relational conception of spacetime - the view that the properties and (...) relations of bodies exhaust the spatiotemporal. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.