In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation (...) property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic. (shrink)

George Molnar came to see that the solution to a number of the problems of contemporary philosophy lay in the development of an alternative to Hume's metaphysics. This alternative would have real causal powers at its centre. Molnar set about developing a thorough account of powers that might persuade those who remained, perhaps unknowingly, in the grip of Humean assumptions. He succeeded in producing something both highly focused and at the same time wide-ranging. He showed both that the notion of (...) a power was central and that it could serve to dispel a number of long-standing philosophical problems.Molnar's account of powers is as realist as any that has so far appeared. He shows that dispositions are as real as any other properties. Specifically, they do not depend for their existence on their manifestations. Nevertheless, they are directed towards such manifestations. Molnar thus appropriates the notion of intentionality, from Brentano, and argues that it is the essential characteristic of powers. He offers a persuasive case for there being some basic and ungrounded powers, thus ruling out the reducibility of the dispositional to the non-dispositional. However, he does allow that there are non-power properties as well as power properties. In this respect, his final position is dualistic.This is contemporary metaphysics of the highest quality. It is a work that was almost complete when its author died. It has been edited for publication by another specialist in the subject, Stephen Mumford, who has also provided an introduction that will allow non-specialists to become acquainted with the issues. David Armstrong, one of the greatest living metaphysicians and personal friend of George Molnar, has provided a Foreword. (shrink)

The classical interpretation of probability together with the principle of indifference is formulated in terms of probability measure spaces in which the probability is given by the Haar measure. A notion called labelling invariance is defined in the category of Haar probability spaces; it is shown that labelling invariance is violated, and Bertrand’s paradox is interpreted as the proof of violation of labelling invariance. It is shown that Bangu’s attempt to block the emergence of Bertrand’s paradox by requiring the re-labelling (...) of random events to preserve randomness cannot succeed non-trivially. A non-trivial strategy to preserve labelling invariance is identified, and it is argued that, under the interpretation of Bertrand’s paradox suggested in the paper, the paradox does not undermine either the principle of indifference or the classical interpretation and is in complete harmony with how mathematical probability theory is used in the sciences to model phenomena. It is shown in particular that violation of labelling invariance does not entail that labelling of random events affects the probabilities of random events. It also is argued, however, that the content of the principle of indifference cannot be specified in such a way that it can establish the classical interpretation of probability as descriptively accurate or predictively successful. 1 The Main Claims2 The Elementary Classical Interpretation of Probability3 The General Classical Interpretation of Probability in Terms of Haar Measures4 Labelling Invariance and Labelling Irrelevance5 General Bertrand’s Paradox6 Attempts to Save Labelling Invariance7 Comments on the Classical Interpretation of Probability. (shrink)

A probability space is common cause closed if it contains a Reichenbachian common cause of every correlation in it and common cause incomplete otherwise. It is shown that a probability space is common cause incomplete if and only if it contains more than one atom and that every space is common cause completable. The implications of these results for Reichenbach's Common Cause Principle are discussed, and it is argued that the principle is only falsifiable if conditions on the common cause (...) are imposed that go beyond the requirements formulated by Reichenbach in the definition of common cause. (shrink)

The role of measure theoretic atomicity in common cause closedness of general probability theories with non-distributive event structures is raised and investigated. It is shown that if a general probability space is non-atomic then it is common cause closed. Conditions are found that entail that a general probability space containing two atoms is not common cause closed but it is common cause closed if it contains only one atom. The results are discussed from the perspective of the Common Cause Principle.

We investigate the general properties of general Bayesian learning, where “general Bayesian learning” means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability measure. If (...) a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes’ rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)

