This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the (...) only primitive logical connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of (...) intuitionistic propositional logic with implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all (...) infinite sets. However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...) special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or “observer”, or “user” to infinity implied by Henkin’s proposition as the only consistent ones as to infinity. (shrink)

A theoretically rigorous approach to the key problems of Molinism leads to a clear distinction between semantic and metaphysical problems. Answers to semantic problems do not provide answers to metaphysical problems that arise from the theory of middle knowledge. The so-called ‘grounding objection’ to Molinism raises a metaphysical problem. The most promising solution to it is a revised form of the traditional ‘essence solution’. Inspired by Leibniz’s idea of a ‘notio completa’ (complete concept), we propose a mathematical model of ‘possibilistic’ (...) (Molinist) complete concepts. They ground middle knowledge within the very being of the agents themselves. Molinist Complete Concepts can thus serve to reject consequence-style arguments against Molinism. They also allow the Molinist to safeguard a robustly libertarian notion of the ability to do otherwise. (shrink)

We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a (...) Semantic Analysis of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend (...) this constructive method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. (...) Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

It is no accident that white privilege designed to be both be invisible and weightless to white people. Alison Bailey’s “On White Privilege and Anesthesia: Why Does Peggy McIntosh’s Knapsack Feel Weightless?” extends a weighty invitation white readers to complete the unpacking task McIntosh (1988) began when she compared white privilege to an “invisible and weightless knapsack.” McIntosh focuses primarily making white privilege visible to white people. Bailey’s project continues the conversation by extending a ‘weighty invitation’ to white readers to (...) explore why the metaphorical knapsack, despite the weight of its contents, feels weightless. Here’s the short answer. The knapsack only feels weightless because white people have become anesthetized us to our own brokenness. We are more comfortable considering what white privilege does for us than what it does to us. People of color feel the weight of whiteness every day. The weighty invitation invites white readers to become sensitive to our own insensitivity. To do this Bailey (1) explores white resistance to unpacking the weight; (2) people of color’s testimonies to the daily impact of the weight on their bodies; and (3) how the anesthesia of white privilege distorts our humanity. The article concludes with a McIntosh style list of that the anesthesia of privilege distorts white people’s humanity. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper fills (...) this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...) entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

It is argued that standard accounts of the epistemology of religious commitmentfail to be properly sensitive to certain important features of the nature of religious conviction. Once one takes these features of religious conviction seriously, then it becomes clear that we are not to conceive of the epistemology of religious conviction along completely rational lines.But the moral to extract from this is not fideism, or even a more moderate proposal that casts the epistemic standing of basic religious beliefs along nonrational (...) lines. Rather, one needs to recognise that in an important sense religious convictions are not beliefs at all, but that this is compatible with the idea that many other religious commitments are beliefs. This picture of the nature of religious commitment is shown to fit snugly with the Wittgensteinian account of hinge commitments, such that all rational belief essentially presupposes certain basic arational hinge commitments, along lines originally suggested by John Henry Newman. We are thus able to marshal a parity-style argument in defence of religious commitment. Although religious belief presupposes basic arational religious convictions, it is not on this score epistemically amiss since all belief presupposes basic arational convictions, or hinge commitments. The resulting view of the epistemology of religious commitment is a position I call quasi-fideism. (shrink)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems (...) are also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus (...) for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions (...) are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound (...) and complete, and it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

The wrong kind of reason (WKR) problem is a problem for attempts to analyze normative properties using only facts about the balance of normative reasons, a style of analysis on which the ‘Reasons First’ programme depends. I argue that this problem cannot be solved if the orthodox view of reasons is true --- that is, if each normative reason is numerically identical with some fact, proposition, or state-of-affairs. That’s because solving the WKR problem requires completely distinguishing between the right- (...) and wrong-kind reasons for an attitude. I argue that some facts give both right- and wrong-kind reasons for an attitude. Consequently, no such distinction between the two types of reasons is complete if reasons are facts or the like. I conclude by suggesting that reasons and facts are related by constitution, not identity. (shrink)

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of (...) agency. In particular, we apply it to reason about the resource-sensitive use of artefacts. (shrink)

