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)

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)

Bilateralism is the view that the speech act of denial is as primitive as that of assertion. Bilateralism has proved helpful in providing an intuitive interpretation of formalisms that, prima facie, look counterintuitive, namely, multiple-conclusion sequent calculi. Under this interpretation, a sequent of the form $\Gamma \vdash \Delta$ is regarded as the statement that it is incoherent, according to our conversational norms, to occupy the position of asserting all the sentences in $\Gamma$ and denying all the sentences in (...) $\Delta$. Some have argued, based on this interpretation, that the notion of invalidity is as conceptually primitive and important as the notion of validity: whereas the latter is couched in terms of what positions are incoherent and hence untenable, the former is couched in terms of what positions are coherent and hence tenable. My ultimate goal in this paper is to contest this view. Based on a novel technical account of the two notions—one that I find more accurate than the existing accounts in the literature—I shall argue that the notion of incoherence takes conceptual priority over the notion of coherence. (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)

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)

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)

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.

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.

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)

The one-side defaultable financial derivatives valuation problems have been studied extensively, but the valuation of bilateral derivatives with asymmetric credit qualities is still lacking convincing mechanism. This paper presents an analytical model for valuing derivatives subject to default by both counterparties. The default-free interest rates are modeled by the Market Models, while the default time is modeled by the reduced-form model as the first jump of a time-inhomogeneous Poisson process. All quantities modeled are market-observable. The closed-form solution gives us a (...) better understanding of the impact of the credit asymmetry on swap value, credit value adjustment, swap rate and swap spread. (shrink)

This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.

Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...) bilateral logic which also meets those requirements. Thus Rumfitt cannot claim that only classical bilateral rules of inference succeed in imparting a coherent sense onto the connectives. My system can be extended to classical logic by adding the intuitionistically unacceptable half of a structural rule Rumfitt uses to codify the relation between assertion and denial. Thus there is a clear sense in which, in the bilateral framework, the difference between classicism and intuitionism is not one of the rules of inference governing negation, but rather one of the relation between assertion and denial. (shrink)

The essay brings a summation of human efforts seeking to understand our existence. Plato and Kant & cognitive science complete reduction of philosophy to a neural mechanism, evolved along elementary Darwinian principles. Plato in his famous Cave Allegory explains that between reality and our experience of it there exists a great chasm, a metaphysical gap, fully confirmed through particle-wave duality of quantum physics. Kant found that we have two kinds of perception, two senses: By the spatial outer sense we perceive (...) phenomena, objects in space. Our temporal inner sense lets us perceive our inner state, noumena . Kant's two senses are fully confirmed through bilateral brain duality of cognitive science. The bilateral brain serves inner, temporal sense, logic & noumena in the left hemisphere. The right brain half is for the outer, spatial sense, geometry & phenomena. We form a whole system, a bilateral interior cosmos, a kind of world model, expressing what may lie beyond the metaphysical gap. In the right brain we build a phenomenal cosmos, to resemble the outer environment. In the brain's left hemisphere a noumenal cosmos, a model of our private world including Saint Teresa of Avila's castillo interior. The cosmos is regularly updated with novel sense data integrated into our memory banks. This was recognized early by Helmholtz (1860s). Our lives, health & well-being depend on us keeping our interior cosmos in good order. This used to be seen as saving one's precious soul from perdition. While we endeavour to keep our phenomenal cosmos neat & orderly by protecting the environment from harm, our noumenal cosmos to be livable requires us to engage in ethical conduct. This bilateral cosmos is responsible for our common sense judgment power, that we depend on for being able to lead a good & benign life. The 200 million neurons of BA10 in the prefrontal lobe have global access to the interior cosmos, & apply massive feedback to identify environmental conditions rapidly. The global access also gives conscious presence of the individual to itself, all that is present in the interior cosmos, for total freedom of action. In the left brain private ego, we are guarded by faith in divine mercy, & guided to choose the best course of action, able to survive under the most adverse conditions. For this, we receive directions from the Holy Ghost in Saint Teresa's castillo interior. (shrink)

