Translation of Aristotle's Physics I-II into Portuguese, with commentaries. Tradução para o português dos livros I e II da Física de Aristóteles, com comentários.

Genetic explanation of complex human behavior presents an excellent test case for pluralism. Although philosophers agree that successful scientific investigation of behavior is pluralistic, there remains disagreement regarding integration and elimination—is the plurality of approaches here to stay, or merely a waystation on the road to monism? In this paper we introduce an issue taken very seriously by scientists yet mostly ignored by philosophers—the missing heritability problem—and assess its implications for disagreement among pluralists. We argue that the missing heritability problem, (...) which isn’t going anywhere any time soon, implies that pluralism in behavior genetics is both practically ineliminative and theoretically non-integrative. (shrink)

Bietti, Tilston and Bangerter take an evolutionary approach towards memory transmission and storytelling, arguing that storytelling plays a central role in the creation and transmission of cultural information. They suggest that storytelling is a vehicle to transmit survival‐related information that helps to avoid the costs involved in the first‐hand acquisition of that information and contributes to the maintenance of social bonds and group‐level cooperation. Furthermore, Bietti et al. argue that, going beyond storytelling’s individualist role of manipulating the audience to enhance (...) fitness of the narrator, that these adaptive functions of storytelling may well be assigned to other forms of language use besides narration (e.g., instructional discourse and argumentation). Based on this evidence, Bietti and colleagues claim that the specific adaptive function of storytelling lies in making sense of non‐routine, uncertain, or novel situations, thereby enabling collective sensemaking. (shrink)

In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: (...) therefore, for every machine consistent and able of doing simple arithmetic, there is a formula that it can’t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any Gödelian formula we could, for instance, construct a machine able to produce it or we could put the Gödelian formulae that we had proved as axioms of a further machine. However - as Lucas underlines - for every of such machines we could again formulate another Gödelian formula, the Gödelian formula of these machines, that they are not able to proof but that we can recognize as true. More general arguments, such as the possibility to escape Gödelian argument by suggesting that Gödel’s theorem applies to consistent systems while we could be inconsistent ones, are moreover refuted by Lucas by maintaining that our inconsistency corresponds to occasional malfunctioning of a machine and not to his normal inconsistency; indeed, a inconsistent machine is characterized by producing any statement, on the contrary human being are selective and not disposed to assert anything. (shrink)

Davidsonian event semantics is often taken to form an unhappy marriage with compositional semantics. For example, it has been claimed to be problematic for semantic accounts of quantification Proceedings of the 16th Amsterdam Colloquium, 2007), for classical accounts of negation Semantics and contextual expression, 1989), and for intersective accounts of verbal coordination. This paper shows that none of this is the case, once we abandon the idea that the event variable is bound at sentence level, and assume instead that verbs (...) denote existential quantifiers over events. Quantificational arguments can then be given a semantic account, negation can be treated classically, and coordination can be modeled as intersection. The framework presented here is a natural choice for researchers and fieldworkers who wish to sketch a semantic analysis of a language without being forced to make commitments about the hierarchical order of arguments, the argument-adjunct distinction, the default scope of quantifiers, or the nature of negation and coordination. (shrink)

This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

Trata-se de tradução do Hípias Maior de Platão para o Português, com algumas notas de elucidação e justificação das opções.

A strong case has been made for the role and value of mechanistic reasoning in process-oriented sciences, such as molecular biology and neuroscience. This paper shifts focus to assess the role of mechanistic reasoning in an area where it is neither obvious nor expected: population genetics. Population geneticists abstract away from the causal-mechanical details of individual organisms and, instead, use mathematics to describe population-level, statistical phenomena. This paper, first, develops a framework for the identification of mechanistic reasoning where it is (...) not obvious: mathematical and mechanistic styles of scientific reasoning. Second, it applies this framework to demonstrate that both styles are integrated in modern investigations of evolutionary biology. Characteristic of the former, applied population genetic techniques provide statistical evidence for associations between genotype, phenotype, and fitness. Characteristic of the latter, experimental interventions provide causal-mechanical evidence for associations between the very same relationships, often in the same model organisms. The upshot is a richer perspective of how evolutionary biologists build evidence for hypotheses regarding adaptive evolution and a general framework for assessing the scope of mechanistic reasoning across the sciences. (shrink)