The leading question of our lecture series is in which areas and in which sense fractures and incompleteness are relevant for us. Are brokenness and incompleteness only accidental and singular, or do they belong to the style of things in general? Is wholeness and perfection the rule, and fracture the exception? The same question must be applied to the distinction between our knowledge of the world and the world itself. Is brokenness and incompleteness due to the things themselves, or (...) only to our perception and knowledge of them? - For the time being, the term "world" will be used in the sense of the "whole of things", which is usual, later this term of the world will be supplemented by a second one. (shrink)

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some (...) point on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all the (...) sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of (...) abstract algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups of (...) formulas whose top rows differ. For them I provide (i) a tree-style system of ‘row tree proofs’, which is shown to be sound and complete, and (ii) an alternative, re-writing strategy. (shrink)

J. N. (Jitendra Nath) Mohanty (1928–2023). -/- Professor J. N. Mohanty has characterized his life and philosophy as being both “inside” and “outside” East and West, i.e., inside and outside traditions of India and those of the West, living in both India and United States: geographically, culturally, and philosophically; while also traveling the world: Melbourne to Moscow. Most of his academic time was spent teaching at the University of Oklahoma, The New School Graduate Faculty, and finally Temple University. Yet his (...) preeminent work in Husserlian phenomenology developed alongside his eminent work in Indian philosophy: describing his interests as “a fusion of disparate horizons.” -/- J. N. Mohanty was born September 26, 1928, in Cuttack (Odisha, East India). After graduating from high school, he went on to study both Indian and Western philosophy in Calcutta, earning bachelor’s and master’s degrees. There he read Whitehead and Kant’s First Critique; although he wanted to include mathematics in his curriculum, he was led instead to include Indian philosophy and Sanskrit. On the shelves of his teacher, Ras Vihar Das, he came upon a copy of the English translation (Ideas I, 1931) of Edmund Husserl’s classic Ideen I (1913), which presented Husserl’s ground-breaking conception of phenomenology. In 1952–1954 he left India for the first time, reaching Göttingen to study mathematics and philosophy, which earned him a doctorate in mathematics and “philosophy of mathematical sciences” (in his own words). In Göttingen, Mohanty found the powerful mathematical world that Husserl himself had earlier interacted with, where several Husserl students had formed the Göttingen school of phenomenology. During these years Mohanty studied primarily mathematics, alongside Kant and also Vedic Sanskrit. From his friend Günter Patzig, interpreter of Aristotle and Frege, Mohanty was drawn to Frege in relation to mathematical logic. He attended lectures of Heidegger, intrigued by his ontological thinking. Yet, despite the Husserlian legacy, Mohanty was completely self-taught in his studies of Husserl (as he has reported). With a doctorate in mathematics, and ideas from Kant and Frege in his philosophical background, Mohanty set about crafting his own conception of philosophy grounded in phenomenology, drawing on Husserl’s extensive work, critically sifting through Husserl’s texts and their emerging concepts of intentionality, meaning, subject, intersubjectivity, and world. In between he wrote his first book-length study: on phenomenological insights in Nicolai Hartmann and A. N. Whitehead (1958). -/- Over many decades Mohanty formulated and argued, in analytical detail, for a conception of phenomenology and its place in philosophy, later presented in a clear and concise book titled Transcendental Phenomenology: An Analytic Account (1989). Over these very decades the same scholar explored classical and recent Indian philosophy, thinking through kindred ideas of consciousness, self, and knowledge drawn from the Indian philosophical contexts. While writing on Nyāya theory of truth, he also pondered whether the world and finite individual are illusory or real, and whether Marx, Arendt, Gandhi (whom he heard speak in Calcutta), or Vinoba Bhave (with whom he marched across India for the land-grant movement) could best navigate post-Independent India’s social and svarāj or self-rule reforms. The two Mohantys, thinking through a vision of self and world, turned out to be “non-different” or “non-dual” as they each practiced critical phenomenology from both inside and outside the respective philosophical and cultural traditions. Numerous students, fellows, and colleagues or collaborators have benefited immensely from this infusion and unified approach to diversity in philosophical thought. In the 2000s, moving into retirement, Mohanty wrote two long books devoted to his understanding of Husserl and phenomenology and the calling of philosophy itself. This two-volume study shows Mohanty himself thinking through Husserl, critically, in The Philosophy of Edmund Husserl: A Historical Introduction (2008), and Edmund Husserl’s Freiburg Years: 1916–1938. As Mohanty worked on Husserl, he carefully indicated where he agreed and where he rejected or changed ideas, all part of his practice in phenomenology of “description and interpretation.” It was the same pattern he used in addressing the thought of Husserl vis-à-vis Kant or Frege or even Quine. -/- As Mohanty developed his understanding of phenomenology over the years, he wrote books on theory of meaning and the concept of intentionality, developing a model of ideal meaning and its foundation in intentionality, drawing on Husserl’s results. He followed these with the book Husserl and Frege (1982), linking the thought of those foundational figures for the “continental” and “analytic” traditions, respectively, in twentieth-century Western philosophy. Over his long career Mohanty addressed both traditions in his clear and accessible writing style. While developing his views on phenomenology, Mohanty regularly looked to “Husserl and his others,” evaluating views in Heidegger, Sartre, Merleau-Ponty, Ricoeur, and then Derrida and others in the wake of Husserl. With his background in Kant, Mohanty also looked toward Heidegger and Hegel in relation to Husserl’s later work in the Crisis (1935–38). Similarly, he looked to contemporary analytic philosophers, adjudicating his own, oft-wise Husserlian views in relation to Frege, Nagel, and others. Amid his active scholarly career, Mohanty co-founded the journal Husserl Studies, and was editorial advisor to Philosophy & Phenomenological Research, Philosophy East & West, Journal of Indian Philosophy, Sophia, among others. -/- Yet all this while Mohanty was also thinking and writing about Indian philosophy and its relation to phenomenology. In his own retrospective, Indian philosophy is “the permanent background” of his Husserlian thinking, while Kant is the recurrent Western background of his Husserlian phenomenology. Mohanty’s form of “transcendental phenomenology” evolved, in his own perspective, against the background of his studies of Navya-Nyāya on logic and Vedānta on consciousness, in Indian philosophy, and against the background of Kant’s First Critique on the transcendental, in Western philosophy. Accordingly, Mohanty’s study of logical form and of the intentionality of consciousness seeks a fusion of East and West in the conception of transcendental phenomenology. (Cf. Mohanty’s apt response to critics in The Empirical and the Transcendental (2000).) Even in the context of North American Husserl scholarship, Mohanty has exercised an earnest fusion of East and West. For the so-called East Coast and West Coast interpretations of Husserl’s crucial notion of noema both find a sympathetic spirit in J. N. Mohanty’s careful and nuanced interpretation of Husserlian transcendental phenomenology. With Mohanty the two faces of the noema are the logical (Fregean) and the phenomenal (Kantian), and these views of intentional structure join in consciousness—in a way resonant with Indian thought. -/- - David Woodruff Smith (UC Irvine) and Purushottama Bilimoria (SFSU, San Francisco; University of Melbourne) -/- For photo of Prof Mohanty visit APA online memorial_minutes2023 Courtesy of APA Memorial Minutes (& Proceedings) 2023 . (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...) extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