The Hoffmann reflex (H-wave) is produced by alpha-motoneuron activation in the spinal cord. A feature of this electromyography response is that it exhibits fluctuations in amplitude even during repetitive stimulation with the same intensity of current. We herein explore the hypothesis that physical training induces plastic changes in the motor system. Such changes are evaluated with the fractal dimension (FD) analysis of the H-wave amplitude-fluctuations (H-wave FD) and the cross-covariance (CCV) between the bilateral H-wave amplitudes. The aim of this study (...) was to compare the H-wave FD as well as the CCV before and after track training in sedentary individuals and athletes. The training modality in all subjects consisted of running three times per week (for 13 weeks) in a concrete road of 5 km. Given the different physical condition of sedentary vs. athletes, the running time between sedentary and athletes was different. After training, the FD was significantly increased in sedentary individuals but significantly reduced in athletes, although there were no changes in spinal excitability in either group of subjects. Moreover, the CCV between bilateral H-waves exhibited a significant increase in athletes but not in sedentary individuals. These differential changes in the FD and CCV indicate that the plastic changes in the complexity of the H-wave amplitude fluctuations as well as the synaptic inputs to the Ia-motoneuron systems of both legs were correlated to the previous fitness history of the subjects. Furthermore, these findings demonstrate that the FD and CCV can be employed as indexes to study plastic changes in the human motor system. (shrink)

This paper considers Rumfitt’s bilateral classical logic (BCL), which is proposed to counter Dummett’s challenge to classical logic. First, agreeing with several authors, we argue that Rumfitt’s notion of harmony, used to justify logical rules by a purely proof theoretical manner, is not sufficient to justify coordination rules in BCL purely proof-theoretically. For the central part of this paper, we propose a notion of proof-theoretical validity similar to Prawitz for BCL and proves that BCL is sound and complete respect to (...) this notion of validity. The major difficulty in defining validity for BCL is that validity of positive +A appears to depend on negative −A, and vice versa. Thus, the straightforward inductive definition does not work because of this circular dependance. However, Knaster-Tarski’s fixed point theorem can resolve this circularity. Finally, we discuss the philosophical relevance of our work, in particular, the impact of the use of fixed point theorem and the issue of decidability. (shrink)

This paper presents an analytical model for valuing interest rate swaps, subject to bilateral counterparty credit risk. The counterparty defaults are modeled by the reduced-form model as the first jump of a time-inhomogeneous Poisson process. All quantities modeled are market-observable. The closed-form solution gives us a better understanding of the impact of the credit asymmetry on swap value, credit value adjustment, swap rate and swap spread.

The United States (U.S.) and Jordan launched negotiations for a free trade agreement in 2000.The US-JO FTA includes a preamble, nineteen articles, three annexes, joint statements, memorandums of understanding, and side letters. In addition to the interesting articles on labor and environment, the US-JO FTA provides the opportunity for Jordanian nationals to come to the U.S. to make investments and participate in trade. Under certain conditions, Jordanian nationals can enter the U.S. to render professional services. The purpose of this article (...) is to examine in detail article 8 of the US-JO FTA which relates to entry of nationals of one party into the territory of the other. The article starts by providing a brief background of the negotiation and conclusion of the US-JO FTA. Then, the article analyzes in detail the specific provision related to temporary entry of nationals. The article draws a comparison between US-JO FTA with the North American Free Trade Agreement (NAFTA) and the more recent trade agreements between the U.S., Oman, Bahrain, and Morocco. Finally, the article observes that although the US-JO FTA, like all US FTAs, is designed to permit temporary entry, without intent to establish permanent residence, of persons, the U.S. should have provided Jordan with special and differential treatment for entry of its nationals. Taking into account the special circumstances of Jordan as a developing country with low-income status, high unemployment rate, and lack of resources, movement of business visitors, investors, intra-company transferees, and professionals should have been dealt with leniency so that the FTA could generate effective and real market access. (shrink)

Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces of (...) data that this analysis fails to explain. Analyzing this data, I argue, suggests that necessity modals with embedded disjunctions license ‘Independence’ inferences: from the truth of □(φ ∨ ψ), interpreters infer that φ-without-ψ and ψ-without-φ are each compatible with the relevant set of worlds. I outline a bilateral inquisitive semantics for necessity modals that predicts the validity of the Independence inferences. I then argue that the resulting theory should be understood as one on which disjunctions denote pluralities of propositions, and necessity modals behave like collective predicates applied to these pluralities. (shrink)

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

