Starting from the generalized concept of syntactically and semantically trivial differences between two formal theories introduced by Arsenijević, we show that two systems of the linear continuum, the Cantorian point-based system and the Aristotelian interval-based system that satisfies Cantor's coherence condition, are only trivially different. So, the 'great struggle' (to use Cantor's phrase) between the two contending parties turns out to be 'much ado about nothing'.

The talk deals with Aristotle’s famous sea-battle problem concerning the truth values of sentences about contingent future events: If an utterance of the sentence “There will be a sea battle tomorrow” is true, then it seems that it is determined that there will be a sea battle tomorrow. For otherwise, how could the utterance be true? If, however, an utterance of the sentence “There will be a sea battle tomorrow” is false, then it seems that it is determined that there (...) will be no sea battle tomorrow. For otherwise, how could the utterance be false? Thus, it seems that it is determined whether there will be a sea battle tomorrow or not – and so for any future event whatsoever. This, however, is in conflict with the assumption that there is such a thing as an open future, i.e., that at least for some future events, it is not determined whether they will take place or not. Some have argued, in light of this problem, that sentences about f uture events are neither true nor false. In this talk, however, it shall be argued that the sea-battle problem can be resolved in an intuitively plausible manner without giving up the principle of bivalence. (shrink)

It is shown how the temporal-modal system of events TM (axiomatized in Appendix) allows for the avoidance of the logical determinism without the rejection of the principle of bivalence. The point is that the temporal and the modal parts of TM are so inter-related that modalities are in-the-real-world-inherent modalities independently of whether they concern actual or only possible events. Though formulated in a tenseless language, whose interpretation does not require the assumption of tense facts at the basic level of reality, (...) TM implies an objective, observer-independent difference between tenses based only on the way in which modalities are distributed along the time continuum. The conclusion is that the arrow of time is an intra-model characteristic of any model of TM that describes the non-deterministic real world up to a certain point of its history, while the flow of time is an inter-model characteristic of the continuous transition between these models. (shrink)

A set of axioms implicitly defining the standard, though not instant-based but interval-based, time topology is used as a basis to build a temporal modal logic of events. The whole apparatus contains neither past, present, and future operators nor indexicals, but only B-series relations and modal operators interpreted in the standard way. Determinism and indeterminism are then introduced into the logic of events via corresponding axioms. It is shown that, if determinism and indeterminism are understood in accordance with their core (...) meaning, the way in which they are formally introduced here represents the only right way to do this, given that we restrict ourselves to one real world and make no use of the many real worlds assumption. But then the result is that the very truth conditions for sentences about indeterministic events imply the existence of tensed truths, in spite of the fact that these conditions are formulated (in the indeterministic axiom) in terms of tenseless language. The tenseless theory of time implies determinism, while indeterminism requires the flow of time assumption. (shrink)

This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality – social, natural or ideal – and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of rationality, normativity and understanding, thus pointing to a wide range of potential applications. -/- -/- The papers collected in this volume address cutting-edge topics in contemporary discussions amongst specialists. (...) Some essays focus on the role of indispensability considerations in the justification of logical competence, and the wide range of challenges within the philosophy of mathematics. Others present advances in dynamic logical analysis such as extension of game semantics to non-logical part of vocabulary and development of models of contractive speech act. -/- Table of Contents: Introduction: Majda Trobok, Nenad Miščević and Berislav Žarnić.- I. Logical and Mathematical Structures.- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics: Stewart Shapiro.- Applied Mathemathics in the Sciences: Dale Jacquette.- The Philosophical Impact of the Löwenheim-Skolem Theorem: Miloš Arsenijević.- Debating (Neo)logicism: Frege and the neo-Fregeans: Majda Trobok.- II. Epistemology and Logic.- Informal Logic and Informal Consequence: Danilo Šuster.- Logical Consequence and Rationality: Nenad Smokrović.- Logic, Indispensability and Aposteriority: Nenad Miščević.- III . Dynamic Logical Models of Meaning.- Extended Game-Theoretical Semantics: Manuel Rebuschi.- Dynamic Logic of Propositional Commitments: Tomoyuki Yamada.- Is Unsaying Polite?: Berislav Žarnić.- IV Logical Methods in Ontological and Linguistic Analyses.- Towards a Formal Account of Identity Criteria: Massimiliano Carrara and Silvia Gaio.- A Mereology for the Change of Parts: Pierdaniele Giaretta and Giuseppe Spolaore.- Russell versus Frege: Imre Rusza.- Goodman’s OnlyWorld: Vladan Djordjević.-. (shrink)

