When space-reflection and time-reversal symmetries are broken, the Thomas precession formulas derived by Thomas' method and from the BMT equation differ from each other. This apparent contradiction is resolved by pointing out that the breakdown of discrete symmetries may lead to a change in the operational meaning of the Lorentz-group elements.

Spin is a fundamental and distinctive property of the electron, having far-reaching implications. Yet its purely formal treatment often blurs the physical content and meaning of the spin operator and associated observables. In this work we propose to advance in disclosing the meaning behind the formalism, by first recalling some basic facts about the one-particle spin operator. Consistently informed by and in line with the quantum formalism, we then proceed to analyse in detail the spin projection operator correlation (...) function \=\left\langle \left \left \right\rangle \) for the bipartite singlet state, and show it to be amenable to an unequivocal probabilistic reading. In particular, the calculation of \\) entails a partitioning of the probability space, which is dependent on the directions \.\) The derivation of the CHSH- or other Bell-type inequalities, on the other hand, does not consider such partitioning. This observation puts into question the applicability of Bell-type inequalities to the bipartite singlet spin state. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Derrida, with the deconstruction philosophy, shook all movements, stances, remembering and forgetting, and changed the flow of the river of perception and thought with a deep and comprehensive operation of reasoning and perception. He has resurrected the understanding of fluidity, movement and process, which has been coming since Heraclitus and renewed in Nietzsche in its own way by formatting these concepts. It has changed the method of meaning and signification, redefining it as an event, an action. He used "writing" (...) against the upper philosophy movement that fiddled with his country. He displaced the language, the word from its place, and wreak havoc in response to the glances that do not spare his own language. He rejected domination, embracing the free meaning. He deciphered the "great game" within the tradition of European language and philosophy. The state and its philosophy that imposes its "structure" realizes its gradual dismantling. Here, the reality is that meaning appears as an action which is the deconstruction movement itself. His “writing” is the proof of the French language and way of thinking which he “he lived in”. The new crisis results from philosophy of life rather than the language of Europe. Deconstruction has been a letter which found the recipient of the philosophy of the new century. Therefore philosophy needs to reevaluate the situation in the field of language and writing. Deconstruction has deciphered the "great language game" of which it is a part, before the eyes of the world. (shrink)

Rapid technological change is resulting in the development of ever increasingly capable autonomous weapon systems. As they become more sophisticated, the calls for developing restrictions on their use, up to and including their complete prohibition, are growing. Not unlike the call for restrictions on the sale and use of drones, most proposed restrictions are well-intentioned but are often ill-informed, with a high likelihood of degrading national security and putting additional lives at risk. Employed by experienced operators well-versed in the laws (...) of armed conflict, autonomous weapons can advance the objectives of those who would prohibit their use. This essay takes an operational perspective to examine the role that autonomous weapon systems can play while complying with the laws of armed conflict. With responsible design and incorporation of applicable control measures, autonomous weapons will be able not just to comply but also to enhance the ethical use of force. This essay contends that efforts by the international community to use international legal means and/or institutions to over-regulate or even ban lethal autonomous weapons are counterproductive. It considers and describes the end-game results of the use of autonomous weapons in enhancing the application of both international law and human ethical values. (shrink)

In this paper, we prove the wellfoundedness of recursive notation systems for reflecting ordinals up to Π₃-reflection by relevant inductive definitions.

This is a study in the meaning of natural language probability operators, sentential operators such as probably and likely. We ask what sort of formal structure is required to model the logic and semantics of these operators. Along the way we investigate their deep connections to indicative conditionals and epistemic modals, probe their scalar structure, observe their sensitivity to contex- tually salient contrasts, and explore some of their scopal idiosyncrasies.

The partitioned Bonferroni mean operator can efficiently aggregate inputs, which are divided into parts based on their interrelationships. To date, it has not been used to aggregate linguistic Pythagorean fuzzy numbers. In this paper, we extend the PBM operator and partitioned geometric Bonferroni mean operator to the linguistic Pythagorean fuzzy sets and use them to develop a novel multiattribute group decision-making model under the linguistic Pythagorean fuzzy environment. We first define some novel operational laws for LPFNs, which take into (...) consideration the interactions between the membership degree and nonmembership degree from two different LPFNs. Based on these novel operational laws, we put forward the interaction PBM operator, the weighted interaction PBM operator, the interaction PGBM operator, and the weighted interaction PGBM operator. Then, we study some properties of these proposed operators and discuss their special cases. Based on the proposed LPFWIPBM and LPFWIPGBM operators, a novel multiattribute group decision-making model is developed to process the linguistic Pythagorean fuzzy information. Finally, some illustrative examples are introduced to compare our proposed methods with the existing ones. (shrink)