From the earliest times, American ethics, the rules for the moral \& intellectual life of the West, used to be founded upon the two principles of self-reliance and good neighborliness. Here we consider the underlying functions of neural brain circuits, organic structures that have evolved adaptively by Darwinian rules subject to selection pressure. In the left brain resides our self-reliant private Ego, making plans, launching initiatives. Your public Ego dwells in the right brain, looking around, meeting with your friendly neighbor. (...) A main component is our bilateral interior cosmos, providing us with all the detailed information about our environment as well as the universe at large. (shrink)

International trade enables countries to expand their markets, access more products, improve resource allocation, and boost economic growth by leveraging comparative advantage and specialization. The aim of this article is to analyze the primary factors that influence Malawi’s international trade flows. The study is relevant because it examines Malawi’s trade patterns with its main partners, which include surrounding nations and traditional trade allies. The novelty is that, through the analysis, the research offers valuable insights into the primary factors that influence (...) Malawi’s international commerce. Panel data is gathered from various sources, including the International Monetary Fund (IMF) and World Bank, covering the period from 2000 to 2023 for 11 countries that are trading partners with Malawi. We employ the Bayesian Mindsponge gravity methodology. The results show that the economic size (characterized by the gross domestic product) of the origin and destination countries, bilateral agreements, and the population size of the destination country have a beneficial impact on Malawi’s exports. In conclusion, Malawi’s export performance is significantly enhanced by the economic size of both Malawi and its trading partners, the existence of bilateral agreements, and the population size of the destination countries, underscoring the importance of strategic economic partnerships and targeted trade policies in boosting Malawi’s international trade. We recommend Malawi authorities focus on strengthening bilateral agreements and targeting trade relationships with larger and more populous economies to boost international trade. (shrink)

This article presents a comprehensive framework for valuing financial instruments subject to credit risk. In particular, we focus on the impact of default dependence on asset pricing, as correlated default risk is one of the most pervasive threats in financial markets. We analyze how swap rates are affected by bilateral counterparty credit risk, and how CDS spreads depend on the trilateral credit risk of the buyer, seller, and reference entity in a contract. Moreover, we study the effect of collateralization on (...) valuation, since the majority of OTC derivatives are collateralized. The model shows that a fully collateralized swap is risk-free, whereas a fully collateralized CDS is not equivalent to a risk-free one. (shrink)

The psychological and neurobiological processes underlying moral judgement have been the focus of many recent empirical studies1–11. Of central interest is whether emotions play a causal role in moral judgement, and, in parallel, how emotion-related areas of the brain contribute to moral judgement. Here we show that six patients with focal bilateral damage to the ventromedial prefrontal cortex (VMPC), a brain region necessary for the normal generation of emotions and, in particular, social emotions12–14, produce an abnor- mally ‘utilitarian’ pattern of (...) judgements on moral dilemmas that pit compelling considerations of aggregate welfare against highly emotionally aversive behaviours (for example, having to sacrifice one person’s life to save a number of other lives)7,8. In contrast, the VMPC patients’ judgements were normal in other classes of moral dilemmas. These findings indicate that, for a selective set of moral dilemmas, the VMPC is critical for normal judgements of right and wrong. The findings support a necessary role for emotion in the generation of those judgements. (shrink)

RD, a 32-year-old male, was admitted to the hospital with hypoxic COVID pneumonia–a potentially life-threatening condition characterized by dangerously low levels of oxygen in the body- during one of the pandemic’s surges. While RD’s age gave the clinical team hope for his prognosis, his ability to recover was complicated by his being unvaccinated and having multiple comorbidities, including diabetes and obesity. His condition worsened to the point that he required extracorporeal membrane oxygenation (ECMO), a machine that maintains the functioning of (...) a person’s heart and lungs. -/- Given its scarcity–only 264 of the over 6,000 hospitals in the United States offer ECMO, according to the Extracorporeal Life Support Organization–as well as its high cost and the inadequate supply of staff required to maintain it, ECMO primarily serves as a bridge to support critically ill patients until they can receive an organ transplant or implanted medical device. For RD, ECMO was started to support him until he could be evaluated for, and possibly receive, a bilateral lung transplant. Despite its intended use as a treatment of last resort, some patients can remain on ECMO for weeks or months. And some are awake, alert, and capable of medical decision-making. -/- RD was one such patient. However, the transplant evaluation committee ruled out RD’s candidacy for bilateral lung transplantation, based on his poor potential for recovery and a lack of family and friends to provide post-transplant support. This determination raised the prospect of continued ECMO treatment being a bridge to nowhere. But RD was comfortable on ECMO and wanted to remain in the ICU. The ICU intensivist contacted the ethics consult service with questions about whether continued ECMO support was medically and ethically inappropriate. (shrink)

