U svetu arhajskog čoveka -- Kožev--"posthumni" mislilac -- Žan Delimo ili apologija pesimizma -- Pitanje tragedije.

The nature of moral judgments, and, more specifically, the question of how they relate, on the one hand, to objective reality and, on the other, to subjective experience, are issues that have been central to metaethics from its very beginnings. While these complex and challenging issues have been debated by analytic philosophers for over a century, it is only relatively recently that more interdisciplinary and empirically-oriented approaches to such issues have begun to see light. The present chapter aims to make (...) a contribution of that kind. We will present the results of an empirical – specifically, corpus linguistic – study that offers evidence that moral predicates exhibit hallmarks of subjectivity at the linguistic level, but also, that they differ significantly from paradigmatically subjective predicates. (shrink)

Among semanticists and philosophers of language, there has been a recent outburst of interest in predicates such as delicious, called predicates of personal taste (PPTs, e.g. Lasersohn 2005). Somewhat surprisingly, the question of whether or how we can distinguish aesthetic predicates from PPTs has hardly been addressed at all in this recent work. It is precisely this question that we address. We investigate linguistic criteria that we argue can be used to delineate the class of specifically aesthetic adjectives. We show (...) that there are, in fact, good motivations for keeping PPTs and aesthetic predicates apart: the semantic structure of the former, but not the latter, entails an experiencer. There are many adjectives whose semantic structure arguably also entails an experiencer, yet which are readily used in expressing aesthetic judgments. Adjectives such as provocative or moving are a case in point, since as adjectives they arguably maintain the experiencer argument from the verb they are derived from. Nevertheless, when we describe, say, a sculpture as provocative, or a theater performance as moving, we clearly make aesthetic judgments. The difficult question, then, is to articulate the relationship between an aesthetic predicate (of which beautiful and ugly are paradigms) and other predicates that just happen to be used in making an aesthetic judgment. Tightly related to this point is the more general question of the relationship between an evaluative predicate and a predicate that occurs in an evaluative judgment. One of our aims is to make some progress in addressing these questions. (shrink)

In this paper, the authors present a presuppositional account for a class of evaluative terms that encode both a descriptive and an evaluative component: slurs and thick terms. The authors discuss several issues related to the hybrid nature of these terms, such as their projective behavior, the ways in which one may reject their evaluative content, and the ways in which evaluative content is entailed or implicated (as the case may be) by the use of such terms.

The great variety of meditation techniques found in different contemplative traditions presents a challenge when attempting to create taxonomies based on the constructs of contemporary cognitive sciences. In the current issue of Consciousness and Cognition, Travis and Shear add ‘automatic self-transcending’ to the previously proposed categories of ‘focused attention’ and ‘open monitoring’, and suggest characteristic EEG bands as the defining criteria for each of the three categories. Accuracy of current taxonomies and potential limitations of EEG measurements as classifying criteria are (...) discussed. (shrink)