This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.

The minimally conscious sta te (MCS) is usually ascribed when a patientwith brain damage exhibits obser vable volitional behaviors that predict recovery ofcognitive funct ions. Nevertheless, a patient with brain damage who lacks motorcapacit y might nonetheless be in MCS. For this reason, some clinicians use neuralsignals as a communicative means for MCS ascription. For instance, a vegetativestate patient is diagnosed with MCS if activity in the motor area is observed whenthe instruction to imagine wiggling toes is given. The validi (...) ty of using neuralsignals in ascribing MCS requires a special sort of inference. That is, no-reportparadigmatic assessments must have inductively strong ways of inferring a pur-ported informationa l content from the observed neural signal that grounds the factthat the patient has top-down cognitive control (or residual volition). Shannon’smathemat ical theory of communication and Bayes’ theorem reveals the formalstructure of neural communication. On the basis of relevant data from the neuro-science literature, I conclude that the formal structure combined with the data showsthat neural signals can be used as a communicative means for operational diagnosticcriteria for MCS ascription. (shrink)

The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into this position (...) because they rarely, if ever, take advantage of the rich information made available by lexical items. I hold, instead, that lexical items encode both extension and non-extension determining information. Under certain conditions, the non-extension determining information of an expression e can enter into the compositional processes that determine the meaning of more complex expressions which contain e. This paper presents and motivates a set of type-driven compositional operations that can access non-extension determining information and introduce bits of it into the meaning of complex expressions. The resulting multidimensional semantics has the tools to deal with key cases of semantic flexibility in appropriately constrained ways, making it a promising framework to pursue the project of truth-conditional pragmatics. (shrink)

Coordination is a widely employed term across recent quantitative and qualitative approaches to intersubjectivity, particularly approaches that give embodiment and enaction central explanatory roles. With a focus on linguistic and bodily coordination in conversational contexts, I review the operational meaning of coordination in recent empirical research and related theorizing of embodied intersubjectivity. This discussion articulates what must be involved in treating linguistic meaning as dynamic processes of coordination. The coordination approach presents languaging as a set of dynamic (...) self-organizing processes and actions on multiple timescales and across multiple modalities that come about and work in certain domains (those jointly constructed in social, interactive, high-order sense-making). These processes go beyond meaning at the level that is available to first-person experience. I take one crucial consequence of this to be the ubiquitously moral nature of languaging with others. Languaging coordinates experience, among other levels of behavior and event. Ethical effort is called for by the automatic autonomy-influencing forces of languaging as coordination. (shrink)

I argue that meaning is a result of our biological evolution, and that language evolved from primates’ ability to grasp conceptually the most important features of their environment. I hold that natural selection and adaptation ensure that primates both sense and conceptualize their world similarly, and that they therefore think similarly, whenever they receive the same sense impressions. This cognitive similarity enabled our predecessors to learn and develop a language because of the regular association of a particular sound and (...) a particular image. The evolutionary pressure on our predecessors to develop a language was the advantage that such a language had for cooperation and survival. Finally, I argue that the old, but in wider circles frowned-upon theory of meaning, the expressive theory of language, provides the best explanation of the relationship between thought, meaning, and words, because it operates with words and not sentences as the basic semantic unit. (shrink)

Originally published in 1981. This is a book for the final year undergraduate or first year graduate who intends to proceed with serious research in philosophical logic. It will be welcomed by both lecturers and students for its careful consideration of main themes ranging from Gricean accounts of meaning to two dimensional modal logic. The first part of the book is concerned with the nature of the semantic theorist's project, and particularly with the crucial concepts of meaning, truth, (...) and semantic structure. The second and third parts deal with various constructions that are found in natural languages: names, quantifiers, definite descriptions, and modal operators. Throughout, while assuming some familiarity with philosophical logic and elementary formal logic, the text provides a clear exposition. It brings together related ideas, and in some places refines and improves upon existing accounts. (shrink)

