In 1965, Claude Chabrol created La Muette – a fifteen-minute homage to Paris’s sixteenth district. In this short movie, Chabrol uses silence to ask some fundamental questions about the nature of human coexistence: the movie is seen, or better heard, from the perspective of a boy who, ignored by his parents, does not manage to say a word throughout; provoked by this imposed restriction, the boy decides to become not only “mute” but also “deaf.” His decision, however, results in tragic (...) consequences. In La Muette, Chabrol reminds us that the question of coexistence already posed by Virgil in his Eclogues, and signified by sound that freely resounds, has never ceased to be asked. In this Collision, I use the term “post-pastoral” to connect Virgil and Chabrol, and to open a discussion on sonically signified freedom. (shrink)

Recent evidence comparing recognition memory for famous faces and famous voices reveals an advantage for faces to elicit greater levels of episodic and semantic information than voices, even when overall levels of difficulty are matched between the two modalities. The paper by Barsics and Brédart makes a significant advance to this literature by demonstrating that even when encoding strategies are maximized to favor voice over face encoding by using personally familiar stimuli, facial cues continue to provide a more successful means (...) for associating episodic and semantic memories than voices. The implications of these findings are discussed in terms of the role of familiarity and its associated links to semantic memory as captured by person recognition memory models. (shrink)

This short enquiry investigates the relationships between knowledge of English and attitude towards the English language as held by Japanese university students. The goal of this study was to gain a better understanding of how attitude affects the learning of English and whether gender or geographic location of a student ’s hometown plays a role. A random sample of 85 participants completed a 26 item questionnaire which measured background information, attitude to English and knowledge of English. The difference in English (...) knowledge over several prefectures was tested using ANOVA and the results indicated that there was no statistical difference observed. Difference in attitude to English between male and female students was tested using a t-test and no statistical difference was observed. Pearson Correlation was used to test for any relationship between knowledge and attitude to English, but again no statistical different relationship was found. In addition , Multiple Regression was used to determine if there was a linear relationship between knowledge of English, and the 3 variables attitude to English, gender and prefecture. Again there was no statistically significant linear relationship between these variable. (shrink)

This paper represents an attempt to better understand the educational expectations of Japanese university students. Eighty students were asked to indicate whether or not they felt there was some relationship between 24 English words. The results were then added and entered into a table where the number at each intersection of words represented the total number of students that felt there relationship between those two words. This table was then analyzed using Multidimensional Scaling to produce a two dimension plot representing (...) the relationship between these 24 words. Since the distance between the words the plot represents the level of similarity, a study of the result gives some insight into the educational expectations of these students. A description of the data collection and analysis, as well as, one possible interpretation of the results is included. (shrink)

This paper presents the results of an attempt to adapt the technology acceptance model to a questionnaire to indicate whether or not the Moodle content management system was accepted by 147 Japanese University English language students. The questionnaire consisted of 13 items based on the factors of usefulness and ease-of-use. A factor analysis was performed on the results to ensure the number of underlying factors explaining the data. The result indicated that 2 factors explained more than 94% of item variation. (...) In addition, a discussion of the individual participant answers demonstrated that more than 85% of participants of this study accepted the Moodle system as both useful and easy to use. (shrink)

We review evidence that language is involved in the establishment and maintenance of adult categories of facial expressions of emotion. We argue that individual and group differences in facial expression interpretation are too great for a fully specified system of categories to be universal and hardwired. Variations in expression categorization, across individuals and groups, favor a model in which an initial “core” system recognizes only the grouping of positive versus negative emotional expressions. The subsequent development of a rich representational structure (...) may require the integration of a verbal categorization system with a perceptual processing system that is category-agnostic. Such a model may reconcile many strands of apparently conflicting behavioral, physiological, and neuroscience evidence concerning our understanding of facial expressions of emotion. (shrink)