It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with “graphs” (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.

It is proved that MacLane''s coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with graphs (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.

The recent proliferation of types and accounts of experimentation in sustainability science still lacks philosophical reflection. The present paper introduces this burgeoning topic to the philosophy of science by identifying key notions and dynamics in sustainability experimentation, by discussing taxonomies of sustainability experimentation and by focusing on barriers to the transfer of evidence. It integrates three topics: the philosophy of experimentation; the sustainability science literature on experimentation; and discussions on values in science coming from the general philosophy of science, the (...) social sciences, and sustainability science. The aim is to improve understanding of how sustainability experimentation has evolved, from a broader picture of the history and philosophy of science, with a specific focus on understanding evidence production and how evidence traveling in and from sustainability experiments can be improved, particularly in the context of complex and pervasive normative commitments of the research. By engaging in these topics, this research is one of the first philosophical accounts of sustainability experimentation, contributing both to the knowledge on specific philosophies of science and to the further development of an evidence-based sustainability science through a better understanding of the barriers to more relevant and usable knowledge. (shrink)

The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend |$\textbf {PTEL}$| to axiomatize the corresponding first-order logic.

We study a propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| with both future and past temporal operators, with non-rigid set of agents and the operators for agents’ knowledge and for common knowledge and with probabilities defined on the sets of runs and on the sets of possible worlds. A semantics is given by a class |${\scriptsize{\rm Mod}}$| of Kripke-like models with possible worlds. We prove decidability of |$\textbf {PTEL}$| by showing that checking satisfiability of a formula in |${\scriptsize{\rm Mod}}$| is (...) equivalent to checking its satisfiability in a finite set of finitely representable structures. The same procedure can be applied to the class of all synchronous |${\scriptsize{\rm Mod}}$|-models. We give an upper complexity bound for the satisfiability problem for |${\scriptsize{\rm Mod}}$|⁠. (shrink)

Development of biopharmaceuticals is a challenging issue in bioethics. Unlike conventional, small molecular weight drugs, biopharmaceuticals are proteins derived from DNA technology and hybrid techniques with complex three dimensional structures. Immunogenicity of biopharmaceuticals should always be tested in clinical settings due to low predictive value of preclinical animal models. However, non-human primates and transgenic mice could be used to address certain aspects of immunogenicity. Substantial efforts have been made to reduce NHP use in biopharmaceutical drug development, e.g. study design improvements (...) and changes in regulatory policy. In addition, several expert groups are active in this field. Despite that, there is an increasing trend of use of NHP in preclinical safety testing of biopharmaceuticals, especially regarding monoclonal antibodies. Other potential bioethical issues related biopharmaceutical drug development are their cost/effectiveness ratio, clinical safety assessment, production of biosimilars, and comparison of their efficacy with placebo in countries without intention to market. Identification of the human genome has opened many new bioethical issues. Development of biopharmaceuticals is an important bioethical issue for several reasons. It connects all aspects of contemporary bioethics: bio?medicine, animal welfare and the most recent ad?vances in biotechnology. In particular, biopharmaceutical drug development is a challenging issue regarding treatment of rare diseases. Razvoj biofarmaceutika predstavlja izazov u bioetici. Za razliku od uobicajenih lekova male molekulske mase, biofarmaceutici su proteini kompleksne trodimenzionalne strukture koji se dobijaju tehnologijom rekombinantne DNK i tehnikom hibridoma. Imunogenost biofarmaceutika treba uvek proveriti u klinickim studijama zbog male prediktivne prednosti pretklinickih animalnih modela. Medjutim, primati i transgeni sojevi miseva mogu se upotrebiti da bi se naznacili neki aspekti imunogenosti. Znacajni napori su ucinjeni u cilju smanjenja upotrebe primata u razvoju biofarmaceutika, npr. poboljsanja dizajna istrazivanja i promene u zakonskoj regulativi. Osim toga, u ovoj oblasti su aktivne i pojedine ekspertske grupe. Uprkos tome, postoji rastuci trend upotrebe primata izuzev coveka u pretklinickom ispitivanju bezbednosti biofarmaceutika, posebno kada su u pitanju monoklonska antitela. Druga bioeticka pitanja koja se mogu dovesti u vezu sa razvojem biofarmaceutika su odnos njihove cene i efikasnosti, procena bezbednosti u klinickim uslovima, proizvodnja bioloski slicnih lekova i uporedjivanje njihove efikasnosti sa placebom u zemljama u kojima ne postoji namera o plasmanu. Upoznavanje humanog genoma otvorilo je mnoga bioeticka pitanja. Razvoj biofarmaceutika je vazno bioeticko pitanje iz vise razloga. Ono povezuje sve aspekte savremene bioetike: biomedicinu, dobrobit zivotinja i najnovija dostignuca u biotehnologiji. Posebno, razvoj biofarmaceutika je izazov kada je u pitanju lecenje retkih bolesti. (shrink)

Razvoj biofarmaceutika predstavlja izazov u bioetici. Za razliku od uobicajenih lekova male molekulske mase, biofarmaceutici su proteini kompleksne trodimenzionalne strukture koji se dobijaju tehnologijom rekombinantne DNK i tehnikom hibridoma. Imunogenost biofarmaceutika treba uvek proveriti u klinickim studijama zbog male prediktivne prednosti pretklinickih animalnih modela. Medjutim, primati i transgeni sojevi miseva mogu se upotrebiti da bi se naznacili neki aspekti imunogenosti. Znacajni napori su ucinjeni u cilju smanjenja upotrebe primata u razvoju biofarmaceutika, npr. poboljsanja dizajna istrazivanja i promene u zakonskoj regulativi. (...) Osim toga, u ovoj oblasti su aktivne i pojedine ekspertske grupe. Uprkos tome, postoji rastuci trend upotrebe primata izuzev coveka u pretklinickom ispitivanju bezbednosti biofarmaceutika, posebno kada su u pitanju monoklonska antitela. Druga bioeticka pitanja koja se mogu dovesti u vezu sa razvojem biofarmaceutika su odnos njihove cene i efikasnosti, procena bezbednosti u klinickim uslovima, proizvodnja bioloski slicnih lekova i uporedjivanje njihove efikasnosti sa placebom u zemljama u kojima ne postoji namera o plasmanu. Upoznavanje humanog genoma otvorilo je mnoga bioeticka pitanja. Razvoj biofarmaceutika je vazno bioeticko pitanje iz vise razloga. Ono povezuje sve aspekte savremene bioetike: biomedicinu, dobrobit zivotinja i najnovija dostignuca u biotehnologiji. Posebno, razvoj biofarmaceutika je izazov kada je u pitanju lecenje retkih bolesti. (shrink)

Since in Heyting Arithmetic all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical structures models of Peano Arithmetic ? And dually: if a collection of models of PA, partially ordered by the submodel relation, is regarded as a Kripke model, is it a model of HA? Some partial answers to these (...) questions were obtained in [6], [3], [1] and [2]. Here we present some results in the same direction, announced in [7]. In particular, it is proved that the classical structures at the nodes of a Kripke model of HA must be models of IΔ1 and that the relation between these classical structures must be that of a Δ1-elementary submodel. MSC: 03F30, 03F55. (shrink)

It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in terms of natural transformations equipped with “graphs” (g-natural transformations) and corresponding morphism theorems are given as consequences. Using these results, some basic relations between the free categories of these classes are obtained.

An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical transformations are dinatural. An alternative sequent system for intuitionistic propositional logic is introduced as a device, and a cut-elimination procedure is established for this system.

In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show that the positive fragment of the da Costa system is distributive lattice logic, and we apply a kind of da Costa weakening of negation, by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion, and additivity for distributive lattices. The other stronger paraconsistent logic with constructive negation is obtained by adding an axiom for multiplicative property of weak negation. After that, (...) we define Kripke-style semantics based on possible worlds and derive from it many-valued semantics based on truth-functional valuations for these two paraconsistent logics. Finally, we demonstrate that this model-theoretic inference system is adequate—sound and complete with respect to the axiomatic da Costa-like systems for these two logics. (shrink)

This paper argues that there is a class of terms, or uses of terms, that are best accounted for by an expressivist account. We put forward two sets of criteria to distinguish between expressive and factual terms. The first set relies on the action-guiding nature of expressive language. The second set relies on the difference between one's evidence for making an expressive vs. factual statement. We then put those criteria to work to show, first, that the basic evaluative adjectives such (...) as ‘good’ have expressive as well as factual uses and, second, that many adjectives whose primary meanings are factual, such as ‘powerful’, also have expressive uses. (shrink)

We present two experimental studies on the Italian expressive ‘stronzo’. The first study tests whether, and to which extent, the acceptability of using an expressive is sensitive to the information available in the context. The study looks both at referential uses of expressives and predicative uses of expressives. The results show that expressives are sensitive to contextual information to a much higher degree than the non-expressive control items in their referential use, but also, albeit to a lesser degree, in their (...) predicative use. The second study tests whether the lower acceptability of expressives in their predicative use may be simply due to saying something negative about someone. A comparison between expressives, such as ‘jerk’, and non-expressive negative terms, such as ‘nasty’ or ‘unbearable’, suggests that it is the expressive nature of these terms, rather than the mere negative valence, that affects acceptability. Our studies present a major challenge to the existing accounts of expressives, and raise several theoretical issues that still call for an answer. (shrink)

Let us imagine an actor on stage presenting an impersonation of a certain politician, his manners and his body language. Now, suppose another actor sitting in the audience, impressed by the show and deciding to adopt something of his colleague’s style. He rents another stage and presents an impersonation of the same politician according to what he has learned. What does he actually do? In a certain sense he “imitates” the politician, but in another sense he “imitates” the first actor, (...) whose theatrical style he has adopted.These of course are two entirely different activities, but language marks them both as “imitation.” This lack of differentiation is not a caprice of a particular language; even languages that.. (shrink)

In this paper we consider the class of truth-functional modal many-valued logics with the complete lattice of truth-values. The conjunction and disjunction logic operators correspond to the meet and join operators of the lattices, while the negation is independently introduced as a hierarchy of antitonic operators which invert bottom and top elements. The non-constructive logic implication will be defined for a subclass of modular lattices, while the constructive implication for distributive lattices (Heyting algebras) is based on relative pseudo-complements as in (...) intuitionistic logic. We show that the complete lattices are intrinsically modal, with banal identity modal operator. We define the autoreferential set-based representation for the class of modal algebras, and show that the autoreferential Kripke-style semantics for this class of modal algebras is based on the set of possible worlds equal to the complete lattice of algebraic truth-values. The philosophical assumption is based on the consideration that each possible world represents a level of credibility, so that only propositions with the right logic value (i.e., level of credibility) can be accepted by this world, then we connect it with paraconsistent properties and LFI logics. The bottom truth value in this complete lattice corresponds to the trivial world in which each formula is satisfied, that is, to the world with explosive inconsistency. The top truth value corresponds to the world with classical logics, while all intermediate possible worlds represent the different levels of paraconsistent logics. (shrink)

U nacrtu ovog projekta raspravlja se o izazovima pred kojim se nalazi nacionalna drzava u dinamicnim procesima globalizacije. Prvo se nastoji odrediti pojam globalizacije kao decentralizovani proces kondenzacije i homogenizacije prostora i vremena a zatim se ukazuje na ambivalentnu strukturu diskursa o globalizaciji - njegovu semanticku i pragmaticku dimenziju. Potom se izlaze neoliberalno glediste o eroziji i slabljenju nacionalne drzave usled premoci globalnog kapitalistickog pogona, kako u pogledu njenih tradicionalnih funkcija tako i u pogledu njenog internog i eksternog suvereniteta. Protiv (...) neoliberalne teze o eroziji nacionalne drzave izneseni su mnogi uglavnom empirijski argumenti. Neki od njih su prezentovani u ovom tekstu. Poenta ove argumentacije sastoji se u generalnom stavu da izmedju erozije nacionalne drzave i procesa globalizacije ne postoji jaka veza. U skladu sa prezentovanom kritickom argumentacijom tvrdi se da u uslovima globalizacionih procesa samo ona drustva iza kojih stoji jaka i stabilna drzava imaju izglede na uspeh. Politika a ne ekonomija i dalje dominira medjunarodnim odnosima. Naglasavanje momenta drzavne politike otvara novu perspektivu u razmatranju procesa globalizacije. Tekuci globalizacioni procesi ne mogu se razumeti nezavisno od geopolitickih interesa i promene balansa svetske moci. Tekst se zavrsava ukazivanjem na ideologicnost neoliberalnog diskursa o globalizaciji propitivanjem druge bazicne i nereflektovane pretpostavke ovog diskursa po kojoj su procesi globalizacije u isto vreme i procesi emancipacije. Osporavanjem nuzne veze izmedju globalizacije i emancipacije gradi se pozicija sa koje je moguca normativna kritika tekucih procesa. (shrink)

Članak tematizira ulogu kompleksnog mišljenja u razvoju znanstvene spoznaje i mišljenja općenito. Po Vigotskom, kompleksno mišljenje je početna faza u ontogenezi, pa i filogenezi, ljudskog mišljenja i ono je u tom slijedu predpojmovno. Prema istom autoru, ono ima svoju unutarnju genezu koja započinje asocijativnim kompleksima, a završava pseudopojmovima. Kompleksno mišljenje je po svojoj bitifluidno, neograničeno i omogućuje prenošenje značenja. Smatramo da kompleksno mišljenje dolazi do izraza prije svega u uporabi metafora i analogija. Metafore i analogije imaju važnu eksplanatornu i ponekad (...) čak heurističku ulogu u znanstvenom mišljenju. Kompleksno mišljenje dolazi do izražaja na svim razinama i etapama razvoja znanstvenog mišljenja. Metafore mogu biti dijelom kompleksnog mišljenja kao dominantnog načina mišljenja ili u pojmovnoj strukturi kao pomoćni elementi objašnjenja. Analogije predstavljaju izvjesno strukturiranje kompleksnog i pojmovnogmišljenja.Članak tematizira ulogu kompleksnog mišljenja u razvoju znanstvene spoznaje i mišljenja općenito. Po Vigotskom, kompleksno mišljenje je početna faza u ontogenezi, pa i filogenezi, ljudskog mišljenja i ono je u tom slijedu predpojmovno. Prema istom autoru, ono ima svoju unutarnju genezu koja započinje asocijativnim kompleksima, a završava pseudopojmovima. Kompleksno mišljenje je po svojoj bitifluidno, neograničeno i omogućuje prenošenje značenja. Smatramo da kompleksno mišljenje dolazi do izraza prije svega u uporabi metafora i analogija. Metafore i analogije imaju važnu eksplanatornu i ponekad čak heurističku ulogu u znanstvenom mišljenju. Kompleksno mišljenje dolazi do izražaja na svim razinama i etapama razvoja znanstvenog mišljenja. Metafore mogu biti dijelom kompleksnog mišljenja kao dominantnog načina mišljenja ili u pojmovnoj strukturi kao pomoćni elementi objašnjenja. Analogije predstavljaju izvjesno strukturiranje kompleksnog i pojmovnogmišljenja. (shrink)

The paper is on the role of complex thought in the development of thought and scientific knowledge. According to Vigotsky, the complex thought is the first phase in the ontogenesis and phylogenesis of human thought. It is in this sense pre-conceptual. Also, according to Vigotsky, the complex thought has its internal genesis which begins with associative complexes and ends in pseudo-concepts. Complex also an explanatory role in scientific thought. Complex thought ppears on all levels and stages of the development of (...) scientific knowledge. Metaphors may appear in the complex thought as a dominant mode of thought or in the conceptual structure as the auxiliary in the explanation. Analogies present a certain structuration of the complex thought, which contributes to the creation of conceptual structure. The place of analogy is thus between a complex thought and conceptual thought. (shrink)

Raspravljamo o ulozi predpojmovnog kompleksnog mišljenja u znanstvenoj spoznaji i razvoju znanosti. Kompleksno mišljenje sa svom heterogenošću i imaginacijom omogućuje održavanje pojmovne strukture i reorganizaciju cjelokupnih teorijskih mreža, ali to “naplaćuje” latentnim prisustvom protuslovlja i nekonzistentnosti.Članak se nastavlja na našu analizu odnosa između kompleksnog i pojmovnog mišljenja u Aristotelovoj Fizici. Ako je kod Aristotela središnji kompleks pojam “mjesta”, kod Galileija je osnovni kompleks zbirka gibanja-stanja. Galilei još nema izrađenu potpunu pojmovnu strukturu mehanike pa možemo reći da je njegova teorijska osnova (...) uronjena u kompleksnu razinu, ali se oslanja na matematičku strukturu i eksperiment i time uspijeva formirati jednu stabilnu teorijsku organizaciju. Time dobiva osnovu za novu teorijsku sistematizaciju i za formiranje pojmovne strukture kakva je Newtonova. Možemo u izvjesnom smislu reći da je time kompleksno mišljenje u znanosti bilo podignuto na višu razinu i dovedeno u pred-paradigmično razdoblje.We discuss the role of the pre-conceptual complex thought in scientificknowledge and in the development of science. The heterogeneity and imagination of complex thought enables the preservation of the conceptual structure and helps reshape entire theoretical nets, however, its downside is reflected in its latent contradiction and inconsistency. This paper is a continuation of our analysis of the relationship between complex and conceptual thought in Aristotle’s Physics. If Aristotle’s central complex is the notion of “place”, then Galileo’s basic complex is the notion of “ movement”. Since Galileo didn’t have an elaborated conceptual structure of mechanics, we can say that his theoretical basis is “steeped” in the level of complex thought, yet it relies on the mathematical structure and experiment, thereby creating a stable theoretical organization which serves as a basis for the new theoretical systematization and for the shaping of a conceptual structure as Newton’s. Thus, we may claim that, in a certain way, this change raised complex thought in science to a higher level, and brought it to a pre-paradigmatic period. (shrink)

Raspravljamo o ulozi predpojmovnog kompleksnog mišljenja u znanstvenoj spoznaji i razvoju znanosti. Kompleksno mišljenje sa svom heterogenošću i imaginacijom omogućuje pojmovne strukture i reorganizaciju cjelokupnih teorijskih mreža, ali to 'naplaćuje' latentnim prisustvom protislovja i nekonzistentnosti. Galilei još nema izrađenu potpunu pojmovnu shemu mehanike, pa možemo reći da je njegove teorijska osnova uronjena u kompleksnu razinu, ali se oslanja na matematičku strukturu i eksperiment i time uspjeva formirati jednu stabilnu teorijsku organizaciju. Možemo u izvesnom smislu reći da je time kompleksno mišljenje (...) u znanosti bilo podignuto na višu razinu i dovedeno u pred-paradigmatično razdoblje. (shrink)