Although several studies propose that the integrity of neuronal assemblies may underlie a phenomenon referred to as awareness, none of the known studies have explicitly investigated dynamics and functional interactions among neuronal assemblies as a function of consciousness expression. In order to address this question EEG operational architectonics analysis (Fingelkurts and Fingelkurts, 2001, 2008) was conducted in patients in minimally conscious (MCS) and vegetative states (VS) to study the dynamics of neuronal assemblies and operational synchrony among them as (...) a function of consciousness expression. We found that in minimally conscious patients and especially in vegetative patients neuronal assemblies got smaller, their life-span shortened and they became highly unstable. Furthermore, we demonstrated that the extent/volume and strength of operational synchrony among neuronal assemblies was smallest or even absent in VS patients, intermediate in MCS patients and highest in healthy fully-conscious subjects. All findings were similarly observed in EEG alpha as well as beta1 and beta2 frequency oscillations. The presented results support the basic tenets of Operational Architectonics theory of brain-mind functioning and suggest that EEG operational architectonics analysis may provide an objective and accurate means of assessing signs of (un)consciousness in patients with severe brain injuries. Therefore this methodological approach may complement the existing “gold standard” of behavioral assessment of this population of challenging patients and inform the diagnostic and treatment decision-making processes. (shrink)

Several important terms in biology have recently been criticized for not being "operational." In this paper the course of operationism in physics, psychology and genetics is sketched to show what effect this particular view on the meaning of scientific terms had on these disciplines. Then the biological species concept and the concept of homology are examined to see in what respects they are or are not "operational." One of the primary conclusions of this investigation is that few (...) terms in science are completely operational or completely nonoperational. Some scientific terms, especially theoretical terms, are a good deal less operational than others; but, far from being regrettable, this situation is essential if theoretical terms are to fulfill their systematizing function and if scientific theories are to be capable of growth. (shrink)

We trace the difference between the ways in which apes and humans co–operate to differences in communicative abilities, claiming that the pressure for future–directed co–operation was a major force behind the evolution of language. Competitive co–operation concerns goals that are present in the environment and have stable values. It relies on either signalling or joint attention. Future–directed co–operation concerns new goals that lack fixed values. It requires symbolic communication and context–independent representations of means and goals. We analyse these ways of (...) co–operating in game–theoretic terms and submit that the co–operative strategy of games that involve shared representations of future goals may provide new equilibrium solutions. (shrink)

We ponder about the kind of problems and perspectives of a “formalized epistemology”, by considering the advantages than one can get from a concern with the “formal”, with its structural orientation, that would favour comprehensive, unifying and synthetic, intelligibility. We confront this perspective with that of the changes in knowledge, considering the relation between form and meaning for knowledge contents, and examine the notion of “epistemic operation” as instrumental for creating new forms, at the theoretical and meta-theoretical levels. Actually, (...) the notions of form, of formal and of object are not independent of the problem of a subject that decides on conventions and choices. “Epistemic operations” might suggest a link with “algorithmic functions” for knowledge statements, that themselves entail the risk of reductionism in a naturalistic conception of representation. (shrink)

What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages inside the formal model of an grammar of applicative, cognitive and enunciative operations , using the applicative formalism, functional types of categorial grammars and combinatory logic . In the enunciative theory and following , an utterance can be decomposed into two components: a modus and (...) a dictum . In GRACE, the modus is a complex operator applied to a proposition and is generated from more elementary operators of the categories of tense, aspect, and modality. The dictum is a proposition generated by a predicative relation. In this way, we can attribute a semantic meaning to different grammatical aspecto-temporal operators. The applicative expressions of CL can be easily translated into a functional programming language such as HASKELL or CAML. (shrink)

Background and significance of research: Nurses’ awareness of professional values and how those values affect their behaviors is an integral part of nursing care. There is a large body of research on nursing professional values, however, a careful survey of the available literature did not yield any studies investigating the status of professional values in operating rooms. Objective: This study aims to investigate the perception of operating room nurses of university hospitals toward professional values. Research plan: In this cross-sectional study, (...) data were collected using Schank and Weis’s Nurses Professional Values Scale–Revised. The collected data were analyzed in SPSS version 16. Participants and settings: The 513 participants of the study consisted of operating room nurses and nurse anesthetists from six university hospitals. Ethical considerations: This study has been approved by the ethics committee of the university. Findings: The mean total professional values score of the operating room staff was found to be 100.84 ± 15.685, which indicates that the participants had a positive perception toward observance of nursing professional values in practice. The results showed that the participants considered the domains of justice and activism as, respectively, the most and the least important. The operating room staff’s overall professional values scores were not found to correlate significantly with their ages, professional experience, university majors, or attendance at ethics workshops. However, a significant difference was found between the professional values scores of the female and male staff. The professional values scores of the operating room nurses and the nurse anesthetists were not significantly different. Conclusion: Operating room staff’s awareness of professional values is essential to providing care to patients based on professional principles. Accordingly, there is need for programs to raise operating room nurses’ awareness of their professional duties and improve their professional performance. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