In one of their papers, Michael De and Hitoshi Omori observed that the notion of classical negation is not uniquely determined in the context of so-called Belnap-Dunn logic, and in fact there are 16 unary operations that qualify to be called classical negation. These varieties are due to different falsity conditions one may assume for classical negation. The aim of this paper is to observe that there is an interesting way to make sense of classical negation independent of falsity conditions. (...) We discuss two equivalent semantics, and offer a Hilbert-style system that is sound and complete with respect to the semantics. (shrink)

This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.

Bertrand Russell in "My Philosophical Development" claimed he converted to neutral monism in 1919, in the essay "On Propositions." I question whether Russell was really a complete neutral monist in the style of Mach and James and conclude that he was not. Russell's lingering commitment to image propositions and a linguistic theory of meaning and truth and falsity separate him from the more naturalistic causal theory of knowledge and error one finds in James and Mach.

STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all (...) of the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings. (shrink)

It was already Hannah Arendt, who, referring to Kant, emphasized the difference betweentruth and meaning, between practical common sense and opinions. It is interesting that the common sense approach is still completely dominant today, even among theologians, who are so often accused of irrationality – or perhaps just because of it. Theology seems to feel compelled to appeal to common sense, to show the modern world, that it is useful, or at least that it is not harmful. Our discussion in (...) this essay concerns the relationship between religion and violence. We will try and explore the problem on the fundamental level, with no pretensions to offer yet another proposal in the style of 'how to ...', that modern requirements for practicality require and expect. (shrink)

Using the perspective of situated cognition we studied how people interact with a physical map to help them navigate through an unfamiliar environment. The study used a mixture of cognitive ethnography and traditional experimental methods. We found that the difference between high and low performing navigators showed up in the speed they completed their task and also in the way they use maps. High performers plan routes using a survey method whereas low performers use a route strategy. We suggest that (...) when people are given a task that does not match their cognitive style they try to transform the task to better suit their cognitive abilities and cognitive style. (shrink)