Graham Priest has formulated the minimally inconsistent logic of paradox (MiLP), which is paraconsistent like Priest’s logic of paradox (LP), while staying closer to classical logic. We present logics that stand to (the propositional fragments of) strong Kleene logic (K3) and the logic of first-degree entailment (FDE) as MiLP stands to LP. That is, our logics share the paracomplete and the paraconsistent-cum-paracomplete nature of K3 and FDE, respectively, while keeping these features to a minimum in order to stay closer to (...) classical logic. We give semantic and sequent-calculus formulations of these logics, and we highlight some reasons why these logics may be interesting in their own right. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. (...) Based on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

This study compares the neural substrate of moral decision making processes between Korean and American participants. By comparison with Americans, Korean participants showed increased activity in the right putamen associated with socio-intuitive processes and right superior frontal gyrus associated with cognitive control processes under a moral-personal condition, and in the right postcentral sulcus associated with mental calculation in familiar contexts under a moral-impersonal condition. On the other hand, American participants showed a significantly higher degree of activity in the bilateral anterior (...) cingulate cortex (ACC) associated with conflict resolution under the moral-personal condition, and in the right medial frontal gyrus (MFG) associated with simple cognitive branching in non-familiar contexts under the moral-impersonal condition when a more lenient threshold was applied, than Korean participants. These findings support the ideas of the interactions between the cultural background, education, and brain development, proposed in the field of cultural psychology and educational psychology. The study introduces educational implications relevant to moral psychologists and educators. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

I draw upon the conceptual resources of the extended mind thesis to analyze empathy and interpersonal understanding. Against the dominant mentalistic paradigm, I argue that empathy is fundamentally an extended bodily activity and that much of our social understanding happens outside of the head. First, I look at how the two dominant models of interpersonal understanding, theory theory and simulation theory, portray the cognitive link between folk psychology and empathy. Next, I challenge their internalist orthodoxy and offer an alternative "extended" (...) characterization of empathy. In support of this characterization, I analyze some narratives of individuals with Moebius syndrome, a kind of expressive deficit resulting from bilateral facial paralysis. I conclude by discussing how a Zen Buddhist ethics of responsiveness is helpful for articulating the practical significance of an extended, body-based account of empathy. (shrink)

This paper introduces a novel theory of vagueness. Its main aim is to show how naïve judgments about tolerance and indeterminacy can be preserved while departing from classical logic only in ways which are independently motivated. -/- The theory makes use of a bilateral approach to acceptance and rejection. Combined with a standard account of validity, this approach gives rise to an entailment relation which is non-transitive. I argue that this is desirable: it is both pre-theoretically plausible and provides a (...) compelling solution to a number of longstanding puzzles. The theory aims to preserve the naïve picture of vagueness. It combines tools from expressivist and dynamic treatments of information in conversation to show how principles which are generally assumed to be in tension are compatible. The resulting logic departs from classical logic in precisely those places we should expect it to. -/- . (shrink)

ABSTRACTLinguistic evidence supports the claim that certain, weak rejections are less specific than assertions. On the basis of this evidence, it has been argued that rejected sentences cannot be premisses and conclusions in inferences. We give examples of inferences with weakly rejected sentences as premisses and conclusions. We then propose a logic of weak rejection which accounts for the relevant phenomena and is motivated by principles of coherence in dialogue. We give a semantics for which this logic is sound and (...) complete, show that it axiomatizes the modal logic KD45 and prove that it still derives classical logic on its asserted fragment. Finally, we defend previous logics of strong rejection as being about the linguistically preferred interpretations of weak rejections. (shrink)

