Abstract: “Resolute readings” initially started life as a radical new approach to Wittgenstein's early philosophy, but are now starting to take root as a way of interpreting the later writings as well—a trend exemplified by Stephen Mulhall's Wittgenstein's Private Language (2007) as well as by Phil Hutchinson's “What's the Point of Elucidation?” (2007) and Rom Harré's “Grammatical Therapy and the Third Wittgenstein” (2008). The present article shows that there are neither good philosophical nor compelling exegetical grounds for accepting a resolute (...) reading of the later Wittgenstein's work. It is possible to make sense of Wittgenstein's philosophical method without either ascribing to him an incoherent conception of “substantial nonsense” or espousing the resolute readers' preferred option of nonsense austerity. If the interpretation here is correct, it allows us to recognize Wittgenstein's radical break with the philosophical tradition without having to characterize his achievements in purely therapeutic fashion. (shrink)

The foundational hypothesis to this study is that congregations which have a healthy perception and a greater understanding of conflict will develop more effective responses to conflict that will translate into more effective conflict resolution and reconciliation. The process and sustainability of the development of a missional church, the context of the study, is pregnant with potential conflict. Untamed conflict has the propensity to retard, jeopardise or even destroy the development of a missional church. When conflict arises, it must (...) be understood and dealt with theologically. The inherent problem is that conflict appears to be neither understood nor appreciated sociologically and theologically. This knowledge and praxis vacuum has the potential for conflict to translate into inappropriate or ineffective responses that do not always make for effective resolution and reconciliation. The research focuses mainly on an empirical study based on the four practical theological questions of Osmer (2008). Participants for this study were randomly selected from specific sectors of Methodist congregations in the wider Pretoria area. The research explores congregants’ perceptions, understanding and views of conflict; their responses to conflict; and some felt and observed outcomes of conflict. The presupposition is that the development of the local missional church would be more effective and efficient when the management and process of conflict resolution and reconciliation are well led and well managed. This study confirmed that conflict, despite its normalcy and necessity, carries a negative undertone and is mostly avoided in congregations. This is compounded by the evidence that there is little, if any, theological or scriptural understanding of conflict. There is also no indication that churches intentionally and purposefully educate their members to appreciate and understand conflict. In so doing, churches are harming their innate calling as the glory and manifestation of God’s divine grace through faith communities for the transformation of all peoples. Yet, the church understands the dangers of unhealthy conflict, and on occasion even expects conflict to arise, although deeming it inappropriate. Practical theological discernment is sought as to why this may be so and remedial action is proposed to address the problem of conflict within congregations. (shrink)

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for (...) the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet. (shrink)

Bertrand's random-chord paradox purports to illustrate the inconsistency of the principle of indifference when applied to problems in which the number of possible cases is infinite. This paper shows that Bertrand's original problem is vaguely posed, but demonstrates that clearly stated variations lead to different, but theoretically and empirically self-consistent solutions. The resolution of the paradox lies in appreciating how different geometric entities, represented by uniformly distributed random variables, give rise to respectively different nonuniform distributions of random chords, and (...) hence to different probabilities. The principle of indifference appears consistently applicable to infinite sets provided that problems can be formulated unambiguously. (shrink)

The use of super‐resolution imaging techniques in cell biology has yielded a wealth of information regarding cellular elements and processes that were invisible to conventional imaging. Focusing on images obtained by stimulated emission depletion (STED) microscopy, we discuss how the new high‐resolution data influence the ways in which we use and interpret images in cell biology. Super‐resolution images have lent support to some of our current hypotheses. But, more significantly, they have revealed unexpectedly complex processes that cannot (...) be accounted for by the simpler models based on diffraction‐limited imaging. The super‐resolution imaging data challenge cell biologists to change their theoretical framework, by including, for instance, interpretations that describe multiple functions, functional errors or lack of function for cellular elements. In this context, we argue that descriptive research using super‐resolution microscopy is now as necessary as hypothesis‐driven research. (shrink)