Cieľom tohto článku nie je, primárne, rozobrať Popperovu teóriu vedy, ale 1. predstaviť Lakatosove námietky proti tejto teórii; 2. kriticky ich analyzovať z hľadiska Popperovej teórie; a 3. vysvetliť, prečo justifikacionista Lakatos nemohol oceniť Popperov skepticizmus.

Abstrakt/Abstract Článok argumentuje, že idea tzv. sociálneho obratu, ktorá pochádza z dielne normatívneho pragmatizmu a ktorú v jednom zo svojich textov propaguje aj Vojtech Kolman, neprináša žiadne ovocie, ak je prenesená do oblasti epistemológie. V závere článku je preto načrtnutá alternatívna interpretácia idey sociálneho obratu a jej dôsledky pre epistemológiu. The paper argues that the idea of the so-called social turn introduced by normative pragmatism, and promoted also by Vojtech Kolman in one of his papers, bears no fruit when transferred (...) to the field of epistemology. Therefore, an alternative interpretation of the idea of social turn, as well as its consequences for epistemology, is outlined at the end of the paper. (shrink)

Is it possible for a person to believe that an act is morally wrong even though he himself does not disapprove of such acts—except, perhaps, in those cases where he is the victim of such acts? Does it make sense to suppose that a person could judge that one is morally obligated to act in a certain way even though he himself has no disposition whatsoever to act in such a way? Although I am inclined to think that the ordinary (...) man would answer these questions in the affirmative, almost all moral philosophers today would answer in the negative. If one examines the views of contemporary moral philosophers, one finds that virtually all of them subscribe to the thesis known as “internalism.”. (shrink)

A maximal almost disjoint (mad) family $\mathscr{A} \subseteq [\omega]^\omega$ is Cohen-stable if and only if it remains maximal in any Cohen generic extension. Otherwise it is Cohen-unstable. It is shown that a mad family, A, is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the sets G[A], A ∈A are nowhere dense. An ℵ 0 -mad family, A, is a mad family with the property that given any countable family $\mathscr{B} \subset (...) [\omega]^\omega$ such that each element of B meets infinitely many elements of A in an infinite set there is an element of A meeting each element of B in an infinite set. It is shown that Cohen-stable mad families exist if and only if there exist ℵ 0 -mad families. Either of the conditions b = c or $\mathfrak{a} ) implies that there exist Cohen-stable mad families. Similar results are obtained for splitting families. For example, a splitting family, S, is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the boundaries of the sets G[S], S ∈S are nowhere dense. Also, Cohen-stable splitting families of cardinality ≤ κ exist if and only if ℵ 0 -splitting families of cardinality ≤ κ exist. (shrink)

The concept of cuteness, which can evoke positive emotions in people, is an essential aspect to consider in artificial intelligence design. This study aimed to investigate whether the use of baby schema designed avatars in computer-mediated communication elicits higher positive attitudes than neutral avatars and whether the ethnicity of the cute avatars influences individuals' perceived level of cuteness. 485 participants from Israel and Japan viewed six avatar images, including three baby schema avatars of different visual characteristics and ethnicities (Caucasian, Asian, (...) and Black) and three neutral avatars. Participants rated their attitudes on each avatar, and the results revealed that the baby schema designed avatars were rated cuter, more likable, approachable, and pleasant than the neutral mature avatars. Cultural differences were also evident, as the Caucasian baby schema avatar was rated cuter among Japanese participants, while the Asian and Black baby schema avatars were rated cuter among Israeli respondents. The study findings suggest that cute avatar design can serve as a powerful tool for promoting positive interactions in computer-mediated communication, especially in cultures that highly value cuteness, such as Japan. However, the subjective nature of cuteness is evident as attitudes toward cuteness varied significantly across cultures and individuals. This research highlights the significance of cultural diversity and emphasizes the importance of considering cuteness as a crucial aspect of artificial intelligence design, particularly when creating avatars intended to elicit positive emotions from users. Therefore, designers should be mindful of potential cultural and individual differences in the perception of cuteness while developing avatars for various applications. (shrink)