In this paper, we investigate the constitutive problems and other several aspects of what a research entitled 'formal epistemology' should be. The interest in this subject has to do with the possibility of reaching a privileged point of view or axis of research - i.e., the 'formal' one - that would allow, a better grasp of the richness and variety of the facts and problems tackled by precise (local) epistemology of theories (for example, in physics). This approach is likely to (...) enable one to hold the main structural lines that organize those theories according to a more com prehensive, unifying and synthetic intelligibilit. By the same token, it would eventually allow a better handling of the changes required in the organization of knowledge, putting emphasis on its main directions, drawing up a rational inventory of this knowledge, and perhaps anticipating others. At first, we deal with the `thought of changes' that no approach of the 'form' can afford to leave aside, since the meaning of this concept is inseparable from the contents that come with constructions and modifications. We examine then the notion of 'epistemic operation' as an instrument to create new forms on the theoretical as well as on the meta-theoretical levels. ln the wake of it, we analyze the characteristics of the form and of the formal, as well as their relationship with the contents of knowledge. We also take the notion of object into account, since it depends upon the decision of a subject and upon conventional choices. We finally inquire about the link between `epistemic operations' as specified above and algorithmic functions for knowledge statements, and emphasize the risk of reductionism that might follow from a naturalistic conception of representation. (shrink)

In the October 1937 number of Philosophy of Science Lindsay has made certain criticisms of the adequacy of the “operational method” of analyzing and giving meaning to the concepts of physics, documenting his criticisms chiefly from my own writings. In these criticisms he has made statements as to the method which I would by no means accept. This is not characteristic of his paper only, for I have seldom indeed seen a printed discussion of the method which I (...) would accept as being an adequate or sometimes even fair representation of what I understand by it. It will perhaps pay therefore if I attempt to state what I conceive it to be all about, particularly since I have never attempted such a comprehensive statement and since my own ideas on the subject have been developing since I first wrote in the Logic of Modern Physics. For one reason I have hesitated to do this, for fear of seeming to subscribe to the not uncommon idea that we are dealing with some elaborate and profound new theory of the nature of knowledge or of meaning. I believe that I myself have never talked of “operationalism” or “operationism”, but I have a distaste for these grandiloquent words which imply something more philosophic and esoteric than the simple thing that I see. What we are here concerned with is an observation and description of methods which at least some physicists had already, perhaps unconsciously, adopted and found successful—the practise of the methods already existed. What I have attempted is to analyze these successful methods, not to set up a philosophical system and a theory of the properties that any method must have if it hopes to be successful. Since I was concerned with a technique already extant, my principal method of getting others to see what the technique involved has been to exhibit examples of the technique in action, rather than to attempt any exhaustive characterization of the technique itself. (shrink)

Since the very begining of quantum theory there started a debate on the proper role of space and time in it. Some authors assumed that space and time have their own algebraic operators. On that basis they supposed that quantum particles had “coordinates of position”, even though those coordinates were not possible to determine with infinite precision. Furthermore, time in quantum physics was taken to be on an equal foot, by means of a so-called “Heisenberg’s fourth relation of indeterminacy” concerning (...) time and energy. In this paper, the proper role of space and time in the core of non-relativistic quantum phsysics is analyzed. We will find that, rigorously, that relation for time and energy shows a different root. For the role of space, it will be discussed that there is no “coordinate of position” in the conceptual structure of quantum physics because quantum particles are not point-like objects. DOI:10.5007/1808-1711.2010v14n2p241. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

