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)

While there are many legal textbooks on the laws of armed conflict and academic works on ethical issues in international relations, this is the first text on the relevance of legal and normative issues in military practice. It covers the entire spectrum of military operations and is written with military deicision-makers particularly in mind.

Frege uses Greek letters in two different ways in his Begriffsschrift. One way is the familiar use of bound variables, in conjunction with variable-binding operators, to mark and close argument-places. The other, which is quite unfamiliar, employs letters to mark places for operators to reach into, without thereby closing these places. Frege thereby invents a powerful and compact notation for functional operations which can be recommended even today. His regrettable double use of Greek letters obscured his invention, and this, together (...) with the fact that in the Grundgesetze he no longer has need of function-valued functions, explains why the device was overlooked and has not passed into general use. (shrink)

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.

Tarski and Mautner proposed to characterize the "logical" operations on a given domain as those invariant under arbitrary permutations. These operations are the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively "logical", this lends support to the Tarski-Mautner proposal.

Based on the theoretical analysis of self-consciousness concepts, we hypothesized that the spatio-temporal pattern of functional connectivity within the default-mode network (DMN) should persist unchanged across a variety of different cognitive tasks or acts, thus being task-unrelated. This supposition is in contrast with current understanding that DMN activated when the subjects are resting and deactivated during any attention-demanding cognitive tasks. To test our proposal, we used, in retrospect, the results from our two early studies ([Fingelkurts, 1998] and [Fingelkurts et al., (...) 2003]). In both studies for the majority of experimental trails we indeed found a constellation of operationally synchronized cortical areas (indexed as DMN) that was persistent across all studied experimental conditions in all subjects. Furthermore, we found three major elements comprising this DMN: two symmetrical occipito-parieto-temporal and one frontal spatio-temporal patterns. This new data directly supports the notion that DMN has a specific functional connotation – it provides neurophysiologic basis for self-processing operations, namely first-person perspective taking and an experience of agency. (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)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

Let K = (p, q...; &, ∨, ~) be a zeroth-order formal language with sentence variables p, q..., two place connectives & (and), ∨ (or) and negation sign ~, and let F be the formula algebra (set of well-formed formulas in K defined in the standard way by induction from the sentence variables). If v is an assignment of truth values 1(true), 0(f alse) to the sentence variables p, q..., then classical propositional logic is characterized by extending v by induction (...) from p, q... to the formula algebra F in such a manner that the extension (called interpretation and also denoted by v) be a “homomorphism” from F into the two-element Boolean algebra B 2 ≡ (1, 0, ⋂, ⋃, ⊥), where “homomorphism” means that the following hold υ(q&p)=υ(q)∩υ(p)υ(q∨p)=υ(q)∪υ(p)υ(∼q)=υ(q)⊥. (shrink)

How can we critique political theory when all we have to use are its own conceptual tools? As Hannah Arendt observed, it can only be done through leaps, inversions, and the turning of concepts upside-down. But this twisting operation must be done in order to turn those who philosophize back to the hard work of real life change. In Turning Operations, renowned theorist Mary G. Dietz challenges specific contemporary modes of theorizing politics-from feminist theory to Habermasian discourse- -while appropriating some (...) of political theory's own approaches and some of its most striking figures, including Aristotle, Nietzsche, Weber, Beauvoir, and Arendt in order to foment some leaps, inversions, reversals and turns on politics along the way. Dietz confronts a number of current debates, arguing that most are filled with artificial division and empty terms. She argues that we must abandon commonly supported dichotomies-masculine versus feminine, speech versus action, liberty versus community -to create abetter discourse, and a better world. Turning Operations is an essential new contribution to democratic and feminist political thought. (shrink)