To model behavioral and neural correlates of language comprehension in naturalistic environments, researchers have turned to broad‐coverage tools from natural‐language processing and machine learning. Where syntactic structure is explicitly modeled, prior work has relied predominantly on context‐free grammars (CFGs), yet such formalisms are not sufficiently expressive for human languages. Combinatory categorial grammars (CCGs) are sufficiently expressive directly compositional models of grammar with flexible constituency that affords incremental interpretation. In this work, we evaluate whether a more expressive CCG provides a better (...) model than a CFG for human neural signals collected with functional magnetic resonance imaging (fMRI) while participants listen to an audiobook story. We further test between variants of CCG that differ in how they handle optional adjuncts. These evaluations are carried out against a baseline that includes estimates of next‐word predictability from a transformer neural network language model. Such a comparison reveals unique contributions of CCG structure‐building predominantly in the left posterior temporal lobe: CCG‐derived measures offer a superior fit to neural signals compared to those derived from a CFG. These effects are spatially distinct from bilateral superior temporal effects that are unique to predictability. Neural effects for structure‐building are thus separable from predictability during naturalistic listening, and those effects are best characterized by a grammar whose expressive power is motivated on independent linguistic grounds. (shrink)

Very often moral disagreements can be resolved by appealing to factual considerations because in these cases the parties to the dispute agree as to which factual considerations are relevant. They agree, that is, with respect to their basic moral standards. Hence, when their disagreement about the non-moral facts is resolved, so is their moral disagreement. But sometimes moral disagreement persists in spite of agreement on factual considerations. When this happens, and when neither party is guilty of illogical thinking, we have (...) a case of moral deadlock. (shrink)

Very often moral disagreements can be resolved by appealing to factual considerations because in these cases the parties to the dispute agree as to which factual considerations are relevant. They agree, that is, with respect to their basic moral standards. Hence, when their disagreement about the non-moral facts is resolved, so is their moral disagreement. But sometimes moral disagreement persists in spite of agreement on factual considerations. When this happens, and when neither party is guilty of illogical thinking, we have (...) a case of moral deadlock. (shrink)

We study the partial orderings of the form ⟨P,⊂⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle \mathbb{P}, \subset\rangle}$$\end{document}, where X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} is a binary relational structure with the connectivity components isomorphic to a strongly connected structure Y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Y}}$$\end{document} and P\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{P} }$$\end{document} is the set of substructures of X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {X}}$$\end{document} isomorphic to X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document}. We show that, for example, for a countable X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document}, the poset ⟨P,⊂⟩\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle \mathbb {P}, \subset\rangle}$$\end{document} is either isomorphic to a finite power of P\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{P} }$$\end{document} or forcing equivalent to a separative atomless σ-closed poset and, consistently, to P/fin. In particular, this holds for each ultrahomogeneous structure X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} such that X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} or Xc\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}^{c}}$$\end{document} is a disconnected structure and in this case Y\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Y}}$$\end{document} can be replaced by an ultrahomogeneous connected digraph. (shrink)

Terms do not always cover the same meaning all the time. While translating into another language we have to take care of possible shifts in meaning in each of both languages. Some examples have been shown here from the new translation of Locke‘s Essay into Czech.

Terms do not always cover the same meaning all the time. While translating into another language we have to take care of possible shifts in meaning in each of both languages. Some examples have been shown here from the new translation of Locke‘s Essay into Czech.

The game Gls(κ) is played on a complete Boolean algebra B, by two players. White and Black, in κ-many moves (where κ is an infinite cardinal). At the beginning White chooses a non-zero element p ∈ B. In the α-th move White chooses pα ∈ (0.p)p and Black responds choosing iα ∈ {0.1}. White wins the play iff $\bigwedge _{\beta \in \kappa}\bigvee _{\alpha \geq \beta }p_{\alpha}^{i\alpha}=0$ , where $p_{\alpha}^{0}=p_{\alpha}$ and $p_{\alpha}^{1}=p\ p_{\alpha}$ . The corresponding game theoretic properties of c.B.a.'s are (...) investigated. So. Black has a winning strategy (w.s) if κ ≥ π(B) or if B contains a κ -closed dense subset. On the other hand, if White has a w.s., then κ ∈ [h₂(B). π(B)). The existence of w.s. is characterized in a combinatorial way and in terms of forcing. In particular, if 2κ = κ ∈ Reg and forcing by B preserves the regularity of κ, then White has a w.s. iff the power 2κ is collapsed to κ in some extension. It is shown that, under the GCH, for each set S ⊆ Reg there is a c.B.a. B such that White (respectively. Black) has a w.s. for each infinite cardinal κ ∈ S (resp. κ ∉ S). Also it is shown consistent that for each κ ∈ Reg there is a c.B.a. on which the game Gls(κ) is undetermined. (shrink)