This book discusses Aristotle’s notions of essence and substance as they are developed in Metaphysics ZH. I examine Aristotle's argument at length and defends an unorthodox interpretation according to which his motivation is to provide an answer against a conflation between criteria for existential priority (delivering substances as primary beings) and criteria for explanatory priority (delivering essences as primary principles).

The paper generalizes Van McGee's well-known result that there are many maximal consistent sets of instances of Tarski's schema to a number of non-classical theories of truth. It is shown that if a non-classical theory rejects some classically valid principle in order to avoid the truth-theoretic paradoxes, then there will be many maximal non-trivial sets of instances of that principle that the non-classical theorist could in principle endorse. On the basis of this it is argued that the idea of classical (...) recapture, which plays such an important role for non-classical logicians, can only be pushed so far. (shrink)

A strong case has been made for the role and value of mechanistic explanation in neuroscience and molecular biology. A similar demonstration in other domains of scientific investigation, however, remains an important challenge of scope for the new mechanists. This article helps answer that challenge by demonstrating one valuable role mechanisms play in phylogenetics. Using the transition/transversion rate parameter as a case example, this article argues that models embedded with mechanisms produce stronger phylogenetic tree hypotheses, as measured by maximum likelihood (...) logL values. Two important implications for the new mechanistic account of explanation are considered. (shrink)

Role congruity theory affirms that female managers face more difficulties at work because of the incongruity between female gender and leadership role expectations. Furthermore, due to this incongruity, it is harder for female managers to perceive themselves as authentic leaders. However, followers’ attributions of prototypicality could attenuate this role incongruity and have implications on a managers’ organizational identification. Hence, we expect male managers to be more authentic and to identify more with their organizations, when compared to female managers who are (...) low in prototypicality. We hypothesized that authentic leadership dimensions mediate the relation between managers’ biological gender and their OID. However, this indirect effect is conditional of these managers' team prototypicality. For testing these hypotheses, we conducted an online experiment with 149 participants from different work sectors using a 2 × 2 between-subject design. As predicted, men scored higher on authentic leadership, and three dimensions partially mediated the effect of participants’ biological gender on OID. In the low team prototypicality condition female managers scored lower in authentic leadership and identified less with the organization, whereas in the high team prototypicality condition, no gender differences were found. (shrink)

It is not uncommon among theorists favoring a deviant logic on account of the semantic paradoxes to subscribe to an idea that has come to be known as ‘classical recapture’. The main thought underpinning it is that non-classical logicians are justified in endorsing many instances of the classically valid principles that they reject. Classical recapture promises to yield an appealing pair of views: one can attain naivety for semantic concepts while retaining classicality in ordinary domains such as mathematics. However, Julien (...) Murzi and Lorenzo Rossi have recently suggested that revisionary approaches to truth breed revenge paradoxes when they are coupled with the thought that classical reasoning can be recaptured in certain circumstances. What’s novel about the paradoxes they put forward is that they cannot be dismissed so easily. The concepts used to generate these paradoxes—those of paradoxicality and unparadoxicality—are concepts that non-classical theorists need in order to offer a diagnosis of the truth-theoretic paradoxes. My goal in this paper is to argue that non-classical theorists can represent the concept of paradoxicality without falling prey to revenge paradoxes. In particular, I will show how to provide a formal fixed-point semantics for a language extended with a paradoxicality predicate that adequately expresses the non-classical logician’s notion of paradoxicality. (shrink)

The idea of classical recapture has played a prominent role for non-classical logicians. In the specific case of non-classical theories of truth, although we know that it is not possible to retain classical logic for every statement involving the truth predicate, it is clear that for many such statements this is in principle feasible, and even desirable. What is not entirely obvious or well-known is how far this idea can be pushed. Can the non-classical theorist retain classical logic for every (...) non-paradoxical statement? If not, is she forced to settle for a very weak form of Classical Recapture, or are there robust versions of classical recapture available to her? These are the main questions that I will address in this paper. As a test case I will consider a paracomplete account of the truth-theoretic paradoxes and I will argue for two claims. First, that it is not possible to retain the law of excluded middle for every non-paradoxical statement. Secondly, that there are no robust versions of classical recapture available to the paracomplete logician. (shrink)