This work extend to residuated lattices the results of [ 7 ]. It also provides a possible generalization to this context of frontal operators in the sense of [ 9 ]. Let L be a residuated lattice, and f : L k → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L . We use this characterization of compatible functions in order to prove that the variety of (...) residuated lattices is locally affine complete. We study some compatible functions on residuated lattices which are a generalization of frontal operators. We also give conditions for two operations P ( x , y ) and Q ( x , y ) on a residuated lattice L which imply that the function $${x \mapsto min\{y \in L : P(x, y) \leq Q(x, y)\}}$$ when defined, is equational and compatible. Finally we discuss the affine completeness of residuated lattices equipped with some additional operators. (shrink)

Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: (...) to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense. (shrink)

I argue that David Lewis is too quick to deny the presentist the right to employ span operators. There is no reason why the presentist could not help herself to both primitive tensed slice operators and primitive span operators. She would then have another device available to eliminate ambiguities and explain why sentences with embedded contradictions may nevertheless be true.

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)

I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...) the co-operative basis of human life. The co-operation in human life is unavoidable; the alternative is a literal Hobbesian state of nature, and that is impossible. It is not that co-operation between people is a good thing or even a very good thing; it is simply unavoidable in human life, and it is impossible unless the qualities of character counted as virtues are encouraged and are at least fairly common. The possibility of human life presupposes a theory of human nature, and working out that theory of human nature is the main job of moral philosophy. These virtues or qualities of character or attitudes lead us towards a theory of reasons. A person with a sense of justice is a person inclined to accept certain sorts of facts as reasons for acting, and if the virtues are presupposed by human life then the acceptance of those sorts of facts as reasons for acting is presupposed by human life. A condition of the life of reasoning beings (a more accurate term here than 'human beings') is that moral reasons are reasons for acting and are at the very basis of reasoning. And from this it follows that properly conducted moral reasoning is ultimately guided by the virtues rather than ultimately guided by a set of rules. (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)

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)

Résumé La linguistique du texte a pour tâche la théorisation et la description des opérations de segmentation qui délimitent des unités de rang et de longueur différentes, et la théorisation et la description des différents effets de continuité créés par les opérations de liage de ces unités. À la structuration phrastique-périodique par la morpho-syntaxe et la prosodie à l’oral, la ponctuation à l’écrit, le palier micro-textuel ajoute six facteurs de texture transphrastique : les liages référentiels et isotopiques, les liages du (...) signifiant, l’ensemble des phénomènes de connexion, les relations d’implicitation, la cohésion énonciative et la cohésion illocutoire. À partir de trois textes, cet article illustre systématiquement et détaille ces six formes de liage transphrastique des unités textuelles de base. (shrink)

According to operator theories, "if" denotes a two-place operator. According to restrictor theories, "if" doesn't contribute an operator of its own but instead merely restricts the domain of some co-occurring quantifier. The standard arguments (Lewis 1975, Kratzer 1986) for restrictor theories have it that operator theories (but not restrictor theories) struggle to predict the truth conditions of quantified conditionals like -/- (1) a. If John didn't work at home, he usually worked in his office. b. If John didn't work at (...) home, he must have worked in his office. -/- Gillies (2010) offers a context-shifty conditional operator theory that predicts the right truth conditions for epistemically modalized conditionals like (1b), thus undercutting one standard argument for restrictor theories. I explore how we might generalize Gillies' theory to adverbially quantified conditionals like (1a) and deontic conditionals, and argue that a natural generalization of Gillies' theory -- following his strategy for handling epistemically modalized conditionals -- won't work for these other conditionals because a crucial assumption that epistemic modal bases are closed (used to neutralize the epistemic quantification contributed by "if") doesn't have plausible analogs in these other domains. (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 Operator Argument against eternalism holds that having non-vacuous tense operators in the language is incompatible with the claim that every proposition has its truth-value eternally. Assuming that (1) there are non-vacuous tense operators, (2) tense operators operate on propositions and (3) tense operators which operate on eternal entities are vacuous, it may be argued that eternalism is false. In this paper, I examine the Operator Argument. The goal is threefold. First, I want to present some aspects of the debate (...) in a more elaborate way, especially those concerning formal matters. Secondly, I will argue that eternalism can escape the Operator Argument. There are two main strategies for handling the Operator Argument. The first one is based on replacing temporal operators with object-language quantifiers. The second rejects the identification of compositional semantic value with assertoric content. My third goal is to show that none of them is as good as the strategy that adopts Timestamp Semantics (Fritz in Philosl Stud 176:2933–2959, 2019). I am going to argue that the quantificational treatment of tenses is compatible with temporalism and that the arguments for rejecting the identification of compositional semantic value with assertoric content provide, in fact, a motivation for the temporalist position. At the end, I will develop Timestamp Semantics by providing a novel formalization of it, and defend it against three potential counter-arguments. (shrink)