Objective: We aimed to investigate the image quality of paranasal sinus computed tomography (CT) scans obtained with the “Advanced intelligent Clear-IQ Engine” (AICE) software and ultra-low dose parameters in patients with prediagnosed rhinitis, sinusitis or nasal septum deviation. -/- Methods: The first 50 patients (31 men and 19 women, aged 18-70 years) who agreed to participate in our prospectively planned study were included in the study. Imaging of the patients was performed with a 160-slice multidetector CT device Canon Aquilion Prime (...) SP (Canon Medical Systems, Otawara, Japan). Tube voltage of 80 kV and tube current of 40 mA were chosen. The effective radiation dose (ED) was calculated based on the “dose-length product” (DLP) information of each patient. Evaluation of images was made on reformat images made with “AiCE Bone” filter in the axial and coronal planes. All images were double-blindly evaluated by 2 radiologists out of 5 points (5 = very good; 1 = not diagnostic). The visibility of 17 bilateral important anatomical landmarks examined on paranasal sinus CT was scored (0 = not visible; 2 = completely visible). In the evaluation of images, the agreement between radiologists was evaluated with Kappa statistics. -/- Results: The median ED value of the CT protocol was 0.015±0.001 mSv [range 0.012-0.017 mSv]. The overall image quality of the images in our study was interpreted as 4 (good) or 3 (moderate) for all patients. Inter-research agreement was 92%. Most of the anatomical landmarks evaluated were completely visible. Six (bilateral of three) anatomical landmarks could be partially visible in some patients. -/- Conclusion: Combining the ultra-low dose CT protocol and the AiCE reconstruction algorithm makes it possible to achieve very low ED values ​​in paranasal sinus CT scans and still obtain sufficient image quality in indications such as septum deviation and sinusitis. (shrink)

Social cognition researchers have become increasingly interested in the ways that behavioral, physiological, and neural coupling facilitate social interaction and interpersonal understanding. We distinguish two ways of conceptualizing the role of such coupling processes in social cognition: strong and moderate interactionism. According to strong interactionism (SI), low-level coupling processes are alternatives to higher-level individual cognitive processes; the former at least sometimes render the latter superfluous. Moderate interactionism (MI) on the other hand, is an integrative approach. Its guiding assumption is that (...) higher-level cognitive processes are likely to have been shaped by the need to coordinate, modulate, and extract information from low-level coupling processes. In this paper, we present a case study on Möbius Syndrome (MS) in order to contrast SI and MI. We show how MS—a form of congenital bilateral facial paralysis—can be a fruitful source of insight for research exploring the relation between high-level cognition and low-level coupling. Lacking a capacity for facial expression, individuals with MS are deprived of a primary channel for gestural coupling. According to SI, they lack an essential enabling feature for social interaction and interpersonal understanding more generally and thus ought to exhibit severe deficits in these areas. We challenge SI’s prediction and show how MS cases offer compelling reasons for instead adopting MI’s pluralistic model of social interaction and interpersonal understanding. We conclude that investigations of coupling processes within social interaction should inform rather than marginalize or eliminate investigation of higher-level individual cognition. (shrink)

The relationship between economics and the philosophy of natural science has changed substantially during the last few years. What was once exclusively a one-way relationship from philosophy to economics now seems to be much closer to bilateral exchange. The purpose of this paper is to examine this new relationship. First, I document the change. Second, I examine the situation within contemporary philosophy of science in order to explain why economics might have its current appeal. Third, I consider some of the (...) issues that might jeopardize the success of this philosophical project. (shrink)

Forgiveness and reconciliation are central to moral life; after all, everyone will be wronged by others and will then face the dual decisions of whether to forgive and whether to reconcile. It is therefore important that we have a clear analysis of each, as well as a thoroughly articulated understanding of how they relate to and differ from each other. -/- Forgiveness has received considerably more attention in the Western philosophical literature than has reconciliation. In this paper I aim to (...) give it the attention it deserves and develop an account of interpersonal reconciliation. On my view reconciliation is fundamentally bilateral (whereas forgiveness is fundamentally unilateral). It entails transparency and agreement between the wrongdoer and the victim as to the nature of a past wrong or set of wrongs. And, it requires that moral repair be made between the two parties (which entails that both parties bear proper attitudes towards each other). In making my case I contrast reconciliation with toleration and collaboration, in order to demonstrate that reconciliation also entails forgiveness (though forgiveness does not entail reconciliation). (shrink)