The usage of metaphor in languages for specific purposes has been in the focus of interest of cognitive linguistics for years, especially after Lakoff and Johnson published their famous book “Metaphors We Live by” in 1980. Inspired by that book, the author strives to prove that metaphor was not only intensely present in the history of law but also that it pervades the language of contemporary legal theory and practice. Terms like _injury of law, the burden of evidence, soft laws, (...) hard laws,_ etc. are so often used by lawyers in their professional communication that they are hardly recognizable as metaphors. In the theoretical part, the terms _conceptual metaphor_ and _lexical metaphor_, as well as _the source domain_ and _the target domain of the metaphor_ are defined. Accordingly, conceptual metaphor and lexical metaphor are interpreted from the perspective of the language of law. As an introduction to the discussion on metaphoric terms in the field of law, a number of metaphors is presented and discussed from the point of view of legal history, as the metaphoric and other poetic expressions were recognized as the features of legalese back in the early seventeenth century. In the main part, the author presents and discusses the most common conceptual metaphors in connection with the terms _law, justice, court,_ and the types of metaphors typically used in specific branches of law as criminal law, company law, and contract law. The empirical part of the paper is focused on two research tasks. Firstly, metaphors occurring in selected Legal English textbooks are explored and discussed by using a qualitative and a quantitative approach, and secondly, metaphoric terms and phrases of the EU Law are excerpted from the Treaty Establishing the European Community (Consolidated version 2002), the main task being to establish the frequency of metaphors in this relatively young branch of law and the types of conceptual metaphors they belong to. In the closing part, conclusions on similarities and differences in the use of metaphor between two different types of legal texts are drawn with specific reference to the frequency, lexical structures, and typology of conceptual metaphors in the field of law. (shrink)

Name der Zeitschrift: Studies in Logic, Grammar and Rhetoric Jahrgang: 45 Heft: 1 Seiten: 97-110.

In many papers dealing with the stylistic features of legal texts, metaphor is highlighted as a stylistic figure often used in the language of law. On a daily basis we can witness the frequent use of metaphoric collocations like soft laws, hard laws, silent partner, hedge funds, etc. In this paper, the author analyses the use of denotations for colours as constituent parts of metaphoric collocations in the language of law. The analysis is conducted by using a comparative approach to (...) examples extracted by means of computer technology from international bills and conventions available online. In the main part of the paper, examples are classified by using a colour denotation as the main criterion for the classification. After that, the examples are compared with corresponding expressions used in German and Croatian. Taking into account the main principle of the Skopos translation theory that differences between cultures strongly influence the translation process, the hypothesis of this research is that in many cases there will be no lexical equivalence between collocations with colour denotation in three languages. Due to the fact that international bills and conventions build the corpus of the research, and that the English language has become the lingua franca of international communication, it can be expected that some metaphoric terms and collocations would be literally translated from English. Conclusions drawn from the comparative analysis of legal collocations containing denotations for colours can be interesting to lawyers and LSP teachers in the field of law. In this sense, results of the research can contribute to motivational aspects of teaching Legal English and Legal German. (shrink)

In accordance with the Bologna Declaration, modern languages and communication skills have a growing importance in all professions. With the prospect of Croatian membership of the EU and taking into consideration the conditions of the growing internationalization of law in general, knowledge of foreign languages represents an indispensable prerequisite for international com- munication within the legal profession. Thus, teaching foreign languages in the field of law, especially English and German, is necessary not only for the pro- fessional education of Croatian (...) law students, but also for their mobility within the network of European universities. This paper presents a case-study of the current situation in teaching Legal English and Legal German in Croatian Law Schools. First, the status of foreign languages for specific purposes in the Higher Education System of the Republic of Croatia in general is analyzed. The main part of the paper is dedicated to teaching Legal English and / or Legal German as compulsory courses within the curricula of Croatian law faculties. Then some projects on teaching foreign languages to practicing lawyers will be presented. With the prospect of Croatian membership of the EU, specific education programmes for lawyer- linguists have been introduced by the Law Faculties of Zagreb and Osijek. These programmes, developed within the lifelong education project for lawyers, offer an opportunity for Croatian law students and young lawyers not only to im- prove their knowledge of Legal English and Legal German, but also to learn other languages of the EU, like French or Italian. These new programmes are the response of Croatian foreign language teachers to the current requirements of the European labour market and the challenges of the internationalization of the modern world. (shrink)