Aristotle contrasts episteme and doxa through the key notions of universal and necessary. These notions have played a central role in Aristotle’s characterization of scientific knowledge in the previous chapters of APo. They are not spelled out in APo I.33, but work as a sort of reminder that packs an adequate characterization of scientific knowledge and thereby gives a highly specified context for Aristotle’s contrast between episteme and doxa. I will try to show that this context introduces a contrast in (...) terms of explanatory claims: on the one hand, episteme covers those claims which capture explanatory connections that are universal and necessary and thereby deliver scientific understanding; on the other hand, doxa covers the explanatory attempts that fail at doing so. (shrink)

Translation of Aristotle's Metaphysics Lambda into Portuguese.

I discuss in this paper the six requirements Aristotle advances at Posterior Analytics A-2, 71b20-33, for the premisses of a scientific demonstration. I argue that the six requirements give no support for an intepretation in terms of “axiomatization”. Quite on the contrary, the six requirements can be consistently understood in a very different picture, according to which the most basic feature of a scientific demonstration is to explain a given proposition by its appropriate cause.

I discuss the exact meaning of the thesis according to which the object of scientific knowledge is necessary. The thesis is expressed by Aristotle in the Posterior Analytics, in his definition of scientific knowledge. The traditional interpretation understands this definition as depending on two parallel and independent requirements, the causality requirement and the necessity requirement. Against this interpretation, I try to show, through the examination of several passages that refer to the definition of scientific knowledge, that the necessity requirement specifies (...) more exactly the causality requirement: what cannot be otherwise is the explanatory relation between the explanandum and the cause by which it is what it is. (shrink)

I discuss what Aristotle means when he say that scientific demonstration must proceed from necessary principles. I argue that, for Aristotle, scientific demonstration should not be reduced to sound deduction with necessary premises. Scientific demonstration ultimately depends on the fully appropriate explanatory factor for a given explanandum. This explanatory factor is what makes the explanandum what it is. Consequently, this factor is also unique. When Aristotle says that demonstration must proceed from necessary principles, he means that each demonstration requires the (...) principle that is the necessary one for the fully appropriate explanation of its explanandum. This picture also provides a key to understand Aristotle's thesis that scientific explanation depends on essences: it is the essence of the attribute to be explained that should be stated as the fully appropriate explanatory factor. (shrink)

Joint attention customarily refers to the coordinated focus of attention between two or more individuals on a common object or event, where it is mutually “open” to all attenders that they are so engaged. We identify two broad approaches to analyse joint attention, one in terms of cognitive notions like common knowledge and common awareness, and one according to which joint attention is fundamentally a primitive phenomenon of sensory experience. John Campbell’s relational theory is a prominent representative of the latter (...) approach, and the main focus of this paper. We argue that Campbell’s theory is problematic for a variety of reasons, through which runs a common thread: most of the problems that the theory is faced with arise from the relational view of perception that he endorses, and, more generally, they suggest that perceptual experience is not sufficient for an analysis of joint attention. (shrink)

The central idea behind this paper is the claim that Kant's moral idea of a realm of ends is modeled on the category of community examined in his theoretical works, and that understanding Kant's account of the category of community helps us understand certain features of the idea of a realm of ends, and in particular the fact that a member of a realm of ends must be an autonomous agent. For Kant the idea of a community is essentially the (...) idea of a multitude of individuals in interaction and in this paper I will attempt to show why Kant believes that only autonomous individuals can interact. (shrink)

I examine Aristotle’s definition of scientific knowledge in Posterior Analytics 71b 9-12 and try to understand how it relates to the sophistical way of knowing and to "kata sumbebekos knowledge". I claim that scientific knowledge of p requires knowing p by its appropriate cause, and that this appropriate cause is a universal (katholou) in the restricted sense Aristotle proposes in 73b 26-27 ff., i.e., an attribute coextensive with the subject (an extensional feature) and predicated of the subject in itself (an (...) intensional feature). Kata sumbebekos knowledge, on the other hand, can occur even when the predicate of a conclusion is coextensive with its subject and is proved by a convertible meson which is not the most appropriate from an explanatory standpoint. (shrink)