At the basis of tireless efforts to explain the nature of law lies the question of how judges should decide cases. Therefrom arises a need for a theory that would clarify the role of the courts and, moreover, provide guidance to them on reaching judgments. The history of legal theory abounds with various attempts to offer a generally acceptable answer to the question raised. The fervor of debate and the perpetual dissatisfaction with offered solutions prompted the thought of untamable arbitrariness (...) of judges. In the contemporary debate the significance of argumentation is particularly emphasized as a link of the court procedure which provides reasonableness and therewith justification and persuasiveness of the decision. Before going into the matter, I will indicate in broad strokes which areas of legal theory do argumentation and interpretation belong to. The purpose of setting a conceptual framework is to prevent losing sight of the whole as well as to limit the scope of discourse to a certain section of legal issues. The second part deals with the concept of argumentation in general and some specific features of the argumentation in law. The third part examines the role of legal interpretation and draws a clear distinction between the interpretation as a process and the interpretation as a result. At the end of the discussion I shall put forward a thesis that the interpretation as a process is argumentation, while the interpretation as a result is an argument in the justification of judgment. nema. (shrink)

The subject of this paper is Charles Morris’ semiotic theory that has as one of its major projects the unification of all sciences of signs. However, since the above project has proven to be unsuccessful, we will try to examine here the reasons that led to this. Accordingly, we will argue that to transcend the particularities of individual disciplines that he wanted to unify, Morris had to make certain ontological assumptions, instead of theoretical and methodological ones, that they could share. (...) However, because the 'sign' as an ontological category could in our view only be established if we follow the principles of the pragmatic philosophical tradition, we will try to show that the reasons for this failure should be primarily sought in different effects that consistent application of the pragmatic principles has in each of them (primarily in linguistics and the philosophy of language). On the other hand, this should enable us to draw several important conclusions regarding Morris’ project: namely, that his failure does not have to mean giving up semiotics as a potentially key discipline in approaching some fundamental philosophical problems, but also that it would demand return to the original semiotics developed in Peirce’s works. (shrink)

This paper deals with Schaffer’s distinction between metaphysical structures, as well as his appeal for revival of neo-Aristotelian approaches that imply ordered structure, based on the criticism of Quine’s method that, in his view, implies flat metaphysical structure. However, although we believe that Schaffer’s distinction between metaphysical structures is an interesting and, basically, acceptable view, we will try to show that Schaffer’s arguments are not convincing enough to persuade us to abandon Quine’s method and adopt the Aristotelian metaphysical model. Moreover, (...) when mistakes that Schaffer makes are corrected and Quine’s method is given due attention, we will see that this can enable us a more tenable interpretation of the concepts that Schaffer speaks of (metaphysical structures), but also – as in his case – to draw certain conclusions that go beyond objectives of classification as such. (shrink)

We investigate the partial orderings of the form 〈P(X),⊂〉\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle \mathbb{P}(\mathbb{X}), \subset \rangle}$$\end{document}, where X=〈X,ρ〉\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X} =\langle X, \rho \rangle }$$\end{document} is a countable binary relational structure and P(X)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{P} (\mathbb{X})}$$\end{document} the set of the domains of its isomorphic substructures and show that if the components of X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} (...) are maximally embeddable and satisfy an additional condition related to connectivity, then the poset 〈P(X),⊂〉\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle \mathbb{P} (\mathbb{X}), \subset \rangle }$$\end{document} is forcing equivalent to a finite power of (P(ω)/ Fin)+, or to the poset (P(ω × ω)/(fin × Fin))+, or to the product (P(Δ)/EDfin)+×((P(ω)/Fin)+)n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(P(\Delta )/\fancyscript{e}\fancyscript{d}_{\rm fin})^+ \times ((P(\omega )/{\rm Fin})^+)^n}$$\end{document}, for some n∈ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${n \in \omega}$$\end{document}. In particular we obtain forcing equivalents of the posets of copies of countable equivalence relations, disconnected ultrahomogeneous graphs and some partial orderings. (shrink)