The Borel–Kolmogorov Paradox is typically taken to highlight a tension between our intuition that certain conditional probabilities with respect to probability zero conditioning events are well defined and the mathematical definition of conditional probability by Bayes’ formula, which loses its meaning when the conditioning event has probability zero. We argue in this paper that the theory of conditional expectations is the proper mathematical device to conditionalize and that this theory allows conditionalization with respect to probability zero events. The conditional probabilities (...) on probability zero events in the Borel–Kolmogorov Paradox also can be calculated using conditional expectations. The alleged clash arising from the fact that one obtains different values for the conditional probabilities on probability zero events depending on what conditional expectation one uses to calculate them is resolved by showing that the different conditional probabilities obtained using different conditional expectations cannot be interpreted as calculating in different parametrizations of the conditional probabilities of the same event with respect to the same conditioning conditions. We conclude that there is no clash between the correct intuition about what the conditional probabilities with respect to probability zero events are and the technically proper concept of conditionalization via conditional expectations—the Borel–Kolmogorov Paradox is just a pseudo-paradox. (shrink)

In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal (...) companion of Medvedev’s logic of finite problems it is shown that the modal logic of belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. (shrink)

In the article [2] a hierarchy of modal logics has been defined to capture the logical features of Bayesian belief revision. Elements in that hierarchy were distinguished by the cardinality of the set of elementary propositions. By linking the modal logics in the hierarchy to the modal logics of Medvedev frames it has been shown that the modal logic of Bayesian belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. However, the infinite case (...) remained open. In this article we prove that the modal logic of Bayesian belief revision determined by standard Borel spaces is also not finitely axiomatizable. (shrink)

There has been a plethora of studies outlying the various factors which may affect undergraduate student cheating, generally focusing on individual, situational and deterrent factors. But beyond these factors, does the type of cheating affect students’ perceptions of cheating? We found that there were differences in regards to gradable cheating such as cheating on homework, tests and papers versus non-gradable cheating such as illegally downloading software/music from the Internet or photocopying materials which violate the university’s academic integrity policy. Gender, discussion (...) of ethical issues in class and enforcement of cheating reduces the acceptance of cheating across types of cheating. Less time spent on the Internet reduces the acceptance of only non-gradable cheating and the type of institution and knowing the consequences of cheating reduces the acceptance of only gradable cheating. (shrink)

The classical interpretation of probability together with the principle of indifference is formulated in terms of probability measure spaces in which the probability is given by the Haar measure. A notion called labelling invariance is defined in the category of Haar probability spaces; it is shown that labelling invariance is violated, and Bertrand’s paradox is interpreted as the proof of violation of labelling invariance. It is shown that Bangu’s attempt to block the emergence of Bertrand’s paradox by requiring the re-labelling (...) of random events to preserve randomness cannot succeed non-trivially. A non-trivial strategy to preserve labelling invariance is identified, and it is argued that, under the interpretation of Bertrand’s paradox suggested in the paper, the paradox does not undermine either the principle of indifference or the classical interpretation and is in complete harmony with how mathematical probability theory is used in the sciences to model phenomena. It is shown in particular that violation of labelling invariance does not entail that labelling of random events affects the probabilities of random events. It also is argued, however, that the content of the principle of indifference cannot be specified in such a way that it can establish the classical interpretation of probability as descriptively accurate or predictively successful. (shrink)

The Bayes Blind Spot of a Bayesian Agent is the set of probability measures on a Boolean algebra that are absolutely continuous with respect to the background probability measure of a Bayesian Agent on the algebra and which the Bayesian Agent cannot learn by conditionalizing no matter what evidence he has about the elements in the Boolean algebra. It is shown that if the Boolean algebra is finite, then the Bayes Blind Spot is a very large set: it has the (...) same cardinality as the set of all probability measures ; it has the same measure as the measure of the set of all probability measures ; and is a ``fat'' set in topological sense in the set of all probability measures taken with its natural topology. (shrink)

In this paper we show that the one-generated free three dimensional polyadic and substitutional algebras Fr1PA3 and Fr1SCA3 are not atomic. What is more, their corresponding logics have the Gödel’s incompleteness property. This provides a partial solution to a longstanding open problem of Németi and Maddux going back to Alfred Tarski via the book [12].