In this paper we present two types of logics and \ ) where certain p-adic functions are associated to propositional formulas. Logics of the former type are p-adic valued probability logics. In each of these logics we use probability formulas K r,ρ α and D ρ α,β which enable us to make sentences of the form “the probability of α belongs to the p-adic ball with the center r and the radius ρ”, and “the p-adic distance between the probabilities of (...) α and β is less than or equal to ρ”, respectively. Logics of the later type formalize processes of thinking where information are coded by p-adic numbers. We use the same operators as above, but in this formalism K r,ρ α means “the p-adic code of the information α belongs to the p-adic ball with the center r and the radius ρ”, while D ρ α,β means “the p-adic distance between codes of α and β are less than or equal to ρ”. The corresponding strongly complete axiom systems are presented and decidability of the satisfiability problem for each logic is proved. (shrink)

The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend |$\textbf {PTEL}$| to axiomatize the corresponding first-order logic.

A normalizable natural deduction formulation, with subformula property, of the implicative fragment of classical logic is presented. A traditional notion of normal deduction is adapted and the corresponding weak normalization theorem is proved. An embedding of the classical logic into the intuitionistic logic, restricted on propositional implicational language, is described as well. We believe that this multiple-conclusion approach places the classical logic in the same plane with the intuitionistic logic, from the proof-theoretical viewpoint.

We study a propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| with both future and past temporal operators, with non-rigid set of agents and the operators for agents’ knowledge and for common knowledge and with probabilities defined on the sets of runs and on the sets of possible worlds. A semantics is given by a class |${\scriptsize{\rm Mod}}$| of Kripke-like models with possible worlds. We prove decidability of |$\textbf {PTEL}$| by showing that checking satisfiability of a formula in |${\scriptsize{\rm Mod}}$| is (...) equivalent to checking its satisfiability in a finite set of finitely representable structures. The same procedure can be applied to the class of all synchronous |${\scriptsize{\rm Mod}}$|-models. We give an upper complexity bound for the satisfiability problem for |${\scriptsize{\rm Mod}}$|⁠. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...) intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...) intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

Participation in deliberation in stable democracies produces effects which are beneficial for democracy, while the results of deliberative innovations in non-democracies are more ambiguous. This article contributes to the debate about the effects of participatory democratic innovations on attitudes, related to democratic commitments, political capacities and political participation, in the increasingly ubiquitous hybrid regimes. We present the evidence collected from the participants before and after deliberative mini publics (DMPs), held in Serbia in 2020. Serbia is an exemplary case of a (...) recent wave of autocratization, which had led to it becoming a hybrid regime, and it had no track record of deliberative innovations. When conducting the mini publics, we introduced an innovation in the standard design, by including active citizens - representatives of local initiatives or social movements particularly interested in the issue of DMPs. We could not find evidence that the democratic innovation affected attitudes of participants regarding democratic commitments, political capacities and political participation. However, we did find that participants of the DMPs became less satisfied with the functioning of the democracy on the local level. We argue that the anti-democratic wider context of hybrid regimes can produce adverse effects when introducing participatory democratic innovations, at least when it comes to this specific dimension of political participation. We conclude with the suggestions for further research, and a call for consideration of the wider political context when designing democratic interventions in hybrid regimes. (shrink)

Political discourse is primarily identified as political action, the discourse of deliberating which course of action to follow in accordance with specific political goals. A pragmatic analysis of various sub-genres of political discourse can identify the preference for particular speech acts. The first aim of this paper is to analyze commissive and expressive illocutionary acts in political speeches, as indicators of personal involvement of political speakers, notorious for vagueness and avoiding commitment. A corpus of Serbian, American and British political speeches (...) that address the issue of economic standard of living has been examined to identify commissive illocutionary acts as indicators of politicians’ explicit commitment to a chosen course of action, and expressive illocutionary acts as indicators of politicians’ explicit attitudes to their own or other politicians’ chosen practices. The analysis classifies subtypes of commissives and expressives in the corpus and identifies illocutionary force indicating devices that constitute them in English and in Serbian, after which the resulting classifications are compared and contrasted. The research results are aimed at explaining the hypothesis that a specific use/lack of commissives and expressives can be the politician’s strategy for adding credibility to their speeches, and in that way, swaying public opinion to serve the politician’s interest; conversely, establishing the relation between the use/lack of these illocutionary acts and the politician’s commitment to actions can be a method for exposing the politician’s lack of credibility and accountability. (shrink)