The research aims to study the role of strategic and operational planning as approach for crises management in UNRWA - Gaza Strip field- Palestine. Several descriptive analytical methods were used for this purpose and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that strategic and operational planning is performed in UNRWA. The results of static analysis show that there are a (...) relation between strategic and operational planning and crises management. In spite this relation existence, it need more improvement and expanding. Also there are shortcomings in the way that organization manages the crises before and after they occur. A crisis management is only practicing during the crisis. The study suggests that UNRWA must invest in more resources to enhance strategic and operational palming and improve other methods to face potential crises in the future. (shrink)

A REFERENCE UUH FOR Llb^nv, J'-t ONLY Operations Research With Special Reference to Non-Military Applications A Comprehensive Scientific Aid to Executive Decisions OPERATIONS Research (or, as the British say, Operational Research) is ...

I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so-called Tarski-Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the notion of invariance is needed if one wants to use it to characterize logicality.

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)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...) even simplify their logical formulation. (shrink)

Scheduling surgical procedures among operating rooms is mistakenly regarded as merely a tedious administrative task. However, the growing demand for surgical care and finite hours in a day qualify OR time as a limited resource. Accordingly, the objective of this manuscript is to reframe the process of OR scheduling as an ethical dilemma of allocating scarce medical resources. Recommendations for ethical allocation of OR time—based on both familiar and novel ethical values—are provided for healthcare institutions and individual surgeons.