Background: Subgenual cingulate cortex (SCC) responses to self-blaming emotion-evoking stimuli were previously found in individuals prone to self-blame with and without a history of major depressive disorder (MDD). This suggested SCC activation reflects self-blaming emotions such as guilt, which are central to models of MDD vulnerability. -/- Method: Here, we re-examined these hypotheses in an independent larger sample. A total of 109 medication-free participants (70 with remitted MDD and 39 healthy controls) underwent fMRI whilst judging self- and other-blaming emotion-evoking statements. (...) They also completed validated questionnaires of proneness to self-blaming emotions including those related to internal (autonomy) and external (sociotropy) evaluation, which were subjected to factor analysis. -/- Results: An interaction between group (remitted MDD v. Control) and condition (self- v. other-blame) was observed in the right SCC (BA24). This was due to higher SCC signal for self-blame in remitted MDD and higher other-blame-selective activation in Control participants. Across the whole sample, extracted SCC activation cluster averages for self- v. other-blame were predicted by a regression model which included the reliable components derived from our factor analysis of measures of proneness to self-blaming emotions. Interestingly, this prediction was solely driven by autonomy/self-criticism, and adaptive guilt factors, with no effect of sociotropy/dependency. -/- Conclusions: Despite confirming the prediction of SCC activation in self-blame-prone individuals and those vulnerable to MDD, our results suggest that SCC activation reflects blame irrespective of where it is directed rather than selective for self. We speculate that self-critical individuals have more extended SCC representations for blame in the context of self-agency. (shrink)

The paper discusses peculiarity of the comparative method applied in philosophysince 1920s. It presents its basic foundations and objectives, as well as the early and most recent definitions of “comparative philosophy”. The author aims at reconsidering in terms of philosophy both the reasons for bias against this method and its advantages in the context of cross-cultural comparative studies. The crucial question is whether various incommensurate schemata of thought, including these which are determined by distinct cultural milieus, may be the subject (...) of comparison at all. To answer this question, she refers, among others, to Ludwik Fleck’s conception of a socially constructed “thought style” and“the truth”, being completely determined within a thought style. The author also consults the conceptions of Stanisław Schayer, Daya Krishna, Bimal K. Matilal and Jitendra NathMohanty who recommend the comparative method as highly useful for the on-going philosophical debates as long as it is not confined to tracing merely similarities between different intellectual traditions, i.e. analogical ideas and equivalent arguments. What seems to the present author the most valuable philosophical contribution to the comparative studies is the perspective of polilogue suggested by Franz M. Wimmer, and the metacomparative self-reference recognized by Wilhelm Halbfass and Robert W. Smid as precious enhancement and challenge for profound philosophical inquiry as such. (shrink)

International development theorists and practitioners agree that human empowerment is a necessary part of good development. This agreement is encouraging because attention and resources are being directed towards the important goal of empowering the oppressed. It is problematic because the agreement is relatively superficial and masks some deep and important disagreements about the goals and means of development theory, policy, and practice. Chapters One and Two compare the dominant economic growth approach to development with the capability approach, a relatively new (...) alternative. I determine that the capability approach offers a more complete and therefore, superior concept of empowerment. Chapter Three considers Thomas Pogge’s argument for the conclusion that the praise and attention the capability approach receives cannot be justified. I explain that Pogge’s argument is based on a misunderstanding of crucial aspects of the capability approach, including the important role of empowerment. Chapters Four and Five provide detailed consideration of the role of empowerment within both Amartya Sen’s and Martha Nussbaum’s versions of the capability approach. I conclude that although neither scholar consistently uses the term empowerment, the concept of empowerment – both as agency and as capability-set expansion – plays a robust role on both versions of the approach. Moreover, I make the controversial suggestion that many of the differences between Sen and Nussbaum are more a matter of style than substance. Chapter Six considers the concern that Sen does not do enough to engage the role of institutionalized power in generating inequalities that prevent individuals from being empowered. I conclude that despite valuable contributions, Sen fails to provide a complete account of empowerment issues. However, this is not a fatal flaw. Considering both Sen’s contributions, and the fact that the approach is well suited to accommodate a more complete understanding of institutionalized power and of empowerment for development (for example, Naila Kabeer’s Social Relations Approach), it is clear that Sen and the capability approach have offered valuable steps towards a complete concept of empowerment. (shrink)

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but (...) accessible to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