We continue the investigations initiated in the recent papers where Bayes logics have been introduced to study the general laws of Bayesian belief revision. In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using the Bayes rule. In this paper we take the more general Jeffrey formula as a conditioning device and study the corresponding modal logics that we call Jeffrey logics, focusing mainly on the countable case. The containment relations among (...) these modal logics are determined and it is shown that the logic of Bayes and Jeffrey updating are very close. It is shown that the modal logic of belief revision determined by probabilities on a finite or countably infinite set of elementary propositions is not finitely axiomatizable. The significance of this result is that it clearly indicates that axiomatic approaches to belief revision might be severely limited. (shrink)

U clanku autori ispituju tri pozicije u estetickoj raspravi o uzvisenom koja se vodila u 18. veku - Edmunda Berka, Imanuela Kanta i Fridriha Silera. Oni takodje pokusavaju da rekonstruisu politicku pozadinu svake od ovih teorijskih pozicija: starorezimski konzervativizam, republikanski liberalizam i romanticarsku zudnju za 'trecim putem'. Najsofisticiraniju i najzreliju teoriju uzvisenog pronalaze u Silerovim estetickim delima, pogotovo u onima koja su usledila nakon njegovog razocarenja u Francusku revoluciju i u kojima su najtemeljnije razmatrani odnosi izmedju uzvisenog i paradoksa istorijskog (...) nasilja. (shrink)

In this article the authors are reconstructing the dichotomies which the young Theodor Adorno was trying to detect in the music of the bourgeois epoch and personify in two antipodes - Franz Schubert and Ludwig van Beethoven. Although already a devotee of Arnold Sch?nberg and the 20th century music avantgardism, Adorno was, in his works prior to his exile from Germany, intensively dealing with Schubert and his opposition towards Beethoven. While Beethoven was a bold and progressive revolutionary, fascinated by the?practical (...) reason? and the mission to rise up and reach the stars, Schubert wanted none of it. Instead, he was looking backwards, to primordial nature and the possibility of man to participate in its mythic cycles of death and regeneration. The lack of synthesis between this two opposing tendencies in the music of early bourgeois epoch lead to the?negative dialectics? of Sch?nberg and 20th century music avantgardism and to the final separation of Beethovenian musical progress and Schubertian musical mimesis. (shrink)

Students from a small, private, religious college and a large, public university completed questionnaires asking their perceptions of academic dishonesty at their institution. The questionnaires used a 5-point Likert scale to determine whether the students felt it was acceptable to cheat for a specific reason such as plagiarizing or copying homework both using and not using technology. Between fall 2005 and fall 2013, 1792 usable questionnaires were collected using similar methodology, questionnaires and respondents to control for possible extraneous variables. An (...) analysis of the data provides indications that student acceptance of many types of academic dishonesty has decreased over the past 9 years. (shrink)

In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal (...) companion of Medvedev’s logic of finite problems it is shown that the modal logic of belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. (shrink)

U clanku autori se bave militantnim potencijalom koncepta avangarde. Pojavljujuci se u politici i umetnosti u prvoj polovini 19. veka i nastojeci da unisti gotovo celokupnu tradiciju 'burzoaskog' prosvetiteljstva, politicka i umetnicka avangarda nikada nije bila sposobna da se oslobodi svojih korena u vojnickom nacinu razmisljanja. Njena prava sustina je lezala u stvaranju bojnih polja u svakoj oblasti javnog zivota gde je postojala sansa da se unisti gradjansko drustvo - njegova politika, njegova umetnost, njegov nacin razmisljanja, njegova civilizacija. U ime (...) jos necuvene slobode, ona je sirila nasilje i sejala totalitarino seme po sprzenoj zemlji. A na kraju je nisu pobedili njeni mnogobrojni neprijatelji zato jer je postala zrtva vlastite destruktivnosti. (shrink)