The logical calculus for SAT are not valid for MaxSAT and MinSAT because they preserve satisfiability but not the number of unsatisfied clauses. To overcome this drawback, a MaxSAT resolution rule preserving the number of unsatisfied clauses was defined in the literature. This rule is complete for MaxSAT when it is applied following a certain strategy. In this paper we first prove that the MaxSAT resolution rule also provides a complete calculus for MinSAT if it is applied following (...) the strategy proposed here. We then describe an exact variable elimination algorithm for MinSAT based on that rule. Finally, we show how the results for Boolean MinSAT can be extended to solve the MinSAT problem of the multiple-valued clausal forms known as signed conjunctive normal form formulas. (shrink)

It is well known that when resolution occurs in the stichic iambics and trochaics of tragedy word-end is not found between the two shorts so produced: w or, more accurately, that the first short of resolution must not be the last syllable of a polysyllabic word. Moreover, the syllables in resolution most often form part of the same word as the following short or anceps, e.g.: Ion 1143.

It is often remarked that Iris Murdoch’s thought deeply influenced the landscape of twentieth-century moral philosophy. It is certainly true that she inspired a generation of Anglo-American philosophers who sought to critique the moral philosophy of their day. However, these philosophers drew almost exclusively from her early philosophical thought, most notably The Sovereignty of Good. When it came to Murdoch’s second book, Metaphysics as a Guide to Morals (MGM), moral philosophers and scholars alike found it hard to place within contemporary (...) moral philosophy.Our aim in this paper is to offer a reading of MGM that is resolute in its commitment to do justice to the book’s resistance against domestication within standard moral philosophy, while taking Murdoch at her word when she writes that her “whole argument can be read as moral philosophy” (MGM, 740). This commitment allows us to read MGM as an integrated unity. More importantly, it allows us to reassess Murdoch’s place in twentieth-century philosophy and to propose MGM as one of the works seeking to transform it. Our hope is that our reading will interest any philosopher who feels that something essential is missing in current typical practices in the discipline. (shrink)

Most automated theorem provers have been built around some version of resolution [4]. But resolution is an inherently Classical logic technique. Attempts to extend the method to other logics have tended to obscure its simplicity. In this paper we present a resolution style theorem prover for Intuitionistic logic that, we believe, retains many of the attractive features of Classical resolution. It is, of course, more complicated, but the complications can be given intuitive motivation. We note that (...) a small change in the system as presented here causes it to collapse back to a Classical resolution system. We present the system in some detail for the propositional case, including soundness and completeness proofs. For the first order version we are sketchier. (shrink)

This paper sketches an approach to pronoun reference resolution in context based on a dynamic incremental semantics for NL in polymorphic type theory. Our set-up provides full incrementality of processing, and can handle salience and pronoun resolution in context. An implementation of the system in Haskell, in ‘literate programming’ style, exists. The full literate source code can be found at http://www.cwi.nl/ jve/papers/02/rric.

‘Conciliationism’ is the view that disagreement with qualified disputants gives us a powerful reason for doubting our disputed views, a reason that will often be sufficient to defeat what would otherwise be strong evidential justification for our position. Conciliationism is disputed by many qualified philosophers, a fact that has led many to conclude that conciliationism is self-defeating. After examining one prominent response to this challenge and finding it wanting, I develop a fresh approach to the problem. I identify two levels (...) at which one may show epistemic deference—the level of one's credences and the level of one's reasoning—and show that in disagreements over conciliationism, deference at one level results in non-deference at the other. A commitment to epistemic deference therefore does not provide a rational reason to reduce confidence when conciliationism itself is disputed. After presenting the case for ‘resolute conciliationism’, I address two objections. (shrink)

Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsistent theories, specializing to the classical semantics for the consistent ones. Direct (instead of refutational) reasoning with classical resolution is sound and complete for this semantics, when augmented with a specific weakening which, in particular, excludes Ex Falso. Dropping all forms of weakening yields reasoning which also avoids typical (...) fallacies of relevance. (shrink)