The purpose of the article is to identified the origin and essence of Western individualism. Methods of research. I used the methodology of post-nonclassical metaphysics of history, as well as the methods of epistemological polytheism and comparative. Results. The first sprouts of individualism can be detected in Greek poleis. It is the crisis of the polis system in Ancient Greece that predetermined the disappointment of the Greeks in the old collectivist ideals. Roman collectivism quite naturally got along with ideas about (...) civil liberties and the dignity of an individual citizen. The idea of citizenship was brought to the theoretical perfection by moving it beyond the boundaries of city walls. The Christian ideal is not a self-sufficient person, but the community of believers. It is the weakening of the church’s position and the strengthening of the influence of Antiquity that led to the formation of the Western style of thinking, which became the basis of the new European civilizational project. John Locke rethought the Hobbesian “Roman” theory of the social contract, thereby laying the foundations of liberalism, and hence of individualism. However, radically changing the hierarchical society, even the shaken revolution and the restoration of the Stuarts, no theoretical work could not. But in the New World, free from class barriers, Locke’s ideas found a much more fertile soil. Conclusions. The Western version of individualism emerges as a civilizational ideal at the junction of two completely different paradigms — the Ancient (Greek and Roman) and the Christian. Being present in the “body” of the West, individualism could not access its code. The latter was guarded by numerous barriers, among which the Catholic collectivism and the class divisions of hierarchical society were the most powerful guards. In American society, security barriers were significantly weaker, which allowed individualism to develop in the United States. Then American individualism returned to Europe and is now perceived as an integral element of Western civilization. (shrink)

James A. Harris's biography of David Hume is the first such study to appear since Ernest Mossner's The Life of David Hume (1954). Unlike Mossner, Harris aims to write a specifically "intellectual biography", one that gives "a complete picture of Hume's ideas" and "relates Hume's works to the circumstances in which they were conceived and written" (vii). Harris's study turns on four central theses or claims about the character of Hume's thought and how it is structured and developed. The claims (...) are: (1) Hume's Treatise has no claim to any sort of "privileged" status in relation to Hume's other major works -- which include his Essays and his History of England. -/- (2) There is no system, doctrine, or fundamental aims or ambitions that serve to unify Hume's thought. -/- (3) Irreligious aims and interests are not of any particular or unique importance for Hume's thought. Moreover, whatever irreligious aims and objectives Hume may have had, they reflect his moderate, neutral and detached attitude to this and all other subjects -- there is no underlying animus or hostility against religion that motivates his contributions to this subject. (4) Hume's thought should be understood and explained not in terms of his concern with some specific subject matter or body of doctrine but rather in terms of his style and his identity as a "philosophical man of letters". -/- The general picture of Hume that emerges from this study, as constructed around these four core theses, is, as I will explain, incomplete, unconvincing and, in important respects, seriously flawed and misleading. -/- . (shrink)

This paper deploys a Cantor-style diagonal argument which indicates that there is more possible mathematical content than there are propositional functions in Russell and Whitehead's Principia Mathematica and similar formal systems. This technical result raises a historical question: "How did Russell, who was himself an expert in diagonal arguments, not see this coming?" It turns out that answering this question requires an appreciation of Russell's understanding of what logic is, and how he construed the relationship between logic and Principia (...) Mathematica. (shrink)

Background: The attitudes of many undergraduates towards practicum exercise is declining in each passing year, affecting the quality of educational leaders produced from higher education. Studies in the past, have documented that there is no significant difference in the attitudes of students with or without practicum experience towards academic activities in higher education. Little or nothing seems to be known at the moment regarding the reasons why there is an indifference in the attitudes of students after completing a practicum course. (...) In response to this gap, we designed this study to assess principals' leadership variables as the presumed cause of undergraduates' declining attitudes towards practicum exercise in secondary schools. -/- Methods: A census study was carried out in Cross River State, where the entire 667 secondary school administrators (271 principals and 396 vice principals) were studied. “Principals’ Leadership Variables and Undergraduates’ Attitudes Towards Practicum Exercise Questionnaire” (PLVUATPEQ), designed by the researchers, was used in data collection. Data collected were analysed using simple linear regression analysis. Results: We find amongst others, that principals’ leadership styles, communication patterns, decision-making and supervisory approaches significantly predict undergraduates' attitudes towards practicum exercise relatively. Each of these independent variables accounts differently for the variance in the dependent variable based on their unique coefficient of determination. -/- Conclusion: It was concluded generally, that principals’ leadership variables significantly predict undergraduates’ attitudes towards practicum exercise. The attitudes of undergraduates towards practicum exercise increases as the leadership styles, communication patterns, decision-making skills, and supervisory approaches of principals improve. The implications of this study are discussed for policy and educational reforms. (shrink)