This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut.

We offer an alternative approach to the existing methods for intuitionistic formalization of reasoning about probability. In terms of Kripke models, each possible world is equipped with a structure of the form $$\langle H, \mu \rangle $$ that needs not be a probability space. More precisely, though H needs not be a Boolean algebra, the corresponding monotone function (we call it measure) $$\mu : H \longrightarrow [0,1]_{\mathbb {Q}}$$ satisfies the following condition: if $$\alpha $$, $$\beta $$, $$\alpha \wedge \beta $$, (...) $$\alpha \vee \beta \in H$$, then $$\mu (\alpha \vee \beta ) = \mu (\alpha ) + \mu (\beta ) - \mu (\alpha \wedge \beta )$$. Since the range of $$\mu $$ is the set $$[0,1]_{\mathbb {Q}}$$ of rational numbers from the real unit interval, our logic is not compact. In order to obtain a strong complete axiomatization, we introduce an infinitary inference rule with a countable set of premises. The main technical results are the proofs of strong completeness and decidability. (shrink)

Let $\mathcal M=$ be a linearly ordered first-order structure and T its complete theory. We investigate conditions for T that could guarantee that $\mathcal M$ is not much more complex than some colored orders. Motivated by Rubin’s work [5], we label three conditions expressing properties of types of T and/or automorphisms of models of T. We prove several results which indicate the “geometric” simplicity of definable sets in models of theories satisfying these conditions. For example, we prove that the strongest (...) condition characterizes, up to definitional equivalence, theories of colored orders expanded by equivalence relations with convex classes. (shrink)

In Ilić and Boričić, the right-handed cut-free sequent calculus $GRW$ for the contraction-less relevant logic $RW$ is defined. In this paper, we show that the enlargement of the system $GRW$ with the structural rule of intensional contraction presents the sequent system for the principal relevant logic $R$ but the rule of cut cannot be eliminated in $GRW+$.

In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic extended with (...) the corresponding modal laws for the modal logic \({\textbf{B}}\). We consider probability formulas of the form \(CS_{z_{1},\rho _{1}; \ldots ; z_{m},\rho _{m}} \square \lozenge \alpha \) related to an observable _O_ and a possible world (vector) _w_: if _a_ is an eigenvalue of _O_, \(w_{1}\),..., \(w_{m}\) form a base of a closed subspace of the considered Hilbert space which corresponds to eigenvalue _a_, and if _w_ is a linear combination of the basis vectors such that \(w=c_{1}\cdot w_{1}+ \cdots + c_{m}\cdot w_{m}\) for some \(c_{i}\in {\mathbb {C}}\), then \(\Vert c_{1}-z_{1}\Vert \le \rho _{1}\),..., \(\Vert c_{m}-z_{m}\Vert \le \rho _{m}\), and the probability of obtaining _a_ while measuring _O_ in the state _w_ is equal to \(\Sigma _{i=1}^{m}\Vert c_{i}\Vert ^{2}\). Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices, while for \(QLP^{ORT}\) also satisfy ortomodularity. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems, and also decidability for _QLP_-logics. (shrink)

A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.

In our paper [3], a sequent system for the contraction‐less positive relevant logic with co‐tenability,, is considered. Its sequent system with the rule of cut, which does not involve the truth constant t, is presented, and the proof that it admits the elimination of cut is given. However, in the proof of the cut‐elimination theorem some forms of proofs, which may cause difficulties for the cut‐elimination argument, are not considered. The purpose of this paper is to present them and to (...) re‐prove that admits the elimination of cut. (shrink)

We give a sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators is also intuitionistic (in contradistinction to other works on this topic), i.e., measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic, which is a combination of linear programming and an intuitionistic tableaux method.

We introduce a notion of simplicity for types in discretely ordered first order structures. We prove that all the structure on the locus of a simple type is induced exclusively by the ordering relation. As an application we determine all possible expansions of satisfying CB = 1.