We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead of clauses. We demonstrate polynomial-size refutations for hard tautologies like the pigeonhole principle, Tseitin graph tautologies and the clique-coloring tautologies in these proof systems. Using interpolation we establish an exponential-size lower bound on refutations in a certain, considerably strong, fragment of resolution over linear equations, as well as a general polynomial upper bound (...) on interpolants in this fragment.We then apply these results to extend and improve previous results on multilinear proofs , as studied in [Ran Raz, Iddo Tzameret, The strength of multilinear proofs. Comput. Complexity ]. Specifically, we show the following:• Proofs operating with depth-3 multilinear formulas polynomially simulate a certain, considerably strong, fragment of resolution over linear equations.• Proofs operating with depth-3 multilinear formulas admit polynomial-size refutations of the pigeonhole principle and Tseitin graph tautologies. The former improve over a previous result that established small multilinear proofs only for the functional pigeonhole principle. The latter are different from previous proofs, and apply to multilinear proofs of Tseitin mod p graph tautologies over any field of characteristic 0. We conclude by connecting resolution over linear equations with extensions of the cutting planes proof system. (shrink)

Why should we typically act in accordance with our resolutions when faced with the temptation to do otherwise? A much-maligned view suggests that we should do so because resolutions themselves provide us with reasons for action. We defend a version of this view, on which resolutions provide second-order reasons. This account avoids the objections typically taken to be fatal for the view that resolutions are reasons, including the prominent bootstrapping objections.

Traditionally, weakness of will has been identified with an agent acting contrary to her better judgment, or akrasia. Recent empirical findings, however, have led many to conclude that the folk concept of WOW is not amenable to necessary and sufficient conditions. To this end, it has been argued that WOW attributions point to a cluster concept :341–360, 2012), a disjunctive account of WOW as either judgment or resolution violation :391–404, 2010), and a two-tiered account including both failures to adhere (...) to commitments as well as failures to commit :3935–3954, 2014). Contrary to these views, I argue that there is indeed an underlying unifying feature of the folk concept of WOW. In particular, I argue that WOW is a matter of violating one’s salient reasons for action. I develop and defend this account in three stages. First, I introduce the theory philosophically, by critiquing the traditional view, i.e. judgment violation, as well as its initial competitor, Holton’s :241–262, 1999; Willing, wanting, waiting, Oxford University Press, New York, 2009) view of resolution violation. I then turn to the empirical case for Salient Reasons Violation, arguing that the view best fits the data concerning folk attributions of WOW. Importantly, I argue that folk attributions unsurprisingly include violations of reasons that the attributor finds salient, even when the agent in the case may not. Finally, I turn to an explanatory account of Salient Reasons Violation, which moves beyond establishing the contours of our concept, by providing an explanation as to why the concept functions as it does. (shrink)

A spectator of the passing philosophical scene, recently encountering the current controversy about “resolute readings” of the Tractatus, might be forgiven for finding it difficult to figure out what the debate is supposed to be about and who exactly is on which side and why. This chapter demonstrates, through a reconstruction of some relevant features of “the” debate, that at one point there are in fact several orthogonal debates taking place, confusedly cast as contributions to a single debate. It indicates (...) some of the respects in which the term “resolute reading” has come to acquire different meanings, and sometimes even a different logic. The chapter traces the shifts in the meaning of the term “resolute reading” and the related family of cognate and contrastive expressions. Cora Diamond and James Conant are often presented as the main proponents of a “resolute reading” of the Tractatus. (shrink)

Discussion of temptation has figured prominently in recent debates concerning instrumental rationality. In light of some particularly interesting cases in which giving in to temptation involves acting in accordance with one’s current evaluative rankings, two lines of thought have been developed: one appeals to the possibility of deviating from a well-grounded resolution, and the other appeals to the possibility of being insufficiently responsive to the prospect of future regret. But the current appeals to resolutions and regret and some of (...) the verdicts provided face some serious challenges. Building on recent work concerning instrumental rationality, and delving into some important complications concerning human psychology, I revisit the relevant cases of temptation and analyze them in a way that puts resolutions, rational failure, and regret in their proper places. In the process, I highlight and explain the significance of the neglected fact that resolutions can introduce effective anchor points, which can serve agents faced with temptation well, even if the resolutions are abandoned. (shrink)