The significance of hair is deeply rooted in African ontology. It depicts leadership status and when shaved off completely, may sometimes signify mourning or lack of dignity. In Benin-city of Edo state in Nigeria, Chiefs who are mostly men are identified by their unique hair-styles. It shows their position of leadership in the society and when a king dies, all the men in the kingdom are expected to shave off their hair as a sign of respect for the departed king. (...) In the culture of the Yoruba people of Nigeria, hair is highly celebrated by the women as it is seen as a crown of glory upon their heads. With advancement in globalisation and cross-cultural relationships, the culture of hair and its ontological significances are gradually being eroded as expressed in Chimamanda Adichie‟s „Americanah‟. For this reason, the hair, being a very important symbol of cultural identity has become a key role in understanding the issues with identity crises in Africa. The paper analyses the ontological significances of hair in Africa, evaluates the issues involved in the misrepresentation of African hair as presented in some African literature as well as interrogates the issues of identity crises occasioned by African hair. (shrink)

In this paper, I am reflecting on Abraham Zaleznik’s paper “managers and leaders: are they different?” He was a prominent Harvard business school professor who attacked management style for depending only on rationality and achieving goals. He believed that managers and leaders are totally different persons. He described managers as inscrutable, detached and manipulative. Plus, while managers are interested in control and how things are done, leaders are more concerned with ideas and innovation. I try to probe into various (...) questions related to both management and leadership to approach a clearer opinion for these inquires: do managers and leaders really have completely different personalities? Or are they both competing for the same target of getting work done through people? Is management upgradable with more knowledge and hard work? Are leaders more empathetic than managers? What makes managers inscrutable and manipulative? Is this innate or acquired? In which way leaders are different? Seems a huge task but I will tackle this issue by conducting a comparative study among two prominent figures as Sheikh Zayed Al Nahyan and Nelson Mandela. I will trace some points of similarities and differentiations based on the timeless lessons from their life stories that will endure for years to come. Both were gifted visionary individuals who exercised full range of cognitive, emotional and behavioral abilities to bring about profound change in their countries. (shrink)