Recently, new types of independence of a pair of C *- or W *-subalgebras (1,2) of a C *- or W *-algebra have been introduced: operational C *- and W *-independence (Rédei and Summers, http://arxiv.org/abs/0810.5294, 2008) and operational C *- and W *-separability (Rédei and Valente, How local are local operations in local quantum field theory? 2009). In this paper it is shown that operational C *-independence is equivalent to operational C *-separability and that operational W *-independence is equivalent to (...) operational W *-separability. Specific further sub-types of both operational C *- and W *-separability and operational C *- and W *-independence are defined and the problem of characterization of the logical interdependencies of the independence notions is raised. (shrink)

Relational, operator, and predicate systems are distinguished on the basis that they correspond to the three possible pair-wise bracketings into two constituents of the three parts of a proposition: relation, subject, and object. It is asserted that the verbal propositional modality (left hemisphere) uses a predicate grammar, while the spatial-image operational modality (right hemisphere) uses an operator grammar. Verbal propositional memory has the capacity for extensive propositional embedding while spatial operational memory does not.

We study vertex operators in 4D conformal field theory derived from quantized gravity, whose dynamics is governed by the Wess-Zumino action by Riegert and the Weyl action. Conformal symmetry is equal to diffeomorphism symmetry in the ultraviolet limit, which mixes positive-metric and negative-metric modes of the gravitational field and thus these modes cannot be treated separately in physical operators. In this paper, we construct gravitational vertex operators such as the Ricci scalar, defined as space-time volume integrals of them are invariant (...) under conformal transformations. Short distance singularities of these operator products are computed and it is shown that their coefficients have physically correct signs. Furthermore, we show that conformal algebra holds even in the system perturbed by the cosmological constant vertex operator as in the case of the Liouville theory shown by Curtright and Thorn. (shrink)

The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that the ${\forall^{1}}$ quantifier (...) is not uniformly definable in Dependence Logic, thus answering a question posed by Kontinen and Väänänen in the above mentioned paper. (shrink)

Behavior that solves a problem is distinguished by the fact that it changes another part of the solver's behavior and is strengthened when it does so. Problem solving typically involves the construction of discriminative stimuli. Verbal responses produce especially useful stimuli, because they affect other people. As a culture formulates maxims, laws, grammar, and science, its members behave more effectively without direct or prolonged contact with the contingencies thus formulated. The culture solves problems for its members, and does so by (...) transmitting the verbal discriminative stimuli called rules. Induction, deduction, and the construction of models are ways of producing rules. Behavior that solves a problem may result from direct shaping by contingencies or from rules constructed either by the problem solver or by others. Because different controlling variables are involved, contingency-shaped behavior is never exactly like rule-governed behavior. The distinction must take account of a system which establishes certain contingencies of reinforcement, such as some part of the natural environment, a piece of equipment, or a verbal community; the behavior shaped and maintained by these contingencies; rules, derived from the contingencies, which specify discriminative stimuli, responses, and consequences, and the behavior occasioned by the rules. (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)

The understanding of the interrelationship between brain and mind remains far from clear. It is well established that the brain's capacity to integrate information from numerous sources forms the basis for cognitive abilities. However, the core unresolved question is how information about the "objective" physical entities of the external world can be integrated, and how unifiedand coherent mental states (or Gestalts) can be established in the internal entities of distributed neuronal systems. The present paper offers a unified methodological and conceptual (...) basis for a possible mechanism of how the transient synchronization of brain operations may construct the unified and relatively stable neural states, which underlie mental states. It was shown that the sequence of metastable spatial EEG mosaics does exist and probably reflects the rapid stabilization periods of the interrelation of large neuron systems. At the EEG level this is reflected in the stabilization of quasi-stationary segments on corresponding channels. Within the introduced framework, physical brain processes and psychological processes are considered as two basic aspects of a single whole informational brain state. The relations between operational process of the brain, mental states and consciousness are discussed. (shrink)

Institutional operability refers to the normative conditions governing the exercise of power of office that makes an institution work. Because institutional action occurs by the interrelated actions of the officeholders, a focus on institutional operability requires the analysis and assessment of the officeholders’ conduct in their institutional capacity. This article distinguishes two perspectives on operability: ‘outward’ and ‘inward.’ The outward view emphasizes predefined instructions for efficient execution, focusing on rule-following to achieve institutional purposes. The inward perspective highlights role-playing and reflective (...) engagement among officeholders to uphold an institution’s raison d’être. The inward perspective brings to the fore the relational aspect of institutional life and officeholders’ interrelated responsibility for guiding institutional action. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

Let L be a commutative residuated lattice and let f : Lk → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L. We use this characterization of compatible functions in order to prove that the variety of commutative residuated lattices is locally affine complete. Then, we find conditions on a not necessarily polynomial function P(x, y) in L that imply that the function x ↦ min{y є L (...) | P(x, y) ⪯ y} is compatible when defined. In particular, Pn(x, y) = yn → x, for natural number n, defines a family, Sn, of compatible functions on some commutative residuated lattices. We show through examples that S1> and S2, defined respectively from P1 and P2, are independent as operations over this variety; i.e. neither S1 is definable as a polynomial in the language of L enriched with S2 nor S2 in that enriched with S1. (shrink)

Four consequence operators based on hypergraph satisfiability are defined. Their properties are explored and interconnections are displayed. Finally their relation to the case of the Classical Propositional Calculus is shown.

The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators form (...) the basic mechanism of cognition. At the same time, there is no unified theory of the nature and functions of operators. In this work, we elaborate a detailed analysis of operators, which range from the most abstract formal structures and symbols in mathematics and logic to real entities, human and machine, and are responsible for effecting changes at both the individual and collective human levels. Our goal is to find what is common in physical objects called operators and abstract mathematical structures, with the name operator providing foundations for building a unified but flexible theory of operators. The paper concludes with some reflections on functionalism and other philosophical aspects of the ‘operation’ of operators. (shrink)

We study the extension of Feferman’s operational set theory provided by adding operational versions of unbounded existential quantification and power set and determine its proof-theoretic strength in terms of a suitable theory of sets and classes.