In this paper, we are going to analyze the phenomenon of modal incompleteness from an algebraic point of view. The usual method of showing that a given logic L is incomplete is to show that for some L and some cannot be separated from by a suitably wide class of complete algebras — usually Kripke algebras. We are going to show that classical examples of incomplete logics, e.g., Fine logic, are not complete with respect to any class of complete BAOs. (...) Even above Grz it is possible to find a continuum of such logics, which immediately implies the existence of a continuum of neighbourhood-incomplete Grz logics. Similar results can be proved for Löb logics. In addition, completely incomplete logics above Grz may be found uniformly as a result of failures of some admissible rule of a special kind. (shrink)
We prove that all finitely axiomatizable tense logics with temporal operators for ‘always in the future’ and ‘always in the past’ and determined by linear fows time are coNP-complete. It follows, for example, that all tense logics containing a density axiom of the form ■n+1F p → nF p, for some n ≥ 0, are coNP-complete. Additionally, we prove coNP-completeness of all ∩-irreducible tense logics. As these classes of tense logics contain many Kripke incomplete bimodal logics, we obtain many natural (...) examples of Kripke incomplete normal bimodal logics which are nevertheless coNP-complete. (shrink)
"I reached the chair of philosophy via logic. Teaching logic became the field of my activity as a university professor of philosophy, a member of other humanistic faculties. Emphasis is here placed on the words 'teaching' and 'humanistic'. For my lectures and classes were conceived as an organon in the classical sense of the term, for philosophers as well as for those who, having completed their course of study, would espouse the cause of disseminating humanistic knowledge and thinking, particularly future (...) secondary school teachers. Somewhat later my activity embraced also law students. My linguistic equipment proved to, be very helpful in this respect. For it seems especially important when the problems of an organon of this kind are.. (shrink)
INTRODUCTION The present volume offers a selection of papers written by Tadeusz Czezowski. one of the most prominent representatives of the Lvov-Warsaw ...
Although Brandom is critical of some features of narrowly conceived classical pragmatism, at the same time he explicitly embraces a version of pragmatism, both in his overall philosophical outlook, and in his philosophy of language. Brandom’s distinctive theoretical approach is based on what he calls rationalist pragmatism, which is a version of fundamental pragmatism. Within the philosophy of language it takes the form of semantic pragmatism. The paper briefly discusses Brandomian version of fundamental pragmatism and its semantic underpinning, and subsequently (...) formulates a basic dilemma it encounters there. (shrink)
Most current theories of meaning and mental content accept externalism. One of its forceful exponents is Ruth Garrett Millikan. She argues that externalism leads to the abandonment of "the last myth of the given", that is, of the idea that identity of meaning and mental content is somehow unproblematically given to us, and that we can easily recognize the sameness of meaning and mental content. If one refuses such a "mythical" giveness or meaning rationalism, one has to admit that there (...) is no logical possibility known a priori . The paper tries to show that even if one abandons meaning rationalism one can still hold that there are logical possibilities known a priori . The claim is defended by arguing that a priori knowledge is not completely independent from experience and does not demand the absolute transparency of meaning from the first-person point of view. A priori knowledge requires only a priori justification, that is, such a justification that is based merely on relations between meanings or contents. (shrink)
The paper contains a critical analysis of pluripropositionalism (or: multiple proposition approach), the view defended in recent years by authors such as Eros Corazza, Kepa Korta and John Perry.
I argue that proponents of embodied social cognition (ESC) can usefully supplement their views if they enlist the help of an unlikely ally: Daniel Dennett. On Dennett’s view, human social cognition involves adopting the intentional stance (IS), i.e., assuming that an interpretive target’s behavior is an optimally rational attempt to fulfill some desire relative to her beliefs. Characterized this way, proponents of ESC would reject any alliance with Dennett. However, for Dennett, to attribute mental states from the intentional stance is (...) not to attribute concrete, unobservable mental causes of behavior. Once this is appreciated, the kinship between IS—understood as a model of our quotidian interpretive practices—and ESC is apparent: both assume that quotidian interpretation involves tracking abstract, observable, behavioral patterns, not attributing unobservable, concrete, mental causes, i.e., both assume social cognition is possible without metapsychology. I argue that this affinity constitutes an opportunity: proponents of ESC can use IS as a characterization of the subpersonal basis for social cognition. In the process, I make my interpretation of IS more precise and relate it to current empirical literature in developmental psychology. (shrink)
I argue for two claims. First I argue against the consensus view that accurate behavioral prediction based on accurate representation of cognitive states, i.e. mind reading , is the sustaining function of propositional attitude ascription. This practice cannot have been selected in evolution and cannot persist, in virtue of its predictive utility, because there are principled reasons why it is inadequate as a tool for behavioral prediction. Second I give reasons that favor an alternative account of the sustaining function of (...) propositional attitude ascription. I argue that it serves a mind-shaping function. Roughly, propositional attitude ascription enables human beings to set up regulative ideals that function to mold behavior so as to make it easier to coordinate with. (shrink)
The paper shows that the paradox of the totality of propositions rest on assumptions characteristic of some theories of structured contents (like Jeffrey King's "new account of structured propositions").
I pose the following dilemma for Millikan's teleological theory of mental content. There is only one way that her theory can avoid Gauker's [(1995) Review of Millikan's White queen psychology and other essays for Alice, Philosophical Psychology, 8, 305-309] charge that it relies on an unexplained notion of mapping or isomorphism between mental state and world. Mental content must be explained in terms of the mapping relation that is required for mental state producing and consuming mechanisms to perform their biologically (...) proper functions, i.e. producing mental states that are consumed in systematically adaptive practical inferences. However, this proposal leads to unacceptably counterintuitive ascriptions of content to mythological beliefs and related desires: such beliefs and desires must "map onto" environmental states that make them adaptive, not onto the mythological states of affairs that (would) make them true or fulfilled. I conclude by discussing the merits and drawbacks of a potential solution to this problem: the view that the contents of mythological beliefs and desires are determined by the non-mythological concepts out of which they are constructed, rather than by the environmental states that make them adaptive. The affinities of this proposal with Pascal Boyer's recent theory of mythological concepts [(2001) Religion explained, New York: Basic Books] are also discussed. (shrink)
A hallmark of correspondence theories of truth is the principle that sentences are made true by some truth-makers. A well-known objection to treating Tarski’s definition of truth as a correspondence theory has been put forward by Donald Davidson. He argued that Tarski’s approach does not relate sentences to any entities (like facts) to which true sentences might correspond. From the historical viewpoint, it is interesting to observe that Tarski’s philosophical teacher Tadeusz Kotarbinski advocated an ontological doctrine of reism which (...) accepted only concrete individuals and rejected all such abstract entities as facts, states of affairs, properties, and sets. Kotarbinski’s physicalism influenced Tarski who also avoided concepts like “fact” and “property” in his theory of truth, but—unlike Kotarbinski—he used freely set-theoretical terminology. In his mature work in model theory in the 1950s, Tarski used systematically the notion of a relational system (i.e., a domain of objects with designated elements, subsets, and relations). Wilfrid Hodges has argued that the notions of “structure” and “truth in a structure” appeared in Tarski’s work only in 1950. In my view, one can find the main ingredients of the model-theoretic account of truth already in the 1930s. These considerations suggest, against Davidson, that Tarski’s definition presupposes that material truth is always related to some kind of truth-maker. Further, facts as truth-makers can be reconstructed by employing the resources of model theory. (shrink)
Apart from a short introduction, this contribution consists of a translation of Tadeusz Kotarbinski’s “Utilitarianism and The Ethics of Pity” (1914). In that very concise and relatively unknown early note, written before he embarked on his long and influential career as a nominalist logician and philosopher of science, Kotarbinski had formulated four astonishingly ‘modern’ objections to utilitarianism. Unlike Christian ‘ethics of pity’, utilitarian ethics (i) disregards the normative importance of the distinction between preventing suffering and promoting happiness, (ii) leaves (...) no room for supererogation, (iii) leaves no room for agent-relativity in morality insofar as it disallows ‘inefficient’ self-sacrifice, and (iv) rejects the possibility of genuine ethical dilemmas. To what extent was Kotarbinski a pioneer in his critique? This question is posed but not answered. (shrink)
I review recent evidence that very young, pre-verbal infants attribute belief-like states when anticipating the behavior of others. This evidence is drawn from infant performance on non-verbal false belief tasks. I argue that, contrary to typical interpretations, such evidence does not show that infants attribute belief-like states. Rather, it shows that infants apply an enhanced version of what Gergely ( 2011 ) calls the “teleological stance” to brief bouts of behavior. This requires them to parse behavioral sequences into goals and (...) rationally/informationally-constrained means of achieving them; however, it does not require the attribution of unobservable mental states, like beliefs, that are causally responsible for behavior. (shrink)
The realism debate concerns the relationship of our beliefs, thoughts and language to the world or universe, and hence involves a number of fundamental questions ranging from metaphysics through epistemology to semantics and philosophy of language. While a few philosophers take it as an inevitable feature of the debate and try to advance it by coping simultaneously with all those questions, a number of others insists that the approach of this kind leads merely to confusions and misunderstandings. They usually suggest (...) that the metaphysical or ontological aspects of it should be kept separate from such epistemological and semantic issues as the possibility of absolute knowledge, the correspondence theory of truth, or the truth-conditional theory of meaning. In other words, there is such a thing as pure or simple metaphysical realism that may be endorsed and defended, or undermined and rejected. The aim of the paper is to raise some doubts about that metaphilosophical strategy, and to argue that the comprehensive approach to the realism debate, in which the metaphysical issues are combined with - at least - some epistemological matters, is not so much caused by confusions and misunderstandings, but forced, as it were, by its subject matter and the philosophical nature of the debate. (shrink)
Using randomly generated sequences of binary events we asked participants to make predictions about the next event. It turned out that while predicting uncertain events, people do not behave unsystematically. Our research identifies four types of relatively consistent strategies for predicting uncertain binary events: a strategy immune to short-run sequential dependencies consisting of the persistent prediction of long-run majority events, hereafter called the long-run momentum strategy ; a strategy immune to short-run sequential dependencies consisting of the persistent prediction of long-run (...) minority events, called the long-run contrarian strategy ; a strategy sensitive to short-run sequential dependencies consisting of the prediction of short-run majority events, called the short-run momentum strategy ; and a strategy sensitive to short-run sequential dependencies consisting of the prediction of short-run minority events, called the short-run contrarian strategy . When the character of events remains unknown, the most common strategy is the short-run momentum strategy. With the increase of a perceived randomness of the situation, people tend more often to use the short-run contrarian strategy. People differ in their general beliefs about the continuation or reversal of a trend in various natural and social processes. Trend believers, when facing sequences of binary events commonly perceived as random, tend to use momentum strategies, whereas those who believe in the trend's reversal tend to use contrarian strategies. (shrink)
Terry Horgan has put forward an original account of truth as correct assertibility. That statement suggests that he defends some version of the epistemic conception of truth. However, this is not his intention. Horgan wants to overcome the familiar opposition between the robust correspondence theories of truth and the epistemic theories of truth by elaborating an intermediate or middle-of-the-road position. After presenting the main ideas of that position, I argue that it is less distinctive than Horgan maintains, and may be (...) accommodated to the epistemic theories of truth, provided they are construed widely enough. (shrink)
Using randomly generated sequences of binary events we asked participants to make predictions about the next event. It turned out that while predicting uncertain events, people do not behave unsystematically. Our research identifies four types of relatively consistent strategies for predicting uncertain binary events: a strategy immune to short-run sequential dependencies consisting of the persistent prediction of long-run majority events, hereafter called the long-run momentum strategy ; a strategy immune to short-run sequential dependencies consisting of the persistent prediction of long-run (...) minority events, called the long-run contrarian strategy ; a strategy sensitive to short-run sequential dependencies consisting of the prediction of short-run majority events, called the short-run momentum strategy ; and a strategy sensitive to short-run sequential dependencies consisting of the prediction of short-run minority events, called the short-run contrarian strategy . When the character of events remains unknown, the most common strategy is the short-run momentum strategy. With the increase of a perceived randomness of the situation, people tend more often to use the short-run contrarian strategy. People differ in their general beliefs about the continuation or reversal of a trend in various natural and social processes. Trend believers, when facing sequences of binary events commonly perceived as random, tend to use momentum strategies, whereas those who believe in the trend's reversal tend to use contrarian strategies. (shrink)
It is quite widely assumed that at the beginning of his career Richard Rorty was an orthodox analytic philosopher, working in its then current mainstream, and especially fascinated by the linguistic turn taken by this tradition. Subsequently he supposedly radically and dramatically changed his views, turning himself from a staunch analytic philosophers into a vigorous critic of the analytic tradition and ultimately paradigmatically postmodern and continental thinker. It is argued in the paper that this common picture exaggerates changes in Rorty’s (...) philosophical views. He certainly has never become fully postmodern and continental philosopher, whatever it means. And what seems more important, he always had a lot of reservations about analytic philosophy and had less hopes of it than one or two passages from his early writings suggest. (shrink)
The evolution of human language, and the kind of thought the communication of which requires it, raises considerable explanatory challenges. These systems of representation constitute a radical discontinuity in the natural world. Even species closely related to our own appear incapable of either thought or talk with the recursive structure, generalized systematicity, and task-domain neutrality that characterize human talk and the thought it expresses. W. Tecumseh Fitch’s proposal (2004, in press) that human language is descended from a sexually selected, prosodic (...) proto-language that approximated its syntactic complexity, and later acquired semantics thanks to kin selection for its use as a means of pedagogical transmission, has the promise of meeting these explanatory challenges. However, Fitch’s theory raises two problems of its own: (1) according to Boyd and Richerson (1996, Proc. Br. Acad. 88: 77–93), circumstances in which pedagogy is adaptive are inevitably rare in nature, and (2) it is unlikely that our non-discursive precursors had generally systematic, task-domain neutral thoughts to communicate to their offspring. I propose solutions to these problems. Pedagogy would be favored in a population where complex rituals dominated diverse aspects of life. Prosodic proto-language could emerge as the medium of pedagogic transmission. As this medium was used to teach a greater variety of tasks, it would become increasingly general and domain neutral. The presence and importance of such a system of communication in hominid populations could then drive, via Baldwinian mechanisms, the evolution of a kind of ‘thinking for speaking’ (Slobin 1991, Pragmatics 1: 7–25) characterized by recursive structure, generalized systematicity, and task-domain neutrality. (shrink)
The subject of this paper is modern representative democracy. Instead of discussing the many theories which strive to define and describe the essence of democracy, such as the classic, the competitive, the structural, the participatory, the concessionary, etc., it is our aim to present the various practical approaches to "democracy in action" in the post-Communist period, i.e., to characterize the various notions of the axiological and philosophical assumptions that provide the cornerstone of democracy.
Collective Intelligence (CI) can be formalized as a specific1 computational process through the use of a molecular model of computations and mathematical logic, in terms of interacting information_molecules, which are chaotically or quasi-chaotically displacing and running natural-based inference processes in their own environment. The formal definition of Collective Intelligence as a property of a social structure of beings of any nature is surprisingly short and abstract (which is astonishing) from definitions of Life. The formal definition of Collective Intelligence proposed by (...) the author in the last few years seems to be valid for the whole spectrum of beings, in human social structures to ants in colonies, and even for bacterial colonies. It has recently been found that the CI definition also has an engineering value. The theory of CI can also be used to better understand Evolution because it allows us to locate and relate Life and Intelligence in Evolution. Moreover, this approach presents Evolution as something more complex than can be concluded from Darwinism. Probably the most surprising fact is that a simple extrapolation of the definition of Collective Intelligence brings us to the conclusion that most probably the first elementary Collective Intelligence emerged on Earth in the "chemical soup of primeval molecules," much before Life emerged. Collective Intelligence can be defined with fewer and weaker conditions than Life requires. Perhaps the emergence of that early elementary Collective Intelligence provided the basic momentum to build Life as we now know it. Thus Evolution caused Intelligence to create Life. Our hypothesis is consistent with biochemistry theories that "primeval biochemical molecules" started to interact, "firing" the Collective Intelligence of their "elementary chemical social structure" for survival. This successful action boosted further growth of complexity in that "elementary social structure," which finally resulted in the emergence of "well-defined Life." Furthermore, it provided a self-propagating cycle of growth of individual and collective Intelligence and individual and collective Life. The Collective Intelligence of ants, wolves, humans, and so forth today is only a higher level of Collective Intelligence development. Thus the present Evolution is a computational process of unidentified complexity where Life, Intelligence, and perhaps other as yet undiscovered components play temporary roles. In this paper we provide formalization and a proposed partial proof for this hypothesis. (shrink)
Using randomly generated sequences of binary events we asked participants to make predictions about the next event. It turned out that while predicting uncertain events, people do not behave unsystematically. Our research identifies four types of relatively consistent strategies for predicting uncertain binary events: a strategy immune to short-run sequential dependencies consisting of the persistent prediction of long-run majority events, hereafter called the long-run momentum strategy ; a strategy immune to short-run sequential dependencies consisting of the persistent prediction of long-run (...) minority events, called the long-run contrarian strategy ; a strategy sensitive to short-run sequential dependencies consisting of the prediction of short-run majority events, called the short-run momentum strategy ; and a strategy sensitive to short-run sequential dependencies consisting of the prediction of short-run minority events, called the short-run contrarian strategy . When the character of events remains unknown, the most common strategy is the short-run momentum strategy. With the increase of a perceived randomness of the situation, people tend more often to use the short-run contrarian strategy. People differ in their general beliefs about the continuation or reversal of a trend in various natural and social processes. Trend believers, when facing sequences of binary events commonly perceived as random, tend to use momentum strategies, whereas those who believe in the trend's reversal tend to use contrarian strategies. (shrink)
Tadeusz Kotarbiski is widely recognized as a major philosopher of theLvov–Warsaw school. His reism, which is a contribution to semantics andontology, is still discussed and debated, and his most original creation, praxiology,has grown into an entire research field. However, Kotarbiski's philosophy ofscience has not received much attention by later commentators. This paper attemptsto correct this situation by considering the hypothesis that Kotarbiski succeededalready in 1929 in formulating a position that can be regarded as an early version ofscientific realism. Unlike (...) most other ``scientific philosophers'' before the mid-thirties,he was able to combine ontological realism (by defending a form of physicalism andnominalism) and semantical realism (by defending the classical correspondence theoryof truth). He was also a critical epistemological realist. Further, in spite of theinstrumentalist flavour of his reductionist programme in eliminating terms apparentlyreferring to abstract entities, Kotarbiski accepted theories as statements with truth values and theoretical entities as long as they can be understood as physical bodies. (shrink)
The health care system in Poland is undergoing major change and it is possible that these changes could affect clinical research. Therefore, the situation of funding of health care is important for the future of medical research in this country. Some questions relevant in this field will be addressed. Since funds for health care and scientific research remain inadequate, their allocation raises moral, economic, legal and organisational dilemmas. The clinical aspects of resource allocation also include physicians’ responsibilities towards their patients. (...) Scientific research, clinical medicine, and clinical research have a common denominator: they rely on trust. The physician should be a fiduciary of the patient as well as being a researcher for the benefit of the patient and for society. Some physicians and researchers, despite unethical conduct, escape disclosure and punishment, but decision-makers who wrongly allocate funds for health care and research are never held accountable for their actions. (shrink)
It is obvious that every inventor should be rewarded for the intellectual effort, and at the same time be encouraged to successively improve his or her discovery and to work on subsequent innovations. Patents also ensure that patent owners are officially protected against intellectual piracy, but protection of intellectual property may be difficult to accomplish. Nevertheless, it all comes down to this basic question: Does a contradiction exist between medical ethics and the “Medical and Surgical Procedure Patents” system? It may (...) well turn out that medical-procedure patents can have a negative influence on the standard of medical care. Medical-method patents may also interfere with the physician-patient relationship. At present, physicians do not question the usefulness of patent protection for medicines, biotechnology, equipment and devices, but they strongly oppose it for surgical procedures. (shrink)
I criticize Herbert Simon's argument for the claim that complex natural systems must constitute decomposable, mereological or functional hierarchies. The argument depends on certain assumptions about the requirements for the successful evolution of complex systems, most importantly, the existence of stable, intermediate stages in evolution. Simon offers an abstract model of any process that succeeds in meeting these requirements. This model necessarily involves construction through a decomposable hierarchy, and thus suggests that any complex, natural, i.e., evolved, system is (...) constituted by a decomposable hierarchy. I argue that Stuart Kauffman's recent models of genetic regulatory networks succeed in specifying processes that could meet Simon's requirements for evolvability without requiring construction through a decomposable hierarchy. Since Kauffman's models are at least as plausible as Simon's model, Simon's argument that complex natural systems must constitute decomposable, mereological or functional hierarchies does not succeed. (shrink)
The health care system in Poland is undergoing major change and it is possible that these changes could affect clinical research. Therefore, the situation of funding of health care is important for the future of medical research in this country. Some questions relevant in this field will be addressed. Since funds for health care and scientific research remain inadequate, their allocation raises moral, economic, legal and organisational dilemmas. The clinical aspects of resource allocation also include physiciansâ responsibilities towards their patients. (...) Scientific research, clinical medicine, and clinical research have a common denominator: they rely on trust. The physician should be a fiduciary of the patient as well as being a researcher for the benefit of the patient and for society. Some physicians and researchers, despite unethical conduct, escape disclosure and punishment, but decision-makers who wrongly allocate funds for health care and research are never held accountable for their actions. (shrink)