A guide for translators, about the translation theory, the translation process, interpreting, subtitling, internationalization and localization and computer-assisted translation. A special section is dedicated to the translator's education and associations. The guide include, as annexes, several independent adaptations of the corresponding European Commission works, freely available via the EU Bookshop as PDF and via SetThings as EPUB, MOBI (Kindle) and PDF. For a “smart”, sensible translation , you should forget not the knowledge acquired at school or university, but the corrective (...) standards. Some people want a translation with the touch of the source version, while another people feel that in a successful version we should not be able to guess the original language. We have to realize that both people have right and wrong, and that their only fault is to present requirement as an absolute truth. Teachers agree at least on this principle: “If a sentence is ambiguous, the translation must also be“. There is another critical, less easy to argue, based on an Italian phrase with particularly strong wording: “Traduttore, traditore“. This critique argues that any translation will betray the author‘s language, spirit, style … because of the choices on all sides. What to sacrifice, clarity or brevity, if the formula in the text is brief and effective, but impossible to translate into so few words with the exact meaning? One could understand this criticism that it encourages us to read “in the text.” It seems obvious that it is impossible to follow this advice into practice. CONTENTS: Translation - Assessment of the amount of translated texts - Translation and interpretation - - Translation documents - Translation theories - - Practical / communicative approach - - Approaches of literary theories - - Sociolinguistic mainstream - - Approaches based on linguistic theories - - Approaches based on philosophical and hermeneutic concepts - - Semiotic approaches - The translation process - Types of translations - - Technical translation - Schools of thought - Difficulties associated with specialized domains - The problem of double translation - Thoughts about translation - European standard for translation services - Beautiful infidels - Self-translation - - Types of self-translation - - Factors that promote self-translation - - Self-translation and not authorial translation - Technical translation - - Terminology - - Translation process - - Translation tools - - The technical translator - - - Status - - - Remuneration - Conference interpreting - - Methods of interpretation - - Skills of the interpreter - - Contexts and working languages - - The interpretation in international institutions - - - UNESCO - - - European Union Internationalization and localization - Example - Internationalization and localization - Challenges - Software localization - - Difficulties - - Composing specifications - - Special tools Computer-assisted translation - Translation memory - - Advantages and disadvantages - - General operation - - Various - - Software - Machine translation - - Translation process - - Prerequisites - - Difficulties - - Approaches - - Development - - Existing products and services - - Prospective - Parallel text Subtitle - Subtitling or dubbing? - Description - Subtitling the movies - - Spotting - - Translation - - Simulation - - Engraving, inlaying or packaging - - The live broadcast - Live captioning - - Velotype - - Touch typing - - Computer-aided stenotype - - Speech recognition - Surtitles - - Comments - - Technical means - - Artistic issues - Quasi instant voice translation - - Difficulties - - Ongoing projects - - Future Translation Studies - Theories of translation - Interpretive theory - Back-translation - - The proper use of back-translation - False friends - - Cognates - - - Complete false friends - - - Partial false friends - - False cognates - Translation process - - The implications of the "inside" language - - Total and not absolute translation - - A single model - Untranslatability - - Hovering - - Translation methods - - - Adaptation - - - Calque - - - Compensation - - - Borrowing - - - Periphrasis - - - Translator's note - - Untranslatability of poetry and puns - - An amazing counterexample Translators - Translator's notes - European Master's in Translation - - European Master's in Translation - - - Organization of EMT - - - Core skills - - The EMT label - - EMT Network - - - Eligibility - - Members - European Council of Literary Translators' Associations - - History - - Objectives - International Translation Day Annexes: Translation in EU - Translation Guide - - Think before you write - - - Who will be reading the document? - - - What are you trying to achieve? - - - What points must the document cover? - - Focus on the reader - - - Be direct and interesting - - Get your document into shape - - - When you start - - - As you write - - - Two common problems at the European Commission: - - KISS - Keep It Short and Simple - - - Short... - - - ... and Simple: - - - Simple, uncluttered style also means: - - Make sense - structure your sentences - - Cut out excess nouns - verb forms are livelier - - Be concrete, not abstract - - Prefer active verbs to passive - - - Name the agent - - Beware of false friends, jargon and abbreviations - - - Avoid false friends - - - Avoid or explain jargon - - - Take care with abbreviations - - Revise and cheque check - Clear English Tips - - English prefers to be simple, concise and concrete. - - - Use simple words where appropriate. - - - Prefer a verb to an abstract noun - - - Prefer a gerund to an abstract noun - - - Prefer participles to relative clauses - - - And eliminate participles entirely if appropriate. - - - Use the passive voice sparingly - - - Consider replacing negatives with positives - - - Consider short forms and pronouns to avoid repeating full names … - - - Express conditions, including hidden ones, with ‘if’ ... - - - In general, cut out extra verbiage. - - English prefers straightforward syntax - - - Keep the subject close to the beginning of the sentence - - - Avoid splitting up subjects, modals, verbs and direct objects - - - If a sentence is too long, pull information out into separate sentences. - - - Use topic-introducing phrases sparingly. - - English may use different number, articles, gender or words from other languages - - - Keep uncountable nouns in the singular. - - - Use ‘a’ rather than ‘the’ for members of a class. - - - Do not use gender pronouns for entities. - - - Consider alternatives to ‘of’. - - - Finally, avoid ‘false friends’ in translation. - English Style Guide - - Introduction - - Writing English - - - GENERAL - - - SPELLING - - - PUNCTUATION - - - NUMBERS - - - ABBREVIATIONS AND SYMBOLS - - - Acronyms and initialisms - - - Contractions and truncations - - - FOREIGN IMPORTS - - - PARTS OF SPEECH - - - LISTS - - - SCIENCE GUIDE - - - FOOTNOTES, CITATIONS AND REFERENCES - - - CORRESPONDENCE - - - PERSONAL NAMES AND TITLES - - - NAMES OF BODIES - - - GENDER-NEUTRAL LANGUAGE - - About the European Union - - - THE EUROPEAN UNION - - - PRIMARY LEGISLATION - - - SECONDARY LEGISLATION - - - THE EU INSTITUTIONS - - - REFERENCES TO OFFICIAL PUBLICATIONS - - - EU FINANCES - - - MEMBER STATES - - - OFFICIAL LANGUAGES AND CURRENCIES - - - EXTERNAL RELATIONS - - TRANSLITERATION - - - TRANSLITERATION TABLE FOR GREEK - - - TRANSLITERATION TABLE FOR CYRILLIC - - FORMS OF ADDRESS - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - Style Guide for EU Member States - - Austria - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Belgium - - - Geography - - - Judicial bodies - - - Legal instruments - - - Federal structure - - Bulgaria - - - Geography - - - Judicial bodies - - - Legal instruments - - Croatia - - - Geography - - - Regions - - - Judicial bodies - - - Political and administrative structure - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - - Miscellaneous - - Cyprus - - - Geography - - - Judicial bodies - - - Legal instruments - - Czech Republic - - - Geography - - - Judicial bodies - - - Legal instruments - - Denmark - - - Geography - - - Judicial bodies - - - Legal instruments - - Estonia - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Finland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - France - - - Geography - - - Judicial bodies - - - Legal instruments - - Germany - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Greece - - - Geography - - - Judicial bodies - - - Legal instruments - - Hungary - - - Geography - - - Judicial bodies - - - Legal instruments - - Iceland - - - Judicial bodies - - Ireland - - Italy - - - Geography - - - Judicial bodies - - - Legal instruments - - Latvia - - - Geography - - - Judicial bodies - - - Legal instruments - - Lithuania - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Luxembourg - - - Geography - - - Judicial bodies - - - Legal instruments - - Malta - - - Geography - - - Judicial bodies - - - Legal instruments - - Netherlands - - - Geography - - - Judicial bodies - - - Legal instruments - - Poland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Portugal - - - Geography - - - Judicial bodies - - - Legal instruments - - Romania - - - Geography - - - Judicial bodies - - - Legal instruments - - Slovakia - - - Geography - - - Judicial bodies - - - Legal instruments - - Spain - - - Geography - - - Judicial bodies - - - Legal instruments - - Sweden - - - Geography - - - Judicial bodies - - - Legal instruments - - Turkey - - - Judicial bodies - - - Legal instruments - - United Kingdom - - - Geography Quotes References About the author - Nicolae Sfetcu . (shrink)