A pool resolution proof is a dag-like resolution proof which admits a depth-first traversal tree in which no variable is used as a resolution variable twice on any branch. The problem of determining whether a given dag-like resolution proof is a valid pool resolution proof is shown to be NP-complete.

In Willing, Wanting, Waiting, Richard Holton lays out a detailed account of resolutions, arguing that they enable agents to resist temptation. Holton claims that temptation often leads to inappropriate shifts in judgment, and that resolutions are a special kind of first- and second-order intention pair that blocks such judgment shift. In this paper, I elaborate upon an intuitive but underdeveloped objection to Holton’s view – namely, that his view does not enable agents to successfully block the transmission of temptation in (...) the way that he claims, because the second-order intention is as equally susceptible to temptation as the first-order intention alone would be. I appeal to independently compelling principles – principles that Holton should accept, because they help fill an important explanatory gap in his account – to demonstrate why this objection succeeds. This argument both shows us where Holton’s view goes wrong and points us to the kind of solu-tion we need. In conclusion, I sketch an alternative account of resolutions as a first-order intention paired with a second-order desire. I argue that my account is not susceptible to the same objection because a temptation that cannot be blocked by an intention can be blocked by a desire. (shrink)

"We present a proof-theoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of two-sided linear sequent calculus to identify appropriate notions of uniform proof, definite formula, goal formula, clause and resolution proof for fragments of linear logic. The analysis of this paper extends earlier work by the present authors to include negative occurrences of [cross] (par) and positive occurences of! (of course!) and? (why not?). These connectives introduce considerable difficulty. We consider briefly some of (...) the issues related to the mechanical implementation of our resolution proofs.". (shrink)

I was invited by CARE International of Kenya to do some research on conceptions of conflict and its resolution among refugees in Kenya. Findings would help the refugees themselves in furthering their peace education project. I interviewed sixteen people, with aid of translators, on interpersonal to international issues of conflict resolution. The final report was submitted to CARE International of Kenya and representatives of U.N.H.C.R. in August of 2001. This article reflects on some of the highlights from the (...) interviews. Refugees can be wise, keen thinkers, who have observed firsthand some of the globe’s most pressing problems, and can learn from reflecting on their own experience. I share their insights on topics of interpersonal conflict, refugee camp conflict, national and international conflict. (shrink)

This paper proposes a pragmatic solution to utterances where the various indicators of time and aspect (tenses, lexical-conceptual features of Aktionsart, adverb phrases and contextual cues) seem to have divergent temporal reference and aspectual properties. This type of cases is usually treated at the semantic level as ‘mismatches’ and resolved compositionally through logical operations of ‘aspectual coercion’. We suggest on the contrary that no such effect of ‘mismatch resolution’ or ‘coercion’ is at work: these utterances are worked out inferentially (...) according to the various pieces of evidence they provide for their relevance, in line of Deirdre Wilson’s and Dan Sperber’s (1995) relevance theory. Such utterances give rise to cognitive effects that are hardly attainable by apparently more literal formulations, while being cost-effective. Our analysis follows the work ofEscandell-Vidal and Leonetti (2011)about the rigidity and thus prevalence of computational linguistic expressions, called ‘procedural expressions’ byBlakemore (1987)withinSperber and Wilson’s (1995[1986])framework, relevance theory. (shrink)

Resolution of quarrels arising from conflicting sacred values, as in the Middle East, may require concessions that acknowledge the opposition's core concerns.

