Although symmetry has been discussed in terms of a major law of perceptual organization since the early conceptual efforts of the Gestalt school (Wertheimer, Metzger, Koffka and others), the first quantitative measurements testing for effects of symmetry on processes of Gestalt formation have seen the day only recently. In this study, a psychophysical rating study and a “foreground”-“background” choice response time experiment were run with human observers to test for effects of bilateral symmetry on the perceived strength of figure-ground in (...) triangular Kanizsa configurations. Displays with and without bilateral symmetry, identical physically-specified-to-total contour ratio, and constant local contrast intensity within and across conditions, but variable local contrast polarity and variable orientation in the plane, were presented in a random order to human observers. Configurations with bilateral symmetry produced significantly stronger figure-ground percepts reflected by greater subjective magnitudes and consistently higher percentages of “foreground” judgments accompanied by significantly shorter response times. These effects of symmetry depend neither on the orientation of the axis of symmetry, nor on the contrast polarity of the physical inducers. It is concluded that bilateral symmetry, irrespective of orientation, significantly contributes to the, largely sign-invariant, visual mechanisms of figure-ground segregation that determine the salience of figure-ground in perceptually ambiguous configurations. (shrink)

In this short paper I note that a key metatheorem does not hold for the bilateralist inferential framework: harmony does not entail consistency. I conclude that the requirement of harmony will not suffice for a bilateralist to maintain a proof theoretic account of classical logic. I conclude that a proof theoretic account of meaning based on the bilateralist framework has no natural way of distinguishing legitimate definitional inference rules from illegitimate ones (such as those for tonk). Finally, as an appendix (...) to the main argument, I propose an alternative non-bilateral formal solution to the problem of providing a proof-theoretic account of classical logic. (shrink)

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative (...) introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible. (shrink)

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...) rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's (...) first argument, ‘It is assertible that if and only if it is assertible that it is assertible that ’, is one that bilateralists can reject, and concludes that they cannot. It follows that the logic of assertibility and deniability, according to a result by Williamson, is the little known modal logic K4 studied by Sobociński. The paper ends with a plaidoyer for bilateralists to adopt this logic. (shrink)

Ian Rumfitt (2000) developed a bilateralist account of logic in which the meaning of the connectives is given by conditions on asserted and rejected sentences. An additional set of inference rules, the coordination principles, determines the interaction of assertion and rejection. Fernando Ferreira (2008) found this account defective, as Rumfitt must state the coordination principles for arbitrary complex sentences. Rumfitt (2008) has a reply, but we argue that the problem runs deeper than he acknowledges and is in fact related to (...) the challenge of establishing proof-theoretic harmony. We motivate a distinctively bilateral criterion for harmony and show how the bilateralist can meet it. This also resolves Ferreira's complaint. (shrink)

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: negative introduction and (...) elimination rules, and positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality, using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible. (shrink)

Proof-theoretic semantics is an inferentialist theory of meaning originally developed in a unilateral framework. Its extension to bilateral systems opens both opportunities and problems. The problems are caused especially by Coordination Principles (a kind of rule that is not present in unilateral systems) and mismatches between rules for assertion and rules for rejection. In this paper, a solution is proposed for two major issues: the availability of a reduction procedure for tonk and the existence of harmonious rules for the paradoxical (...) zero-ary connective \(\bullet\). The solution is based on a reinterpretation of bilateral rules as complex rules, that is, rules that introduce or eliminate connectives in a subordinate position. Looking at bilateral rules from this perspective, the problems faced by bilateralism can be seen as special cases of general problems of complex systems, which have been already analyzed in the literature. In the end, a comparison with other proposed solutions underlines the need for further investigation in order to complete the picture of bilateral proof-theoretic semantics. (shrink)

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof rules has (...) a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (shrink)