« En écrivant son Traité de l’Interprétation, Aristote a trempé sa plume à l’encre de son esprit ! » L’antique remarque de Cassiodore vaut encore aujourd’hui tant la matière étudiée est complexe et le style ramassé. Aristote démonte les mécanismes du langage philosophique, aux confins de la linguistique et de la métaphysique. Il offre à cette occasion des développements fondateurs sur la formulation de la vérité, les règles de mise en contradiction, les propositions universelles, la contingence des jugements sur (...) le futur, ou encore les redoutables énonciations modales. S’appuyant sur ses prédécesseurs, Thomas d’Aquin en rédige un commentaire hautement structuré, reconnu comme l’un des plus explicites. Demeuré cependant inachevé, il est complété par Thomas de Vio, dit Cajetan, un des premiers grands thomistes et maître logicien. C’est de l’ensemble de ces deux parties de commentaires que nous proposons la traduction ; la seconde pour la première fois en langue française. (shrink)

Globalization has made it easier for people to migrate, thus increasing diversity within organizations. One problem with this migration is that 1st and 2nd generation immigrants may prefer different leadership styles than those of the mainstream culture. The purpose of this survey-based quantitative comparative study was to investigate the effects of acculturation on the work-related cultural values and leadership style preferences of Mexican immigrants living in the United States. The research question that guided this study focused on the differences (...) in work-related cultural values and preferred leadership styles between 2 generations of Mexican immigrants, Mexicans, and U.S.-born Caucasians. Two hundred and forty-five participants completed the survey. The researcher used a Likert-type self-assessing questionnaire adapted from existing instruments to measure the work-related cultural values and preferred leadership styles of two generations of Mexican immigrants, native Mexicans, and U.S.-born Caucasians. Statistical tools, such as correlations, Cronbach’s alpha, t-test, and analysis of variance (ANOVA) were used to test measurement reliability and to test for differences in the mean scores of the criterion variables among the 4 groups. The researcher found that, in the aggregate, Mexican immigrants did not acculturate to the mainstream values of the United States, 2nd generation Mexican immigrants’ scores were similar to those of U.S.-born Caucasians in work-related values, and all groups prefer the servant leadership style. Implications for social change may include raising the awareness of human resource managers of the differences and similarities in values and preferences of their staff, which may help improve the relationships between managers and the employees. (shrink)

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

History of science students will want to read this book. Professor Zuo animates the life, career, and thought of SHEN Gua in this delightful historical, biographical work. SHEN Gua embodied the classical spirit of the scholar-official during the Song dynasty. Shen is the author of Brush Talks from Dream Brook, a canonical text in the study of the history of science in China and in the Notebook style of writing. Zuo argues, using a double-narrative structure, that Shen’s intellectual life (...) and career are fused in his scientific empiricism. This book is a complete study containing a List of Tables and Figures, three pages of Acknowledgments, a List of terms. (shrink)