This report concerns the fragmented visual percepts in a woman, TR, following a right entorhinal–perirhinal infarct. In a previous report, Weddell [Weddell, R. A. . A visual disorder producing highly selective deletion of recurring letters. Cortex, 41, 471–485] linked TR’s highly selective tendency to delete recurrent letters with her fragmented percepts. The conflation of same-identity form elements was attributed to anterior extrastriate damage, which reduced the amount of information sustainable in fully resolved visual percepts, and the present experimental investigation of (...) her subjective account of segment formation and resolution completes the story. She said that complex objects and long words first appeared as blurred regions, which sometimes included form elements. It is argued that figure-centred attentional mechanisms subdivided this blurred region into up to 3–4 parts. String length, lexical status , and background colour and/or luminance determined fragment length. Two rules described the fragment resolution sequence: largest segments usually resolved first, left-to-right resolution accounting for a few sequences. This resolution sequence occurred when stimuli were exposed too briefly for saccadic exploration, implicating endogenous attentional shifts. Experiment 4 confirmed TR’s assertion that spatial, orthographic, and phonological information were stored during the fragment resolution process. Moreover, TR exerted considerable voluntarily control over the fragment resolution sequence and some influence over fragment length. Finally, these findings were interpreted in terms of an extended version of a neural network model of vision largely derived from nonhuman primate studies. (shrink)

This paper proposes a way of semantically representing de re belief ascriptions that involves contextual resolution of the acquaintance relation between the attitude holder and the object about which the attitude is de re. A special case is that where the belief is about the believer herself. Here, we may discern two possibilities: the acquaintance relation is equality, in which case we end up with a de se belief, or, if the first option fails, we search the context for (...) a different suitable relation of acquaintance between the believer and herself, like looking in a mirror or seeing yourself on TV. This second option leaves open the possibility that the believer herself is unaware of the fact that she's actually seeing herself, thereby accounting for the true reading (de re/non-de se) of ``Lain believes she will win'' in mistaken identity scenarios. To implement all this formally, I use a two-dimensionally modal extension of DRT, and second order binding and unification. (shrink)

Functionally distinct anatomic subdivisions of the brain can often be only a few millimeters in one or more dimensions. The study of metabolic differences in such structures by means of localized in vivo MR spectroscopy is therefore challenging, if not impossible. In fact, the spatial resolution of chemical shift imaging (CSI) in humans is typically in the range of centimeters. The aim of the present study was to optimize 1H CSI in monkeys and demonstrate the feasibility of high spatial (...) resolutions up to 1.4 ؋ 2 ؋ 1.4 mm3. The obtained spatial resolution permitted the segregation of gray and white matter in the visual cortex based on the concentration of different metabolites and neurotrans- mitters like N-acetylaspartate, glutamate, and creatine. Con- centration ratios of white matter versus gray matter tissue as well as between metabolites matched those reported in the literature from healthy human brain, demonstrating the consis- tency and reliability of the procedure. Magn Reson Med 54: 1541–1546, 2005. © 2005 Wiley-Liss, Inc. Key words: in vivo 1H NMR spectroscopy; spectroscopic imag- ing; chemical shift imaging; spatial resolution; monkey visual cortex.. (shrink)

Sheehan and coworkers have claimed [D. P. Sheehan et al., Found. Phys. 30, 1227 ; 32, 441 ; D. P. Sheehan, in Quantum Limits to the Second Law, AIP Conference Proceedings 643, p. 391] that a dilute gas trapped between an external shell and a gravitator can support a steady state in which energy flux by particles in one direction is balanced by energy flux by radiation in the opposite direction, and in which work can be extracted from an isothermal (...) heat reservoir, thereby violating the second law of thermodynamics. In this paper, we identify a fundamental error in their simulation and analysis of their model system that vitiates their conclusions. We analyze a simpler, exactly soluble, three-dimensional model of a very dilute gas in a gravitational field between two thermal reservoirs, and show that their conclusions are not supported for the simple model. We show that their method of simulation, when applied to either the simple model or their more complex model under simpler conditions where the answers are known, leads to unphysical results. We also show that, when appropriate sampling is done, their model gives results in accord with the second law and detailed balance. (shrink)

In order to investigate whether addressees can make immediate use of speaker‐based constraints during reference resolution, participant addressees' eye movements were monitored as they helped a confederate cook follow a recipe. Objects were located in the helper's area, which the cook could not reach, and the cook's area, which both could reach. Critical referring expressions matched one object (helper's area) or two objects (helper's and cook's areas), and were produced when the cook's hands were empty or full, which defined (...) the cook's reaching ability constraints. Helper's first and total fixations showed that they restricted their domain of interpretation to their own objects when the cook's hands were empty, and widened it to include the cook's objects only when the cook's hands were full. These results demonstrate that addressees can quickly take into account task‐relevant constraints to restrict their referential domain to referents that are plausible given the speaker's goals and constraints. (shrink)