We prove that under some technical assumptions on a general, non-classical probability space, the probability space is extendible into a larger probability space that is common cause closed in the sense of containing a common cause of every correlation between elements in the space. It is argued that the philosophical significance of this common cause completability result is that it allows the defence of the Common Cause Principle against certain attempts of falsification. Some open problems concerning possible strengthening of the (...) common cause completability result are formulated. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:IS GOD ESSENTIALLY DIFFERENT FROM HIS CREATURES? RAHNER'S EXPLANATION FROM REVELATION INTRODUCTION IN THIS PAPER we shall discuss two questions concerning the doctrine of God in the theology of Karl Rahner. What is it? On what is it based? In the process, we shall critically examine the relationship between the doctrine of God and Rahner's view of Christian revelation, focusing on the nature of theological method. Analysis will proceed (...) in two ways: comparison of Rahner's method with what I see as the method of scripture (faith seeking understanding) and with that of traditional Thomism as represented by Etienne Gilson. In Foundatians of Christian Faith, Chapter ~. "Man in the Presence of Absolute Mystery," Theological Investigations, volume 4, "The Concept of Mystery in Catholic Theology," and Theological ln1Yestigations, volume 11, "The Experience of God Today " Rabner develops his doctrine of God from his concept of absolute mystery which is drawn from human experience of reality according to his transcendental method. This method itself establishes the foundation for answering the first question, as we shall see. In answering the second question it is important that we examine carefully the foundation and determining element for any concept of God and of the creature's relation with God. The following issues will have to be discussed also: the nature of and need for Christian revelation, the role of faith and the kind of relation which exists between the Creator God and creatures. We shall discuss how Rahner deals with the free grace of God's revelation and presence in history while synthesizing creaturely self-tran575 576 PAUL D. MOLNAR scendent experience with grace and revelation according to his transcendental method. Such synthesis perceives the reality of God according to the constructs of natural theology and eliminates any practical need for revelation and faith in the triune God as the only true God. Moreover, we hope to show that the starting point for Rahner's transcendental method [human experience] is the very £actor which causes irreconcilable conflicts for a theology which claims to be a theology based on revelation. Rahner's analysis of experience is profound and has been useful for many in describing the creature's relation with the Creator. But as long as it is thought that our self-transcending experiences provide a point of departure for knowing the true God, Christian theologians will always have difficulty actually distinguishing God from their ideas about Hirn. For scriptural faith the point of departure for knowing the reality of God was and remains God's own free self-manifestation in His historical interventions within the realm of experience. As we shall see, this very point is what Rahner seeks to uphold. But in fact his method causes him to be inconsistent. While he would insist that this historical intervention is what happened in Israel, in Christ and in the Church; his method cannot a11ow him to hold consistently that the only point of departure for knowing the truth about our experiences is the Word of God revealed and active in Christ and the Spirit. Thus, true knowledge of God for Rahner is simultaneously ascribed to the grace of God and to our innate knowledge of absolute being. This claim is actually indebted to the Cartesian method and, as we shall see, it causes logical and theological problems for a theology that claims to be a theology of revelation. Concerning Rahner's doctrine of God, then, we return to the opening questions: What is it? On what is it based? Following Rahner's own outline in Fottndations of Christian Faith these questions can only be answered together by tracing the development of his own logic based upon the transcendental experience of our" horizon." Rahner's doctrine of God begins RAHNER'S EXPLANATION FROM REVELATION 577 from the assumption that an experience of one's "horizon " is an experience of God. And this assumption dictates what it is. Therefore, in Rahner's thought, these two questions cannot in fact be separated. Rahner provides no other foundation for this assumption than the idea that man must think and act in light of this horizon. Instead of pointing beyond the circle of human experience to show us... (shrink)

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the context of algebraic relativistic quantum field theory. The content of subobject independence formulated in this paper is morphism co-possibility: two subobjects of an object will be defined to be independent if any two morphisms on the two subobjects of an object are jointly implementable by a (...) single morphism on the larger object. The paper investigates features of subobject independence in general, and subobject independence in the category of C∗ - algebras with respect to operations (completely positive unit preserving linear maps on C∗ - algebras)as morphisms is suggested as a natural subsystem independence axiom to express relativistic locality of the covariant functor in the categorial approach to quantum field theory. (shrink)