All parties involved in researching, developing, manufacturing, and distributing COVID-19 vaccines need guidance on their ethical obligations. We focus on pharmaceutical companies' obligations because their capacities to research, develop, manufacture, and distribute vaccines make them uniquely placed for stemming the pandemic. We argue that an ethical approach to COVID-19 vaccine production and distribution should satisfy four uncontroversial principles: optimising vaccine production, including development, testing, and manufacturing; fair distribution; sustainability; and accountability. All parties' obligations should be coordinated and mutually consistent. For (...) instance, companies should not be obligated to provide host countries with additional booster shots at the expense of fulfilling bilateral contracts with countries in which there are surges. Finally, any satisfactory approach should include mechanisms for assurance that all parties are honouring their obligations. This assurance enables countries, pharmaceutical companies, global organisations, and others to verify compliance with the chosen approach and protect ethically compliant stakeholders from being unfairly exploited by unethical behaviour of others. (shrink)

According to Greimas, the semiotic square is far more than a heuristic for semantic and literary analysis. It represents the generative “deep structure” of human culture and cognition which “define the fundamental mode of existence of an individual or of a society, and subsequently the conditions of existence of semiotic objects” (Greimas & Rastier 1968: 48). The potential truth of this hypothesis, much less the conditions and implications of taking it seriously (as a truth claim), have received little attention in (...) the literature. In response, this paper traces the history and development of the logical square of opposition from Aristotle to Greimas and beyond, to propose that the relations modelled in these diagrams are embodied relations rooted in gestalt memories of kinesthesia and proprioception from which we derive basic structural awareness of opposition and contrast such as verticality, bilaterality, transversality, markedness and analogy. To make this argument, the paper draws on findings in the phenomenology of movement (Sheets-Johnstone 2011a, 2011b, 2012, Pelkey 2014), recent developments in the analysis of logical opposition (Beziau & Payette 2008), recent scholarship in (post)Greimasian semiotics (Corso 2014, Broden 2000) and prescient insights from Greimas himself (esp. 1968, 1984). The argument of the paper is further supported through a visual and textual content analysis of a popular music video, both to highlight relationships between the semiotic square and mundane cultural ideologies and to show how these relationships might be traced to the marked symmetries of bodily movement. In addition to illustrating the enduring relevance of Greimasean thought, the paper further illustrates the neglected relevance that embodied chiasmus holds for developments in anthropology, linguistics and the other cognitive sciences. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations (...) and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas (...) from normative bilateralism to truth-maker theory, such as non-transitive solutions to paradox, and vice versa, such as notions of factual equivalence and containment. (shrink)