The near-interface region of an epitaxial Ba 0.3 Sr 0.7 TiO 3 thin film grown on LaAlO 3 was found to consist of a high density of stacking faults bounded by partial dislocations. The stacking faults can extend over large distances . Various possible atomic configurations of the faults were considered. The atomic structures of the faults were identified using high-resolution electron microscopy and simulation as well as energy-filtered imaging. The and faults were found to lie predominately on the (...) {100} and {110} planes. The faults on , or have never been observed before in perovskites. The stacking faults on {100} have a structure consisting of a double layer of edge-sharing TiO 6 octahedra. The excess of Ti was detected by energy-filtered imaging. The formation of the extended stacking faults is probably related to a small amount of excess Ti during the film deposition, which may originate from the non-stoichiometry of the ceramic targets BaTiO 3 and SrTiO 3 . It is also enhanced by the misfit-induced compressive strain in the early stages of the film growth. (shrink)

What is it to read Wittgenstein resolutely? In this essay, I make a suggestion about how to answer that question. I backtrack in time to a debate about Philosophical Investigations between O. K. Bouwsma and Gilbert Ryle. I selectively reconstruct that debate, highlighting features of it that I take to be interesting in their own right and in relation to debates about PI, but also interesting in analogy with debates about resolute and standard readings of Tractatus logico-philosophicus. As will be (...) clear, my sympathies are with Bouwsma against Ryle, and with resolute readers against standard readers. But I do not vindicate Bouwsma; I will, in fact, be critical, carefully or guardedly critical of him.Nor do I vindicate resolute reading of TLP. I suggest a way of seeing resolute reading that makes clearer what it is and how it contrasts with standard reading, and, in so doing, that makes clearer what some of the difficulties of the debate between the readings really are, whether about TLP or about PI. (shrink)

Robert Fogelin has argued that in deep disagreements, resolution cannot be achieved by rational argumentation. In response, Richard Feldman has claimed that deep disagreements can be resolved in a similar way to more everyday disagreements. I argue that Feldman’s claim is based on a relatively superficial notion of “resolution” of a disagreement whereas the notion at stake in Fogelin’s argument is more substantive. Furthermore, I argue that Feldman’s reply is based on a particular reading of Fogelin’s argument. There (...) is an alternative reading, which takes the central concern to be the role of common ground in argumentation. Engaging with this version of Fogelin’s argument is also a worthwhile endeavour. (shrink)

Rarely do ethics consults focus on genuine moral puzzlement in which people collectively wonder what is the right thing to do. Far more often, consults are about conflict. Each side knows quite well what is “right.” The problem is that the other side is too blind or stubborn to recognize it. And so the ethics consultant is called, perhaps in the hope that s/he will throw the weight of ethics toward one side and end the controversy so everyone can get (...) on with other business. Perhaps the greater problem in these scenarios is that even if one side “wins” by gaining the power to dictate what happens next, the toxicity permeating the relationships often markedly worsens and other conflicts erupt, major and minor. (shrink)

The aim of this paper is to show that a corollary of resolute readings of Wittgenstein’s conception of nonsense cannot be sustained. First, I describe the corollary. Next, I point out the relevance to it of Wittgenstein’s discussion of family resemblance concepts. Then, I survey some typical uses of nonsense to see what they bring to an ordinary language treatment of the word “nonsense” and its relatives. I will subsequently consider the objection, on behalf of a resolute reading, that “nonsense” (...) is a term of philosophical criticism. Finally, I conclude that resolute readings have not sufficiently accounted for how nonsense behaves in our language; they have failed to heed Wittgenstein’s warning: “don’t think, but look!”. (shrink)