The literature on antecedents of corporate social responsibility strategies of firms has been predominately content driven. Informed by the managerial sense-making process perspective, we develop a contingency theoretical framework explaining how political ideology of managers affects the choice of CSR strategy for their firms through their CSR mindset. We also explain to what extent the outcome of this process is shaped by the firm’s internal institutional arrangements and external factors impacting on the firm. We develop and test several hypotheses using (...) data collected from 129 Chinese managers. The results show that managers with a stronger socialist ideology are likely to develop a mindset favouring CSR, which induces the adoption of a proactive CSR strategy. The CSR mindset mediates the link between socialist ideology and CSR strategy. The strength of the relationship between the CSR mindset and the choice of CSR strategy is moderated by customer response to CSR, industry competition, the role of government, and CSR-related managerial incentives. (shrink)

The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain.

Thought experiments are widely used in the informal explanation of Relativity Theories; however, they are not present explicitly in formalized versions of Relativity Theory. In this paper, we present an axiom system of Special Relativity which is able to grasp thought experiments formally and explicitly. Moreover, using these thought experiments, we can provide an explicit definition of relativistic mass based only on kinematical concepts and we can geometrically prove the Mass Increase Formula in a natural way, without postulates of conservation (...) of mass and momentum. (shrink)

U clanku autori se bave militantnim potencijalom koncepta avangarde. Pojavljujuci se u politici i umetnosti u prvoj polovini 19. veka i nastojeci da unisti gotovo celokupnu tradiciju 'burzoaskog' prosvetiteljstva, politicka i umetnicka avangarda nikada nije bila sposobna da se oslobodi svojih korena u vojnickom nacinu razmisljanja. Njena prava sustina je lezala u stvaranju bojnih polja u svakoj oblasti javnog zivota gde je postojala sansa da se unisti gradjansko drustvo - njegova politika, njegova umetnost, njegov nacin razmisljanja, njegova civilizacija. U ime (...) jos necuvene slobode, ona je sirila nasilje i sejala totalitarino seme po sprzenoj zemlji. A na kraju je nisu pobedili njeni mnogobrojni neprijatelji zato jer je postala zrtva vlastite destruktivnosti. (shrink)

Autorka u clanku rekonstruise kompleksnu sliku Franca Suberta koju je stvorio Teodor Adorno u nekoliko osvrta na ovog kompozitora, a najvise u clanku?Subert? iz 1928. Adorno je te, 1928. godine doziveo Suberta kao tragicnog kompozitora cija muzika obitava u oblasti htonskih bogova, a da ipak otkriva radost?putujuceg naroda, opsenara i cudotvoraca?. Ipak, nije objasnio kako ova radost moze da prezivi u paklenim pejsazima Subertove htonske muzike. Tek kasnije Adorno je bio spreman da u Subertu prepozna, zahvaljujuci njegovom?habitusu?, i kafanskog sviraca, (...) ne pominjuci vise?putujuci narod, opsenare i cudotvorce?. Te dve predstave Suberta-Subert kao osluskivac htonskih bogova i Subert kao kafanski svirac-pokazale su se kao zanimljiv par vredan dalje teorijske elaboracije koju Adorno, nazalost, nikada nije sproveo. PR Projekat Ministarstva nauke Republike Srbije, br. 177019: Identiteti srpske muzike u svetskom kulturnom kontekstu. (shrink)