I have two aims in this paper. First, I argue that, in Aristotle’s theory of the four causes, there is a basic and common feature by which all causes are causes: they all work in a triadic framework in which they explain why a given attribute holds of a given underlying thing. Secondly, I argue against a version of “compatibilism” according to which each kind of cause is complete in its own domain and does not compete with any other kind. (...) I claim that there are priority relations according to which some kinds of cause are subordinated to others, even if these relations do not hold in every cases. (shrink)

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

Eu examino cada meandro do esforço de Aristóteles identificar vários usos de termos filosóficos essenciais em sua Metafísica, V.9-17.

What makes certain scientific research controversial? And when does scientific research go beyond being merely controversial to be something far worse? We propose a diagnostic framework for distinguishing between scientific research that is merely controversial and that which is abhorrent. Our framework places research projects along two axes of a value‐harm map. Most research, fortunately, is both valuable and harmless. However, research may be controversial if it is either valuable but harmful or harmless but valueless. The most concerning quadrant of (...) our value‐harm map includes research that is both valueless and harmful, which is abhorrent science. The article's analysis considers a series of case studies, highlighting “new genomic race science” as an exemplar of abhorrent science. (shrink)

This paper attempts to clarify the nature and the importance of a third kind of sophistic argument that is not always found in the classification of those arguments in the secondary literature. An argument of the third kind not only is a valid one, but is also constituted of true propositions. What makes it a sophistic argument is the fact that it produces a false semblance of scientific explanation: its explanation seems to be appropriate to the explanandum without being so. (...) Evidence from this kind of argument comes from Sophistic Refutations 11, and Brison’s attempt to square the circle should be counted as one of its instances. (shrink)

We use the primitive ontology framework of Allori et al. to analyze the quantum information-theoretic interpretation of Bub and Pitowsky. There are interesting parallels between the two approaches, which differentiate them both from the more standard realist interpretations of quantum theory. Where they differ, however, is in terms of their commitments to an underlying ontology on which the manifest image of the world supervenes. Employing the primitive ontology framework in this way makes perspicuous the differences between the quantum information-theoretic interpretation, (...) and the various realist interpretations of quantum theory. It also allows us to identify a sense in which the commitments of quantum information-theoretic interpretation are underspecified. Several possible ways of completing the interpretation are presented, and it is suggested that the most likely strategy would leave the information-theoretic interpretation such that it would fail to qualify as a theory, according to the primitive ontology approach. (shrink)

Whatever else one might say concerning the legality, morality, and prudence of his actions, Edward Snowden, the former U.S. National Security Agency contractor, is right about the notion of publicity and informed consent, which together constitute the hallmark of democratic public policy. In order to be morally justifiable, any strategy or policy involving the body politic must be one to which it would voluntarily assent when fully informed about it. This, in essence, was Snowden's argument for leaking, in June 2013, (...) the documents that revealed the massive NSA surveillance program: So long as there's broad support amongst a people, it can be argued there's a level of legitimacy even to the most invasive and morally wrong program, as it was an informed and willing decision.... However, programs that are implemented in secret, out of public oversight, lack that legitimacy, and that's a problem. It also represents a dangerous normalization of “governing in the dark,” where decisions with enormous public impact occur without any public input. (shrink)

Algorithms, or rather algorithmic actions, are seen as problematic because they are inscrutable, automatic, and subsumed in the flow of daily practices. Yet, they are also seen to be playing an important role in organizing opportunities, enacting certain categories, and doing what David Lyon calls “social sorting.” Thus, there is a general concern that this increasingly prevalent mode of ordering and organizing should be governed more explicitly. Some have argued for more transparency and openness, others have argued for more democratic (...) or value-centered design of such actors. In this article, we argue that governing practices—of, and through algorithmic actors—are best understood in terms of what Foucault calls governmentality. Governmentality allows us to consider the performative nature of these governing practices. They allow us to show how practice becomes problematized, how calculative practices are enacted as technologies of governance, how such calculative practices produce domains of knowledge and expertise, and finally, how such domains of knowledge become internalized in order to enact self-governing subjects. In other words, it allows us to show the mutually constitutive nature of problems, domains of knowledge, and subjectivities enacted through governing practices. In order to demonstrate this, we present attempts to govern academic writing with a specific focus on the algorithmic action of Turnitin. (shrink)