We present non-clausal resolution systems for propositional modal logics whose Kripke models do not involve symmetry, and for first order versions whose Kripke models do not involve constant domains. We give systems for K, T , K4 and S4; other logics are also possible. Our systems do not require preliminary reduction to a normal form and, in the first order case, intermingle resolution steps with Skolemization steps.

Drawing and building on the existing literature, this Element explores the interesting and challenging philosophical terrain where issues regarding cooperation, commitment, and control intersect. Section 1 discusses interpersonal and intrapersonal Prisoner's Dilemma situations, and the possibility of a set of unrestrained choices adding up in a way that is problematic relative to the concerns of the choosers involved. Section 2 focuses on the role of precommitment devices in rational choice. Section 3 considers the role of resoluteness in rational choice and (...) action. And Section 4 delves into some related complications concerning the nature of actions and the nature of intentions. (shrink)

Introduction -- Conceptual analysis of resolution -- Ontology development method -- Resolution of single observations -- Resolution of observation collections -- Ontology design patterns for resolution -- Ontology of resolution -- implementation stage -- Conclusion.

Energy services have a particularly significant impact on the daily life and welfare of consumers. The importance of such services is high, and their regulation is also changing both at the EU and Member States level, especially after the adoption of the Third Energy Package1, which is focused on improving the operation of retail markets to yield real benefits for both electricity and gas consumers. In order to implement the main or the most relevant goal of the EU, such as (...) high level of consumer rights protection, resulting in consumer trust in business sector, proper and effective functioning of the EU internal market etc., it is essential to ensure clear and sufficient legal regulation, establish responsibility of the services providers, consumer rights and duties as well as promote more effective, faster and cheaper ways of solving consumer and business disputes. The authors of this article feel the lack of scientific analysis on this issue. Despite its importance, discussions take place at political or practical level, but no recent analyses exist as to why energy services sector is so fragmented and how it affects different conditions or rights of consumers in various Member States. This article also clearly supports the idea that the above-mentioned goals can be achieved by close and more fruitful cooperation between the EU and national competent authorities, participation in various ad hoc expert working groups and committees, such as the Vulnerable Consumers Working Group. This article reflects general ideas about the problems arising in the energy consumer services sector, the activity of the EU and national institutions, seeking to ensure fair and transparent provision of such services to consumers, it also contains an analysis of alternative dispute resolution (hereinafter – the ADR) methods and good practice of their application in the EU Member States. This article highly supports the application of alternative procedures in the field of energy services and sees them as a possibility to minimise increasing consumer problems, e.g. a new phenomenon – consumer energy poverty in the EU, which is defined as the situation where a household is unable to access a socially and materially necessitated level of energy services at home and pay for the provided services. (shrink)

In the 1920s, Paul Hertz (1881-1940) developed certain calculi based on structural rules only and established normal form results for proofs. It is shown that he anticipated important techniques and results of general proof theory as well as of resolution theory, if the latter is regarded as a part of structural proof theory. Furthermore, it is shown that Gentzen, in his first paper of 1933, which heavily draws on Hertz, proves a normal form result which corresponds to the completeness (...) of prepositional SLD-resolution in logic programming. (shrink)

Consumer disputes and their nature are changing very fast every day. E-commerce is promoted by the all relevant stakeholders such as European Commission, consumers associations, competent institutions, and business sector in order to achieve the main present goal—consumer confidence in business and full functioning of the internal EU market. Here the third parties are important—trade partners from all over the word. There is no legal relation or actions between disputes and searching for the most convenient, fast, cheap and comfortable. Because (...) of that, this article sets out general views on online transactions and consumer protection in the context of e-commerce and possible online dispute resolution means. The authors of this article are chiefly concerned about legal uncertainty and the jurisdiction as well as applicable law in business-to-consumer (B2C) e-commerce. Online dispute resolution or in other words it is called the ODR is seen as a possibility to solve these barriers in dispute resolution using technology to facilitate the resolution of disputes between parties primarily involving negotiation, mediation or arbitration, or a combination of all three. In this respect it is often seen as being the online equivalent of alternative dispute resolution. However, ODR can also augment these traditional means of resolving disputes by applying innovative techniques and online technologies to the process. (shrink)