"Philosophy for Children" has preponderantly started from the assumption that there is no fundamental difference between the thinking of adults and the thinking of children: both make use of the same mental operations. Moreover, children seem to be interested in the same basic questions about life and its meaning as adults. So children and adults apparently perform the same activities when they join in philosophical discussions. It is also easily assumed that children are particularly apt to philosophical thinking, because (...) they are inquisitive, unconventional and - contrary to traditional educational opinion - rational, often even more so than adults. (shrink)

ABSTRACTBy the Many Categories problem, I mean the prima facie violation of Ockham’s Razor by realists about universals: there is, it might seem, just too much variety. Thus, David Armstrong posits both properties and relations. He also theorises about determinates of determinables. Another influential realist, E. J. Lowe distinguishes non-substantial from substantial universals. Yet again, both Armstrong and Lowe include in their ontology abstract particulars in addition to universals. My aim in this paper is to offer a unification of these (...) categories using an operator-theory. First, I show how operators provide a theory of abstract particulars of relations and of impure relational properties. Then, using impure relational properties I derive the Fregeanion Principle. After some metaphysics of mathematics, I provide a theory of determinables. Finally, I consider kinds and substances. (shrink)

The recent renaissance in research on psychedelic-assisted psychotherapy is showing great promise for the treatment of many psychiatric conditions. Interestingly, therapeutic outcomes for patients undergoing these treatments are predicted by the occurrence of a mystical experience—an experience characterised in part by a sense of profound meaning. This has led to hypotheses that psychedelic-assisted psychotherapy is therapeutic because it enhances perception of meaning, and consequently leads to a meaning response. The putative mechanism of action of psychedelics as (...) class='Hi'>meaning enhancers raises normative ethical questions as to whether it can be justified to pharmacologically increase the perception of meaning in order to heal patients. Using the perspectives of hedonistic moral theories, this paper argues that if psychedelics operate as meaning enhancers, psychedelic-assisted psychotherapy can be ethically justified. An anti-hedonistic objection is presented by applying Robert Nozick’s Experience Machine thought experiment to the case of psychedelic-assisted psychotherapy. However, it is argued that this objection falls short for two reasons. First, even if pleasure and pain are not the only consequences which have moral value they are not morally irrelevant, therefore, therapeutic meaning enhancement can still be justified in cases of extreme suffering. Second, it is possible that psychedelic states of consciousness do not represent a false reality, hence their therapeutic meaning enhancement is not problematic according to Nozick’s standards. (shrink)

Introduction. The rapid dynamics of the present world results in its complication and construction. Reality turns out to be woven from many quote fragments, representing a collage that a person creates and comprehends through the prism of various texts. Constantly transformable forms come to the fore and, as a result, there exists a plurality of meanings. Models of the world are continuously generated, replacing the actual reality with a multi- tude of spectacular simulacra. The search for ways to comprehend reality (...) through the identification of markers of its transformations is noted, and under- standing becomes the basis of ontology and one of the dominants of consciousness in the last quarter of the 20th and first quarter of the 21st centuries. Signs and symbols of subculture, determined by the context of culture and presented by various means, become one of the markers of the social reality transformations. The purpose of the study is to show the markers of the transformation of the total communication society. Methods. Methodological framework is in G. Gadamer’s hermeneutic approach and the provi- sions of M. Halliday’s social semiotics to coding/de- coding the meanings of operators-markers of social transformations. In addition, other methods were used in the work - methods of analogy, analysis and synthesis. Fragments of the study devoted to the study of chanson as a creolized text required the use of a systematic method. Scientific novelty of the research. The authors re- vealed the specificity of the chanson as a creolized text and present understanding of the subculture as a marker of the social reality transformations, which is manifested by sign-symbolic forms of con- tinuously generated creolized texts, thanks to the technique and technologies of communication. Results. Markers of social reality transformations represent them in the format of creolized texts. What is broadcast in them is filled with a person and, consequently, his responsibility for their con- tent is growing. Semiotic methodology based on the synthesis of the intellectual capital of hermeneutics and linguistics makes it possible for us to consider them as a product of human sign-symbolic activity and decode the content. Conclusions. The specificity of human existence is determined by the existence of a person in the lin- guistic aspect of the world around him - the world is given by language, which involves the search for meaning and understanding of the world. Thinking and language are ontologically connected: mean- ing is expressed by linguistic means. Although the nature of the markers of social reality transforma- tions is different, nevertheless, it is presented and framed as a text, the understanding of which is one of the ways to comprehend social reality. (shrink)