Henrich et al. propose that humans are genetically equipped with learning mechanisms that enable them to acquire the preferences and beliefs related to economic prosocial behaviors. In addition to their cross-cultural data, they cite developmental evidence in support of this theory. We challenge Henrich et al.'s interpretation of the developmental data in a discussion of recent work which suggests that preferences for altruism and fairness may have an innate basis.

This paper examines Aristotle’s notion of priority with the specific aim of capturing the sort of priority that characterizes the primacy of substances in his metaphysics. I reject the traditional interpretation, which understands the ontological priority of substances in terms of independent existence. But there are rather two sorts of priority: the ontological priority of substances should be understood in terms of completeness, whereas the ontological priority of “substances-of-something” (the essences) is a causal-explanatory priority. Furthermore, an important piece of Aristotle’s (...) argument against Platonism is that these two sorts of priority – namely, the completeness priority and the causal-explanatory priority – should be kept distinct. (shrink)

In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot (...) accept her own definition of validity because it is given in a classical meta-theory. It is often suggested that this mismatch between the consequence relation of the account being espoused and the consequence relation of the meta-theory is a serious embarrassment. The main goal of the paper is to explore whether certain substructural accounts of the paradoxes can avoid this sort of embarrassment. Typically, these accounts are expressively incomplete, since they cannot assert in the object language that certain invalid arguments are in fact invalid. To overcome this difficulty I develop a novel type of hybrid proof-procedure, one that takes invalidities to be just as fundamental as validities. I prove that this proof-procedure enjoys a number of interesting properties and I analyze the prospects of applying it to languages capable of expressing self-referential statements. (shrink)

I discuss the argument Aristotle ascribes to Parmenides at Physics 186a23-32. I discuss (i) the reasons why Aristotle considers it as eristic and inconclusive and (i) the solution (lusis) Aristotle proposes against it.

"Lucas' book competently brings Whitehead's philosophy into dialogue with "analytic" philosophy. This is a topic of great originality and considerable potential importance for the field of philosophy.

This paper discusses some issues concerning the definition of moral virtue in Nicomachean Ethics 1106b 36- 1107a 2. It is reasonable to expect from a definition the complete enumeration of the relevant features of its definiendum, but the definition of moral virtue seems to fail in doing this task. One might be tempted to infer that this definition is intended by Aristotle as a mere preliminary account that should be replaced by a more precise one. The context of the argument (...) Aristotle develops in Book II of his NE give us some help. I argue that the definition of moral virtue, once considered in the light of its context, is far from being an incomplete and provisional account: it rather introduces coherently the same notion of moral virtue that Aristotle employs in other texts (as in Nicomachean Ethics VI 13). My main proposal is that the way in which "hexis" is understood in the context of previous chapters allows Aristotle to encode in it the notion of an ability to do the right things regularly. Thus, moral virtue is a "hexis prohairetike etc.", but the ability to do the right things regularly is already encoded in the occurrence of "hexis" in the definiens account of moral virtue, as if Aristotle meant "hexis [praktike] prohairetike". (shrink)

Public participation in scientific research has gained prominence in many scientific fields, but the theory of participatory research is still limited. In this paper, we suggest that the divergence of values and goals between academic researchers and public participants in research is key to analyzing the different forms this research takes. We examine two existing characterizations of participatory research: one in terms of public participants' role in the research, the other in terms of the virtues of the research. In our (...) view, each of these captures an important feature of participatory research but is, on its own, limited in what features it takes into account. We introduce an expanded conception of norms of collaboration that extends to both academic researchers and public participants. We suggest that satisfying these norms requires consideration of the two groups' possibly divergent values and goals, and that a broad characterization of participatory research that starts from participants' values and goals can motivate both public participants’ role in the research and the virtues of the research. The resulting framework clarifies the similarities and differences among participatory projects and can help guide the responsible design of such projects. (shrink)

This paper discusses the contrast between scientific knowledge and opinion as it is presented by Aristotle in Posterior Analytics A.33. Aristotle's contrast is formulated in terms of understanding or not understanding some "necessary items". I claim that the contrast can only be understood in terms of explanatory relevance. The "necessary items" are middle terms (or explanatory factors) that are necessary for the fully appropriate explanation. This approach gives a coherent interpretation of each step in the chapter.