Although Williams’ contextual thesis is above all a critique of one way of interpreting contextualism in epistemology, viz., simple conversational contextualisam, I will argue that this thesis has also been a very successful means for the critique of a standpoint on which that interpretation, and the entire traditional epistemology rests - epistemological realism. Accordingly, in spite of certain weaknesses in Williams’ position pointed out by his critiques, in this paper I will try to show that, by interpreting the problem of (...) scepticism as first and foremost a methodological necessity of epistemological realism, Williams succeeds in offering an enlightening diagnosis of the sceptical paradox problem which is at the centre of epistemology traditionally construed. (shrink)

In this paper we will try to show the differences between Quine’s and Gibson’s interpretation of the naturalized epistemology project. Namely, although Gibson points out that the genetic approach advocated by Quine is the best strategy there is to investigate the relations between evidence and theory, and that externalizing of empiricism that it requires is one of Quine’s major philosophical contributions, we argue that the assumptions on which Gibson’s project is based, apart from the fact that they are in conflict (...) with some strongly held intuitions, would have to be essentially different from Quine’s. In other words, contrary to Quine’s position within which we have the possibility of staying on more moderate, and in our opinion, more plausible behavioristic line of approach, we will try to show that one of the consequences of Gibson’s interpretation is that this possibility is ruled out in Gibson’s case. On the other hand, this should enable us to draw some more radical conclusions about the nature of Quine’s epistemological project. (shrink)

In this paper, we will try to confront Quine’s and Davidson’s holistic position through Davidson’s thesis of the mental as a non-ontological category. In this regard, since Davidson came to this position through the thesis of the mental as a decidedly conceptual category, we will try to show how this approach does not, nevertheless, rule out the possibility of its interpretation in ontological terms. However, in what follows we will draw attention to the fact that the mental can be interpreted (...) so that it proves to be immune to ontologizing in Quine’s sense. This would be the evidence of different ways, which are not necessarily compatible, to argue for Davidson’s central thesis - the thesis about holistic character of the mental - as well as, which is closely related, a certain difference that exists between Davidson’s view of the mental as a conceptual category on the one hand, and a holistic category on the other. (shrink)

This paper deals with Peirce’s understanding of perceptual judgment, relating it to the conditions for the use of language defined by Michael Dummett. Namely, drawing on Dummett’s requirement for harmony between descriptive and evaluative aspects of our linguistic practice, we will try to give an interpretation of Peirce’s view of perception that implies rejecting the idea that the formation of a perceptual judgment has an inferential structure. On the other hand, since it is, in Peirce’s opinion, the structure of abductive (...) inference, this approach should enable us to draw some conclusions related to abduction in general. (shrink)

Understanding natural phenomena is an important aim of science. Since the turn of the millennium the notion of scientific understanding has been a hot topic of debate in the philosophy of science. A bone of contention in this debate is the role of truth and representational accuracy in scientific understanding. So-called factivists and non-factivists disagree about the extent to which the theories and models that are used to achieve understanding must be true or accurate. In this paper we address this (...) issue by examining a case from the practice of synthetic chemistry. We investigate how understanding is obtained in this field by means of an in-depth analysis of the famous synthesis of periplanone B by W. Clark Still. It turns out that highly idealized models—that are representationally inaccurate and sometimes even inconsistent—and qualitative concepts are essential for understanding the synthetic pathway and accordingly for achieving the synthesis. We compare the results of our case study to various factivist and non-factivist accounts of how idealizations may contribute to scientific understanding and conclude that non-factivism offers a more plausible interpretation of the practice of synthetic chemistry. Moreover, our case study supports a central thesis of the non-factivist theory of scientific understanding developed by De Regt, namely that scientific understanding requires intelligibility rather than representational accuracy, and that idealization is one way to enhance intelligibility. (shrink)

The article provides a critical review of the books Rijec je o slici by Jagor Bucan and Slika i rec by the Serbian Society for Aesthetics. From the titles it is already evident that they share the same topic. The paper points out the similarities between the two texts on both what is present and what is absent in them, which also seems important for understanding the theoretical problems they deal with.