Armstrong holds the Supervenience Theory of instantiation, namely that the instantiation of universals by particulars supervenes upon what particulars and what universals there are, where supervenience is stipulated to be explanatory or dependent supervenience. I begin by rejecting the Supervenience Theory of instantiation. Having done so it is then tempting to take instantiation as primitive. This has, however, an awkward consequence, undermining one of the main advantages universals have over tropes. So I examine another account hinted at by Armstrong. This (...) is the Operator Theory of instantiation, by which I mean the theory that universals are operators, and that a particular instantiates a monadic universal because the universal operates on the particular, resulting in the state of affairs. On this theory the state of affairs supervenes on the instantiation rather than vice versa. In the second part of the paper I develop this theory of universals as operators, including an account of structural universals, which are useful for accounts of modality and of mathematics. (shrink)

The concept of biological mimicry is viewed as a ‘process of life’ theory rather than a ‘process of change’ theory—regardless of the historical interest and heuristic value of the subject for the study of evolution. Mimicry is a dynamic ecological system reflecting the possibilities for mutualism and parasitism created by a pre-established bipartite signal-based relationship between two organisms – a potential model and its signal receiver (potential operator). In a mimicry system agency and perception play essential, interconnected roles. Mimicry thus (...) describes emergent biologically meaningful relationships based on synergy, and is not an object-based theory. Biosemiotics offers a particularly valuable discipline for analysing the dynamics and nuances of mimicry systems, and can thus pave the way for a better and more complete understanding of how mimicry has evolved in the past, and how it might evolve in the future—presented here with special reference to the need for an integrated, ‘third way of evolution’ approach to biological relativity. A revised definition of mimicry is proposed. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Standard metasemantic frameworks render word meanings resistant to the control of ordinary speakers, and hinder our ability to exercise sovereignty over the denotations of words. The literature suggests three main responses to the problem: views on which ordinary denotational interventions cannot cause changes to semantic reality, views on which we should drop the metasemantic premises that generate the difficulty, and views on which denotational interventions boil down to operations on a non-recalcitrant region of the semantic spectrum. I review these responses (...) and argue that they face difficulties. Then, I draw on linguistic work on variation to make an alternative proposal. I suggest that part of the problem hinges on a tendency to think about standing meanings under heavily idealized assumptions of intra-linguistic homogeneity. To amend this, we should consider endorsing a localist ontology for semantic properties that allows individual vocabulary items to bear variable standing meanings at different communities of speakers of a public language. The result, I argue, is a middle-ground framework which accepts the difficulties of wide-scope meaning change while granting speakers semantic self-determination, and strikes an attractive balance between a few central desiderata. (shrink)

It is common in the literature on classical electrodynamics and relativity theory that the transformation rules for the basic electrodynamical quantities are derived from the pre-assumption that the equations of electrodynamics are covariant against these---unknown---transformation rules. There are several problems to be raised concerning these derivations. This is, however, not our main concern in this paper. Even if these derivations were completely correct, they leave open the following fundamental question: Are the so-obtained transformation rules indeed identical with the true transformation (...) rules of the fundamental electrodynamical quantities? In other words, is it indeed the case that the values calculated from the quantities in one inertial frame by means of the transformation rules we derived are equal to the values of the same quantities obtained by the same operations with the same measuring equipments when they are co-moving with the other inertial frame? This is of course an empirical question. In this paper, we will investigate the problem in a purely theoretical framework by applying what J. S. Bell calls “Lorentzian pedagogy”---according to which the laws of physics in any one reference frame account for all physical phenomena. We will show that the transformation rules of the electrodynamical quantities are indeed identical with the ones obtained by presuming the covariance of the equations of electrodynamics, and that the covariance is indeed satisfied. Beforehand, however, we need to clarify the operational definitions of the fundamental electrodynamical quantities. As we will see, these semantic issues are not as trivial as one might think. (shrink)

In this paper we show that the Proper Forcing Axiom is preserved under forcing over any poset PP with the following property: In the generalized Banach–Mazur game over PP of length , Player II has a winning strategy which depends only on the current position and the ordinal indicating the number of moves made so far. By the current position we mean: The move just made by Player I for a successor stage, or the infimum of all the moves made (...) so far for a limit stage. As a consequence of this theorem, we introduce a weak form of the square principle and show that it is consistent with PFA. (shrink)

I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)