I discuss Aristotle's anomalous terminology in Physics A.1 (involving "universals" and "particulars") and its coherence with Aristotle's notion of scientific demonstration.

In this paper I examine the genesis of Kant’s conception of a realm of ends, arguing that Kant first started to think of morality in terms of striving to be a member of a realm of ends, understood as an ideal community, in the early 1760s, and that he was influenced in this by his encounter with the Swedish mystic Emanuel Swedenborg. In 1766 Kant published Dreams of a Spirit Seer, a commentary on Swedenborg’s magnum opus, Heavenly Secrets. Most commentators (...) take Kant’s attitude towards Swedenborg to have been entirely negative, and argue that, at the most, Kant’s encounter with him had a purely negative impact on Kant’s development, inducing him to reject certain of his early metaphysical positions. I argue, in contrast, that Swedenborg had a positive influence on Kant’s development, particularly on his ethics, for Kant’s conception of a realm of ends is modeled on Swedenborg’s conception of heaven as a community of spirits governed by moral laws. (shrink)

Information and communication technology is changing many aspects ofhuman endeavour and existence. This is beyond dispute for most. Whatare contested are the social and ethical implications of thesechanges. Possible sources of these disputes are the multiple ways inwhich one can conceptualize and interpret the informationtechnology/society interrelationship. Each of these ways ofconceptualization and interpretation enables one to see theinformation technology/society relationship differently and thereforeconstrue its social and ethical implications in a different manner. Atthe center of this technology/society interrelationship we find manycomplex (...) questions about the nature of the human, the technical,agency, autonomy, freedom and much more. This is indeed a vastintellectual landscape, which can obviously not be explored here inits fullness. This entry is about just one particular perspective onthis landscape. It is primarily concerned with the phenomenologicalapproach to interpreting information technology and its social andethical implications. It should be noted from the start that there isnot a unified phenomenological tradition or approach to informationtechnology in particular, or other phenomena more generally. Thephenomenological tradition consists of many different approaches thatshare certain characteristics but not all. We may however suggest, with Don Ihde,that they all accept that “phenomenology investigates theconditions of what makes things appear as such [as that which we takethem to be].” Differently stated, phenomenology suggests thatthere is a co-constitutive relationship between us and the phenomenawe encounter in our engagement with the world. In this sensephenomenologists would suggest that to understand thetechnology/society relationship we need to reveal how theyco-constitute each other—i.e. draw on each other for theirongoing meaning and sense. We will elaborate more precisely what thismeans in section 2 below. However, in order to understand the distinctiveness of thephenomenological approach other possible ways of interpreting thistechnology/society relationship will also be outlined brieflybelow., It can be said that information technology has become in a very realsense ubiquitous. Most everyday technologies such as elevators,automobiles, microwaves, watches, and so forth depend onmicroprocessors for their ongoing operation. Most organizations andinstitutions have become reliant on their information technologyinfrastructure to a lesser or greater degree. Indeed informationtechnology is seen by many as a cost-efficient way to solve amultitude of problems facing our complex contemporary society. One canalmost say that information technology has become construed as thedefault technology for solving a whole raft of technical and socialproblems such as health provision, security, governance, etc. Onecould also argue that it has become synonymous with society’sview of modernization and progress. For most it seems obvious thatinformation technology has made it possible for humans to continue toconstruct increasingly complex systems of coordination and socialordering—systems without which contemporary society would not beable to exist in its present form. To say the least, we, ascontemporary human beings, have our manner of being made possiblethrough a rather comprehensive entanglement with information andcommunication technology. Indeed, the economic, organizational andsocial benefit of information technology is not widely disputed. Thedispute is more often about the way information technology is changingor transforming the social domain, and in particular, the ethicaldomain. This dispute is largely centered around different ways ofconceptualizing and interpreting the nature of our entanglement withinformation technology. This debate is not merely an academic debateabout different and competing theoretical ‘models.’Rather, these different ways of conceptualizing it is central to ourunderstanding of how we go about managing our increasingly entangledrelationship with information technology. (shrink)