This book provides a framework that encompasses both physics and cognitive science – integrating them into a ‘theory of everything’ to establish a basis for both our scientific and humanistic endeavours. It explores the implications of brain laterality for understanding the emergence of mind and its relation to the physical world – arguing that the analytic vs. holistic cognitive differences of the left and right human cerebral hemispheres are key to understanding not only human self-consciousness and language, but also sociocultural (...) phenomena ranging from the emergence of the scientific method and axes of political orientation to the direction of development of conceptions of God and the fundamental differences between polarizing philosophical traditions. In a further step, the book draws on the Darwinian principle that our cognitive apparatus is shaped by the environment in which it evolved to argue that human bilaterality mirrors the fundamental hylomorphic relation between formal organization and material components that constitutes physical nature itself. The logical division between holistic and analytic categories thereby offers a principled basis for a metaphilosophy. (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is (...) neutral regarding cognitivism about imperatives. (shrink)

We examine the short-term and long-term impact of bilateral agreements on migrant workers’ vulnerability during their employment in Israel. To do so, we developed the Vulnerability Index of Migrant Workers based on five dimensions: poor working conditions, poor living conditions, poor safety conditions, low wages, and dependence on migration costs. We focus on migrant workers arriving in Israel from two different countries, employed in two different sectors of the economy. Data was gathered through a survey conducted among workers arriving from (...) both countries before and after the implementation of the bilateral agreements. The study revealed that after the implementation of bilateral agreements, the working, living and safety conditions of migrant workers remained poor or even worsened. For Thai workers, there was a slight improvement in the working and living conditions in the short term after the bilateral agreement, but they worsened in the long run. The total Index of Vulnerability of both groups showed improvement due to the dramatic decrease in dependence on migration costs, despite the deterioration in some working and living conditions and the reduction in migrant workers’ relative wages. (shrink)

The paper introduces the formula structure of poly-sequents, allowing the expression of poly-positions: positions with any number of stances, of which bilateralism and trilateralism are special cases. The paper also puts forward the view that s-coherence of such poly-positions can be defined inferentially, without appealing to their validity under interpretations of the object language.

Bilateralism is a theory of meaning according to which assertion and denial are independent speech acts. Bilateralism also proposes two coordination principles for assertion and denial. I argue that if assertion and denial are independent speech acts, they cannot be coordinated by the bilateralist principles.

Subject and purpose: Using annual data for the periods 2009–2019, this paper examines trade flows between China and the Visegrad Group countries. The aim of this article is to assess real changes taking place in international trade in the Visegrad Group countries over the last eleven years. The starting point for the analysis was 2009 – the time after the 2008 economic crisis, and it was compared especially to 2018 – a year marked by a significant improvement in the economy. (...) The purpose is to discuss concerns related to the differences in bilateral trade between China and Poland, Czech Republic, Hungary, and Slovak Republic. The main aim of this research is to distinguish the characteristics of bilateral trade by products between V4 and China in years 2009–2019. The purpose of this article is also to systematize and discuss points of view, rationalizing further empirical research. Two research hypotheses, resulting from the research purpose, were formulated: H1: in the V4 countries import exceeds export, and this trend seems to be growing, H2: Chinese goods imported to the V4 are much more sophisticated than those exported. Design/methodology/approach: To assess the initial and current situation on international trade between the V4 and China, the author uses variables obtained from WTO and OEC resources, diagnosing the situation in Poland, Czech Republic, Hungary, and Slovak Republic. The collected empirical data were processed using theoretical methods such as analysis, synthesis, and comparison to formulate conclusions using deductive and inductive inference methods. Practical Implications: The results can be used in scientific and expert work on diagnostic and forecast trends in bilateral trade by products between the V4 and China. Originality/value: It concerns the indication of the importance of the V4 trade with China compared to the share of the V4 countries in world trade. It was also possible to identify the top export and import products of the V4. The findings also confirm the significant change in China’s trading structure. (shrink)

This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical and (...) intuitionist logic can be characterised as a difference of the conditions under which discharge is allowed. Harmony, as ordinarily understood, has nothing to say about discharge. This raises the question whether the notion of harmony can be suitably extended. This requires there to be a suitable fourth way of manipulating formulas that discharge can stand in harmony to. The question is whether there is such a notion: what might it be that stands to discharge of formulas as introduction stands to elimination? One that immediately comes to mind is the making of assumptions. I leave it as an open question for further research whether the notion of harmony can be fruitfully extended in the way suggested here. In the second part, I discuss bilateralism, which proposes a wholesale revision of what it is that is assumed and manipulated by rules of inference in deductions: rules apply to speech acts – assertions and denials – rather than propositions. I point out two problems for bilateralism. First, bilaterlists cannot, contrary to what they claim to be able to do, draw a distinction between the truth and assertibility of a proposition. Secondly, it is not clear what it means to assume an expression such as '+ A' that is supposed to stand for an assertion. Worse than that, it is plausible that making an assumption is a particular speech act, as argued by Dummett (Frege: Philosophy of Language, p.309ff). Bilaterlists accept that speech acts cannot be embedded in other speech acts. But then it is meaningless to assume + A or − A. (shrink)

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

ABSTRACT There are many ways of understanding what it is for an argument to be valid. Although we usually identify the concept of validity with logical validity and, in turn, we typically take this to capture the notion of necessary preservation of truth in virtue of logical form, this is just one way in which validity can be explained. A different understanding of the notion of validity that has received some attention recently is based on the idea that an argument (...) is valid just in case accepting its premises is incoherent with rejecting its conclusion. The main claim of the paper will be that, under this understanding of the notion of validity, the usual reasons to privilege a treatment of validities over a treatment of invalidities loose much of their force. Validity and invalidity are on a par, which means that there are no strong reasons to treat validities primitively and to define invalidities in terms of them. (shrink)

Language anomalies and left-hemisphere dysfunction are commonly reported in schizophrenia. Additional evidence also suggests differences in the integration of information between the hemispheres. Bilateral gain is the increase in accuracy and decrease in latency that occurs when identical information is presented simultaneously to both hemispheres. This study measured bilateral gain in controls and individuals with schizophrenia using a lexical-decision task where word or non-word judgements were made to letter strings presented in the left visual field , right visual field or (...) bilaterally . Language was not abnormally lateralized in the schizophrenia group. Controls exhibited the expected decrease in latency when words were presented bilaterally. This effect was not observed in the schizophrenia group who were actually disadvantaged in this condition. The lack of bilateral gain in schizophrenia is discussed as arising from differences in the connections between areas in each hemisphere that mediate language. (shrink)

This Article discusses BLAs as tools of global labor migration governance, with a specific focus on gender. Drawing on our global database of 582 bilateral labor migration agreements, we investigate the extent to which these governing instruments connect and align with relevant international normative frameworks, in particular the extent to which they represent gains, gaps or gaffs in terms of gender equality and the human and labor rights protection of women migrants. In the context of the Global Compact for Safe, (...) Orderly and Regular Migration, which stresses a gender-responsive approach to migration governance as one of its guiding principles, we ask: Do the BLAs which are increasingly being used as instruments to govern labor migration contribute toward sustainable gender equality, decent work and reduced inequalities for women and gender-diverse migrants? (shrink)

In a recent paper del Valle-Inclan and Schlöder argue that bilateral calculi call for their own notion of proof-theoretic harmony, distinct from the usual (or ‘unilateral’) ones. They then put forward a specifically bilateral criterion of harmony, and present a harmonious bilateral calculus for classical logic. In this paper, I show how del Valle-Inclan and Schlöder’s criterion of harmony suggests a notion of normal form for bilateral systems, and prove normalisation for two (harmonious) bilateral calculi for classical logic, HB1 and (...) HB2. The resulting normal derivations have the usual desirable features, like the separation and subformula properties. HB1-normal form turns out to be strictly stronger that the notion of normal form proposed by Nils Kürbis, and HB2-normal form is neither stronger nor weaker than a similar proposal by Marcello D’Agostino, Dov Gabbay, and Sanjay Modgyl. (shrink)

The aim of this paper is to provide a philosophical interpretation of bilateralism in terms of probabilism. In particular, to interpret the main concepts of bilateralism –acceptance, rejection and incoherence– in terms of the probabilistic notions of degree of belief and coherence. According to bilateralism, the meaning of logical connectives is determined by the acceptance and rejection conditions of the sentences in which they are involved, where acceptance and rejection cannot be reduced to one another. I will (...) focus on a variant of bilateralism that understands logical consequence as the statement that it is incoherent to accept all the premises of a valid argument while rejecting all its conclusions. On the other hand, probabilism states that it is possible to interpret our degrees of belief in terms of probabilities. The aim of this work is then to interpret the concept of incoherence in terms of probability functions and determine when it is coherent to accept or to reject a proposition according to some threshold defined in terms of degrees of belief. To achieve this goal, we need both an interpretation of the concept of incoherence coined by the bilateralists as well as an interpretation of acceptance and rejection. I will show that a good interpretation of coherence in probabilistic terms can already be found in the literature. Then, I will give an interpretation of acceptance and rejection in terms of degrees of belief. In particular, I will show that it is possible to interpret these concepts in accordance with Locke’s thesis, the thesis that states that there is some threshold r such that if you believe some sentence in degree equal or higher than r you should accept it, without falling into epistemic paradoxes. (shrink)

Performance of bimanual motor actions requires coordinated and integrated bilateral communication, but in some bimanual tasks, neural interactions and crosstalk might cause bilateral interference. The level of interference probably depends on the proportions of bilateral interneurons connecting homologous areas of the motor cortex in the two hemispheres. The neuromuscular system for proximal muscles has a higher number of bilateral interneurons connecting homologous areas of the motor cortex compared to distal muscles. Based on the differences in neurophysiological organization for proximal vs. (...) distal effectors in the upper extremities, the purpose of the present experiment was to evaluate how the level of bilateral interference depends on whether the bilateral interference task is performed with homologous or non-homologous effectors as the primary task. Fourteen participants first performed a unilateral primary motor task with the dominant arm with proximal and distal controlled joysticks. Performance in the unilateral condition with the dominant arm was compared to the same effector’s performance when two different bilateral interference tasks were performed simultaneously with the non-dominant arm. The two different bilateral interference tasks were subdivided into homologous and non-homologous effectors. The results showed a significant decrease in performance for both proximal and distal controlled joysticks, and this effect was independent of whether the bilateral interference tasks were introduced with homologous or non-homologous effectors. The overall performance decrease as a result of bilateral interference was larger for proximal compared to distal controlled joysticks. Furthermore, a proximal bilateral interference caused a larger performance decrement independent of whether the primary motor task was controlled by a proximal or distal joystick. A novel finding was that the distal joystick performance equally interfered with either homologous or non-homologous interference tasks performed simultaneously. The results indicate that the proximal–distal distinction is an important organismic constraint on motor control and for understanding bilateral communication and interference in general and, in particular, how bilateral interference caused by homologous vs. non-homologous effectors impacts motor performance for proximal and distal effectors. The results seem to map neuroanatomical and neurophysiological differences for these effectors. (shrink)

The theory of mental models considers sentential connectives to refer to semantic possibilities. The theory also proposes that the possibilities can be amended by virtue of modulation processes, that is, processes in which semantics or pragmatics can have an influence. The definition of modulation the theory of mental models gives has been deemed as a scientific definition within Carnap’s framework. This is because it is easy to find reduction sentences corresponding to it. What seems to be harder is to think (...) about bilateral reduction sentences for that definition. This paper addresses this issue. It shows that at least a bilateral reduction sentence is possible for modulation. (shrink)

I argue that one need not be an inferentialist in order to model inconsistent concepts, contrary to what some have thought. Representationalists can do so by adopting a form of bilateralism about contents. It remains unclear, however, why conceptual inconsistency would constitute a defect to be eliminated, rather than a vindication of dialetheism to be embraced. I suggest some answers to explore that involve accepting a descriptive form of dialetheism but denying its normative forms.

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...) to count formulas as maximal that are the conclusion of reductio and major premise of an elimination rule and to require their removability from deductions. The main part of the paper consists in a proof of a normalisation theorem for bilateral logic. The closing sections address philosophical concerns whether the proof provides a satisfactory solution to the problem at hand and confronts bilateralists with the dilemma that a bilateral notion of stability sits uneasily with the core bilateral thesis. (shrink)

Dispersal of individuals from their natal communities at sexual maturity is an important determinant of kin association. In this paper we compare postmarital residence patterns among Pumé foragers of Venezuela to investigate the prevalence of sex-biased vs. bilateral residence. This study complements cross-cultural overviews by examining postmarital kin association in relation to individual, longitudinal data on residence within a forager society. Based on cultural norms, the Pumé have been characterized as matrilocal. Analysis of Pumé marriages over a 25-year period finds (...) a predominant pattern of natalocal residence. We emphasize that natalocality, bilocality, and multilocality accomplish similar ends in maximizing bilateral kin affiliations in contrast to sex-biased residential patterns. Bilateral kin association may be especially important in foraging economies where subsistence activities change throughout the year and large kin networks permit greater potential flexibility in residential mobility. (shrink)