In this article the authors are reconstructing the dichotomies which the young Theodor Adorno was trying to detect in the music of the bourgeois epoch and personify in two antipodes - Franz Schubert and Ludwig van Beethoven. Although already a devotee of Arnold Sch?nberg and the 20th century music avantgardism, Adorno was, in his works prior to his exile from Germany, intensively dealing with Schubert and his opposition towards Beethoven. While Beethoven was a bold and progressive revolutionary, fascinated by the?practical (...) reason? and the mission to rise up and reach the stars, Schubert wanted none of it. Instead, he was looking backwards, to primordial nature and the possibility of man to participate in its mythic cycles of death and regeneration. The lack of synthesis between this two opposing tendencies in the music of early bourgeois epoch lead to the?negative dialectics? of Sch?nberg and 20th century music avantgardism and to the final separation of Beethovenian musical progress and Schubertian musical mimesis. (shrink)

Do undergraduate students perceive that it is more acceptable to ‹cheat’ using information technology (IT) than it is to cheat without the use of IT? Do business discipline-related majors cheat more than non-business discipline-related majors? Do undergraduate students perceive it to be more acceptable for them personally to cheat than for others to cheat? Questionnaires were administered to undergraduate students at five geographical academic locations in the spring, 2006 and fall 2006 and spring, 2007. A total of 708 usable questionnaires (...) were returned including 532 from students majoring in business-related disciplines and 139 from students majoring in non-business related disciplines (37 were undecided). It appears that in terms of intellectual property violations, undergraduate students in general find cheating using IT more acceptable than cheating without the use of IT. It also appears that undergraduate students perceive that it is relatively more acceptable for them to personally cheat when using IT than for others to cheat when using IT, although this is reversed when IT is not involved. No significant differences on these issues were found between undergraduate students having business discipline-related majors and those having non-business discipline-related majors. (shrink)

We hypothesize that when honesty is not motivated by selfish goals, it reveals social preferences that have evolved for convincing strategically vigilant partners that one is a person worth cooperating with. In particular, we explain how the patterns of dishonest behavior observed in recent experiments can be motivated by preferences for social and self-esteem. These preferences have evolved because they are adaptive in an environment where it is advantageous to be selected as a partner by others and where these others (...) are strategically vigilant: they efficiently evaluate the expected benefit of cooperating with specific partners and attend to their intentions. We specify the adaptive value of strategic vigilance and preferences for social and self-esteem. We argue that evolved preferences for social and self-esteem are satisfied by applying mechanisms of strategic vigilance to one's own behavior. We further argue that such cognitive processes obviate the need for the evolution of preferences for fairness and social norm compliance. (shrink)

In this paper we dispel the supposed ``admissibility troubles'' for Bayesian accounts of direct inference proposed by Wallmann and Hawthorne, which concern the existence of surprising, unintuitive defeaters even for mundane cases of direct inference. We show that if one follows the majority of authors in the field in using classical probability spaces unimbued with any additional structure, one should expect similar phenomena to arise and should consider them unproblematic in themselves: defeaters abound! We then show that the framework of (...) Higher Probability Spaces allows the natural modelling of the discussed cases which produces no troubles of this kind. (shrink)

We extend a result by Gallow concerning the impossibility of following two epistemic masters, so that it covers a larger class of pooling methods. We also investigate a few ways of avoiding the issue, such as using non-convex pooling methods, employing the notion of imperfect trust or moving to higher-order probability spaces. Along the way we suggest a conceptual issue with the conditions used by Gallow: whenever two experts are considered, whether we can trust one of them is decided by (...) the features of the other! (shrink)