Non‐classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This idea has come to be known in the literature as ‘classical recapture’. Recently, classical logicians have raised various doubts about it. The main problem is said to be that no rigorous explanation has been given of how is it exactly that classical logic can be recovered. The goal of the paper is (...) to address this problem. First, I discuss a number of different ways to characterize the idea of classical recapture and I examine how far it can be pushed. Secondly, I argue that a palatable form of classical recapture is given by the thought that classical logic can be retained for statements that are grounded (in Kripke’s sense). To substantiate this view I provide a formal fixed‐point semantics for a language containing a predicate standing for the concept of groundedness and I address a couple of objections that have been deployed against the claim that classical recapture can aid the non‐classical logician’s cause. (shrink)

Proclus, head of the Philosophy School at Athens for fifty years, was one of the leading philosophical figures in Late Antiquity. Lucas Siorvanes here introduces Proclus to English-language readers, discussing his metaphysics and theory of knowledge and focusing in particular on his Neo-Platonism. Proclus lived in the turbulent fifth century A.D., a time of struggles among Christians, Jews, and pagans, the invasion of Attila the Hun, the fall of the Western Roman Empire, and the rise of the Eastern Roman (...) Empire in Byzantium. While Late Antiquity has been regarded as a time of superstition and forbiddingly complex philosophies, recent scholarship has shown it to be full of cultural and intellectual vigor. During Proclus's tenure as head of the Philosophy School, he systematized Neo-Platonism as the summit of ancient Greek thought, brought it to its peak of influence, and became responsible for the form in which it was transmitted to the Byzantine, Western European, and Islamic civilizations. Siorvanes's extensive original research presents Proclus as much more than just a metaphysician. He surveys all of Proclus's philosophical interests—including religion, physics, astronomy, mathematics, and poetry—revealing the philosopher's central concern with the problems of being and knowledge and relating the ideas of Proclus to those of such other major thinkers as Plato, Aristotle, and Ptolemy. To help the newcomer, Siorvanes supplies more than 200 quotations from Proclus's works. He also traces the impact of Proclus's Neo-Platonism across cultures, religions, and centuries, in such diverse areas as Christian and Islamic theologies, Renaissance art, Kepler's astronomy, Romantic poetry, Emerson's thought, modern philosophy and science, and current popular phrases. (shrink)

At some point in the Incessu Animalium, Aristotle appeals to some geometrical claims in order to explain why animal progression necessarily involves the bending (of the limbs), and this appeal to geometrical claims might be taking as violating the recommendation to avoid “kind-crossing” (as found in the Posterior Analytic). But a very unclear notion of kind-crossing has been assumed in most debates. I will argue that kind-crossing in the Posterior Analytics does not mean any employment of premises from a discipline (...) other than that to which the explanandum belongs. Kind-crossing was meant to cover a specific sort of employment of premises from a different discipline, namely, the case in which premises from a discipline X are taken as the most important explanatory factor that delivers the fullest appropriate explanation of an explanandum within discipline Y. If this is so, the employment of geometrical premises in the Incessu Animalium is not an instance of the prohibited kind-crossing, but something that is in line with the theory of the Posterior Analytics. (shrink)

I discuss three kinds of relationship between ends and means (or "things that promote ends") in the Aristotelian ethical theory, in order to clarify how moral virtues and phronesis are related both in adopting ends and in determining means for virtuous actions. Phronesis seems to be mainly charged with determining means for an end given by the moral virtues, but it must involve some conception of ends too. Phronesis cannot be parasitic on moral virtue concerning the conception of ends, for (...) otherwise it will lack intrinsic moral value. I argue that the intrinsic moral value of phronesis can be better understood through a certain kind of relation between means and ends that has not received much attention. (shrink)

Según se considere cuál es el ámbito de investigación al que debe circunscribirse la lógica y en qué consiste propiamente el conocimiento, tendremos una u otra idea de cómo los valores están relacionados con estos ámbitos de la actividad humana. En este artículo investigo críticamente la postura filosófica agnóstica de Wittgenstein en torno a los años en que escribió el Tractatus, las tesis neopragmatistas de Putnam y la fenomenología genética de Husserl en tanto que doctrinas relevantes para el estudio de (...) las relaciones entre la lógica, el conocimiento y el valor. (shrink)

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot (...) of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference. (shrink)