In the present article, we are faced with two phenomenological philosophers who, in two different intellectual traditions, namely philosophical hermeneutics and moral phenomenology, have referred to the concept of the Other as the fundamental possibility of the individual. The other, as an ontological and common concept in the thought of Gadamer and Levinas, is the turning point of the condition for the possibility of understanding and ethics. Focusing on the concept of the other, while addressing the points of difference and (...) commonality between Gadamer and Levinas, this article will show that Levinas’s preoccupation with the other as a philosopher refers to the foundations of ethics, and the condition for the possibility of foundations of ethics is encountering the other. In Gadamer, the turning point is the determination of the possibilities of understanding in dialectical and dialogue-oriented relationships. Without the other, in Levinas’s thought, ethics, and moral matter, and in Gadamer’s thought, the process of understanding will not occur in the form of a fusion of horizons. Therefore, this article shows that the other is a common concept between these two philosophers, which both of them cannot avoid in their philosophical analyses of ethics or the process of understanding. Introduction The analysis of ethics is one of the important and innovative achievements of Levinas’s philosophical intellectual structure. Levinas’s concern is to refer to the foundations of morality itself, regardless of institutionalizing the moral in the form of law, and the foundation of morality is in face-to-face relationships with others. Regardless of Levinas’s plan about the concept of the other, Gadamer imagines the determination of understanding in a new way in the face of the other. The other is the comprehensible strain in philosophical hermeneutics, in such a way that the process of understanding is formed by the presence of the other and the face-to-face encounter with it. According to Gadamer, the other is the factor of openness in the process of understanding. The fusion of horizons is the product of openness and mutual encounters in dialogue, which is not possible without the other. The other is the condition of determining the possibility of understanding in each of the parties who are allowed to reveal a part of their being and allow the other to open up and talk. In fact, understanding is a kind of event that is revealed in a two-way conversation in an event-like way. This type of understanding depends on the presence of another. The main focus of the research is the analysis of the concept of the other, which has been done with emphasis on two important works: Truth and method, Totality and infinity. Body & discussion In general, the process of understanding is a dialogical process, whether the other side of the conversation is a text or a person, the foundation of understanding is formed in a relationship with the other. Determining the other as an independent personality and a different perspective is an ontological determination. The other thinks and becomes meaningful beyond the subject or object and even beyond my intellectual position, it belongs to its own independent world and its own experience. In conversation, it plays a significant role in the production of truth. Openness provides the possibility of dialogue and mutual agreement. In dialogue, the final product is not reproduced. The other condition for the production of the final product is dialogue According to Gadamer, facing the other is facing his world. At the moment of facing me, the other makes his abstract aspects concrete and opens his lived experience to me. He believes that the question-and-answer process is a kind of encounter with the world of experience and openness toward it. According to Gadamer, the process of understanding is the result of dialectical-hermeneutic relations between me (the interpreter) and you (the other). The dialogical relationships that allow each other to enter the other’s history are relationships that are formed based on questions and answers. From Gadamer’s point of view, questions and answers are the opening of a new horizon based on tradition and contemporary history. Levinas phenomenologically refers to the philosophical tradition of the West to reread the process of the formation of the concept of the other. Many commentators and interpreters of Levinas’s works believe that it is possible to determine the foundations of ethics from Levinas’s point of view from face-to-face relationships. The condition for the possibility of morality is to pay attention to others. To describe another concept, Levinas analyzes the negative and positive aspects of this concept. In a negative way, Levinas first answers what the other is not, and for this reason, he criticizes the history of Western metaphysics and the criticism of Husserl and Heidegger’s phenomenology. Positively, the other is relative to me and different from me. The other is beyond subject and object. The other is not subjugated by any concept and recognizes its independent identity. The other and the encounter with him are the conditions for determining fundamental ethics from Levinas’s point of view. Another condition of concreteness refers to another person. According to Levinas, it is the condition for the formation of moral form. He believes that ethics is a kind of double encounter in the context of bilateral relations. Many moral concepts are formed in relation to a concrete other. In Levinas’s genealogy of ethics, we are faced with the presence of the other in a concrete way and with the subjectivity of the subject in an abstract and a priori way. Levinas specifies two approaches with the description of the other in the form of an infinite idea. First of all, there is an infinite gap between the other and the same. This issue shows its foreignness and otherness, its independence, and being true to its essence towards me. Second, it is the determination of another in a concrete or abstract form, which in both cases evokes an identity independent of me. Conclusion According to the explanations of the concept of the other in the thought of Gadamer and Levinas, we are faced with two phenomenological philosophers who have paid attention to the ontological aspects of the concept of the other in the fields of philosophical hermeneutics and ethics. In Gadamer’s thought, the other is an ontologically dialectical relationship between I-Thou and the starting point of the conversation process. The fusion of horizons is the turning point of the formation of the relation to the other, which is manifested in another area. The other has its own history, world, tradition, and authority, regardless of the formation of dialogical relationships, and has an independent identity. The other is allowed to share his lived experience in the conversation. The other creates new worlds. The other has opened himself and in return can be self-interpreting and self-revealing. Regardless, the other is the consistency of the complex relationship between language and the world. This form of bilateral relations, which is manifested in the presence of another, is a linguistic form that is the cause of a deep connection between language and the world. The other, whether concrete or abstract, is the turning point of our connection with the world in an ontological way. Regardless of Gadamer’s point of view, Levinas returns to another concept in his new thought project entitled “How to determine the possibilities of ethics.” According to Levinas, finding the foundations of ethics and determining the condition of moral possibilities is in facing the other and in face-to-face relationships. The other is concretely a kind of bilateral encounter which is the basis of many moral events and is manifested abstractly in the form of the subject’s subjectivity. This kind of infinite aspect of the other is revealed in subjectivity is implied in sense. Encountering another in an abstract form within itself is the encounter of the subject’s subjectivity with the sense, and the sense is in the encounter with the other. Sense is the basis of the subjectivity of the subject. Sense is a kind of concrete and visual face-to-face encounter that adds to the importance of determining another. Therefore, both Gadamer and Levinas raise many possibilities about the concept of the other, which shows the importance of this concept in the Western philosophical tradition. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...) from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction or, negated disjunction nor, but no word to express negated conjunction *nand nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described here as a bilateral extension of update semantics. The basic intuition is that a (...) context can be updated by assertion or by rejection, and by one or multiple propositions at once. These distinctions suffice to characterize the logic of the lexicon. (shrink)