There is a well-established correspondence between interpolation and amalgamation for algebraizable logics that satisfy certain additional assumptions. In this paper, we introduce the Robinson property of a logic and show that a conditionally algebraizable logic without any additional assumptions has the Robinson property if and only if the corresponding class of Lindenbaum–Tarski algebras has the amalgamation property. Moreover, we give the logical characterization of the strong amalgamation property, solving an open problem of Andréka–Németi–Sain. It is also shown that given the (...) mentioned extra assumptions the Robinson property implies the interpolation property. As conditionally algebraizable logics cover algebraizable logics as well as various quantifier logics such as classical first order logic, our results yield a generalization of some of the results concerning interpolation and amalgamation. (shrink)

In this paper we discuss the ``admissibility troubles'' for Bayesian accounts of direct inference proposed in, which concern the existence of surprising, unintuitive defeaters even for mundane cases of direct inference. We first show that one could reasonably suspect that the source of these troubles was informal talk about higher-order probabilities: for cardinality-related reasons, classical probability spaces abound in defeaters for direct inference. We proceed to discuss the issues in the context of the rigorous framework of Higher Probability Spaces. However, (...) we show that the issues persist; we prove a few facts which pertain both to classical probability spaces and to HOPs, in our opinion capturing the essence of the problem. In effect we strengthen the message from the admissibility troubles: they arise not only for approaches using classical probability spaces---which are thus necessarily informal about metaprobabilistic phenomena like agents having credences in propositions about chances---but also for at least one respectable framework specifically tailored for rigorous discussion of higher-order probabilities. (shrink)

U clanku se razmatra znacaj slobode za doba prosvetiteljstva, kao i veze izmedju filozofije prosvetiteljstva i liberalne teorije. Stavise, autorova centralna teza je da svetlost koja je pocela da osvetljava razum u dobu prosvetiteljstva vise nije imala nista ni sa Bogom, ni sa prirodom, vec samo sa ljudskom slobodom. Kao sto je Entoni Esli Kuper, treci erl od Seftsberija, zapazio u jednom od svojih pisama, sloboda je svoje svetlo prvo prosula po Nizozemskoj i Engleskoj. Autor takodje osporava tezu koju je (...) nedavno izneo Dzonatan Irving Izrael u svojim knjigama Radikalno prosvetiteljstvo i Osporeno prosvetiteljstvo da je pokret radikalnog prosvetiteljstva u 18. veku bio skoro iskljucivo inspirisan politickom i religijskom filozofijom Nizozemca Baruha de Spinoze. Iako je Spinozin doprinos radikalnom prosvetiteljstvu jasan i evidentan, on se takodje moze tretirati i kao mislilac koji je inspirisao neke struje umerenog prosvetiteljstva, pa cak i protiv-prosvetiteljstva. PR Projekat Ministarstva nauke Republike Srbije, br. 149029 i 179049: Prosvecenost u evropskom, regionalnom i nacionalnom kontekstu - istorija i savremenost i Politike drustvenog pamcenja i nacionalnog identiteta - regionalni i evropski kontekst. (shrink)

We investigate the general properties of general Bayesian learning, where ``general Bayesian learning'' means inferring a state from another that is regarded as evidence, and where the inference is conditionalizing the evidence using the conditional expectation determined by a reference probability measure representing the background subjective degrees of belief of a Bayesian Agent performing the inference. States are linear functionals that encode probability measures by assigning expectation values to random variables via integrating them with respect to the probability measure. If (...) a state can be learned from another this way, then it is said to be Bayes accessible from the evidence. It is shown that the Bayes accessibility relation is reflexive, antisymmetric and non-transitive. If every state is Bayes accessible from some other defined on the same set of random variables, then the set of states is called weakly Bayes connected. It is shown that the set of states is not weakly Bayes connected if the probability space is standard. The set of states is called weakly Bayes connectable if, given any state, the probability space can be extended in such a way that the given state becomes Bayes accessible from some other state in the extended space. It is shown that probability spaces are weakly Bayes connectable. Since conditioning using the theory of conditional expectations includes both Bayes' rule and Jeffrey conditionalization as special cases, the results presented generalize substantially some results obtained earlier for Jeffrey conditionalization. (shrink)