We introduce a notion of the Kripke model for classical logic for which we constructively prove the soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper examines hart's model (1967) of the retributive theory. section i criticizes the model for not answering all the main questions to which a theory of punishment should be addressed, as hart alleges it does. section ii criticizes the model for its omission of the concept of desert. section iii criticizes attempts by card (1973) and by von hirsch (1976) to provide new ways of proportioning punitive severity to criminal injury. section iv discusses the idea of retribution in justifying (...) aim and criticizes the theory of fingarette (1977). the conclusion is that the new retributivists have not solved the problems inherent to older versions of the theory. (shrink)

La historia del idealismo alemán se articula en torno a una serie de encuentros y desencuentros entre quienes pretenden completar una obra que habría quedado inacabada, y que conduciría a una suerte de constitución definitiva de la filosofía. La correspondencia intercambiada entre I. Kant, J. G. Fic..

This work mainly concerns the—here introduced—category of \(\mathscr {Q}\) -sets and functional morphisms, where \(\mathscr {Q}\) is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be \(\kappa \) -locally presentable, (where \(\kappa =max\{|\mathscr {Q}|^+, \aleph _0\}\) ); we also describe a hierarchy of monoidal structures in this category.

PACKAGE THIS TITLE WITH OUR 2016 MLA SUPPLEMENT, Documenting Sources in MLA Style (package ISBN-13: 9781319084387). Get the most recent updates on MLA citation in a convenient, 40-page resource based on The MLA Handbook, 8th Edition, with plenty of models. Browse our catalog or contact your representative for a full listing of updated titles and packages, or to request a custom ISBN. The unique collaborative effort of a professor of English and a professor of philosophy, Current Issues and Enduring Questions (...) is an extensive resource for teaching argument, persuasive writing, and rigorous critical thinking. This extraordinarily versatile text and reader continues to address current student interests and trends in argument, research, and writing.Its comprehensive coverage of classic and contemporary approaches to argument includes Aristotelian, Toulmin, and a range of alternative views, including a new chapter on analyzing and writing about arguments in popular culture. Readings on contemporary controversies (including student loan debt, locavorism, and the boundaries of online privacy) and classical philosophical questions (such as How free is the will of the individual?) are sure to spark student interest and lively discussion and writing, and new e-Pages take advantage of what the Web can do by including videos, speeches, film trailers, and other multimodal arguments. (shrink)

Resumen Este artículo analiza la construcción de la infancia en las novelas El mercurio (1968), El río de la luna (1981) y Esta pared de hielo (2005), de José María Guelbenzu, a la luz de los conceptos mítico-simbólicos de Bachelard y Durand para demostrar que funciona como un absoluto primigenio al que se busca volver constantemente, pues resguarda a los personajes hasta el inminente choque con la realidad adulta. Esto para concluir que desde la adultez los personajes observan la infancia (...) con el anhelo de volver allí, lo que tiene una función paliativa mediante la memoria y la palabra, por ello, la narrativa de Guelbenzu plantea regresar al ámbito infantil desde las imágenes literarias y así conservar ese mundo de fantasía. Abstract This article analyzes the construction of childhood in the novels El mercurio (1968), El río de la luna (1981) and Esta pared de hielo (2005), by José María Guelbenzu, in the light of the mythical-symbolic concepts of Bachelard and Durand to demonstrate that it functions as a primitive absolute to which it is sought to return constantly, since it protects the characters until the imminent clash with adult reality. This to conclude that in their adulthood the characters observe childhood with the desire to return there, this has a palliative function through memory and word, therefore, Guelbenzu’s narrative proposes the return to the child environment trough literary images to preserve that world of fantasy. (shrink)

Trata-se de um estudo comparativo entre as ideias do filósofo Paul Ricoeur (1913 – 2005) e do romancista Milan Kundera (1929-) sobre as experiências do tempo e da memória. Parte-se de uma comparação inicial das ideias de ambos os pensadores acerca dos temas da ipseidade, da História e da experiência do tempo. Em um segundo momento, o pensamento de ambos os autores é colocado em confrontação crítica, em especial no que concerne aos seus respectivos entendimentos sobre a natureza da experiência (...) humana do tempo e os limites da memória. Em seguida, passa-se ao exame das ideias e hipóteses de Kundera sob a luz da hermenêutica filosófica de Ricoeur, com o intento de mostrar que essa é onde essa hermenêutica é mais intensamente desafiada que melhor mostra suas valências filosóficas. Em um último momento, pretende-se mostrar que dessa confrontação crítica resultam interessantes convergências por meio das quais ambos os pensadores oferecem perspectivas similares e complementares para fins do cultivo de uma memória feliz e de uma experiência viva do tempo. (shrink)

Delayed responses are a common phenomenon in experience sampling studies. Yet no consensus exists on whether they should be excluded from the analysis or what the threshold for exclusion should be. Delayed responses could introduce bias, but previous investigations of systematic differences between delayed and timely responses have offered unclear results. To investigate differences as a function of delay, we conducted secondary analyses of nine paper and pencil based experience sampling studies including 1,528 individuals with different clinical statuses. In all (...) participants, there were significant decreases in positive and increases in negative affect as a function of delay. In addition, delayed answers of participants without depression showed higher within-person variability and an initial strengthening in the relationships between contextual stress and affect. Participants with depression mostly showed the opposite pattern. Delayed responses seem qualitatively different from timely responses. Further research is needed to understand the mechanisms underlying these differences. (shrink)

Résumé La méthode de Michel Aubry dérive d’une pratique musicale sarde. Les launeddas, faits en roseau, ont des mesures précises correspondant aux notes. L’artiste en tire une géométrie contagieuse pour les normes de l’art moderne (de Rodtchenko à Beuys). Traduit par une instrumentation archaïque, le moderne survit, devient contemporain.

Life insurance settlements, or life settlements, are life insurance policies owned by investor-beneficiaries on the lives of unrelated individuals. With life settlements, investors make substantial payments to the insured individuals upon purchasing such policies, pay any remaining premius, and collect the death benefits upon the demise of the insured individuals. Transactions involving life settlements seem poised to become a major source of profits for investment banks, comparable in dollar amount to subprime mortgages. With life settlements, the insured individuals suffer no (...) immediate harm, and the sale of a policy an individual owns is permissible under current law. Nevertheless, moral questions can be posed about the social values expressed by these practices, the effect of these practices on the virtue of charity, and the overall loss of social utility that will result from life settlements. We consider life settlements from utilitarian and libertarian perspectives, and then consider the effects of life settlements on social values and on individual character. On balance, we favor legislative changes in insurance and tax laws to discourage life settlements, and argue that certain forms of life settlements should be banned outright. (shrink)

O objectivo deste artigo é demonstrar como, através da participação de John Courtney Murray no decorrer dos trabalhos conciliares, certas noções e intelecções da reflexão teológica e epistemológica de Bernard Lonergan influíram decisivamente na estrutura básica da Declaração Conciliar Dignitatis Humanae. Neste sentido, o artigo passa em revista a estrutura fundamental do argumento em favor da liberdade religiosa de John Courtney Murray, focalizando a atenção sobre o momento em que este autor contribui directamente, como primeiro escriba, para a construção do (...) primeiro esquema autónomo sobre a Liberdade Religiosa no Concílio Vaticano II. O artigo destaca ainda, numa análise sucinta sobre este texto conciliar, os contributos lonerga-nianos que explicitamente transitam, através de Murray, para o corpo do documento, que foram decisivos para um novo enquadramento metodológico da problemática e, assim, para a aprovação final do Documento. /// The main purpose of this article is to show how certain notions and insights of Bernard Lonergan's theological and epistemological reflection exert their influence upon the basic structure of Dignitatis Humanae, through the active conciliar participation of John Courtney Murray on the subject. Thus, the focus of the article is on the main structure of Murray's apologetic argument for religious freedom, precisely when the author works, as first scribe, upon the first conciliar autonomous draft on Religious Liberty. Through a brief scrutiny of this conciliar text, the article also points out Lonergan's decisive assessments, although indirectly through the hands of Murray, for a new methodological stance that allowed the final Declaration's approval. (shrink)

Resumo Pode um filme ser filosófico ? Para os filósofos analíticos esta questão dá origem àquilo que Paisley Livingston designou por “problema da paráfrase”, um dilema intratável para os adeptos da “tese audaciosa”, segundo a qual alguém pode envolver-se com a filosofia através do cinema. Este artigo defende que a prática corajosa de Stanley Cavell, de sempre procurar abordar a filosofia através do cinema, demonstra a importância de um baluarte sediado na autenticidade das análises conceptuais cinematográficas, que vieram a ser (...) conhecidas como “ideias cinematográficas”. Destacaremos neste artigo, alguns exemplos em Jean Vigo, Nicholas Ray, Robert Bresson e nos filmes de Eric Rohmer, graças à análise penetrante de Stanley Cavell, Victor Perkins e Andrew Klevan. Concluir-se-á, que o designado problema de paráfrase está mal postulado, por causa de uma concepção tímida e reducionista sobre a análise filosófica. Palavras-chave : cinema como filosofia, filosofia através do cinema, Paisley Livingston, problema da paráfrase, Stanley Cavell, tese audaciosaCan a film be philosophical ? The analytic philosophers of film agree that this question raises what Paisley Livingston calls “the problem of paraphrase”, an intractable dilemma for the adherents of the “bold thesis” according to which one can indeed engage philosophy through film. This article maintains that the courageous practice of Stanley Cavell, one who always sought to address philosophy through film, demonstrates the significance of a bulwark of authentic cinematographic conceptual analyses that would come to be known as “cinematographic ideas”. Highlighted below are some examples in Jean Vigo’s, Nicholas Ray’s, Robert Bresson’s and Eric Rohmer’s films thanks to the penetrating analysis of Stanley Cavell, Victor Perkins and Andrew Klevan. It follows that the so-called problem of paraphrase is ill-posed because of a reductionist and timid conception of philosophical analysis. Keywords : bold thesis, film as philosophy, Paisley Livingston, philosophy through film, problem of paraphrase, Stanley Cavell. (shrink)

In the following sections we hold that physical continuity suffices personal persistence through time. First, we determine the theoretic and conceptual grounds of the metaphysical problem of personal identity, the relevant notion of «personal identity», the temporal persistence question simpliciter, what identity criteria and individuation principles are, and the formal properties of the identity concept. We differentiate between the simple and complex views, stating the reductionist thesis transversal to the latter. In the central sections, we discuss the main arguments and (...) objections endorsed to the dominant identity criteria, namely, the lockean memory criterion, causal dependence criteria of psychological connectivity and continuity, the corporeal or physical criterion, the somatic view and the cerebral criterion. Psychological criteria are not considered promising. We hold the hypothesis that personal identity consists in a causal relation of brute physical continuity. For such, we refine the original corporeal criterion, showing that the defense of, at least, minimal physicalism about mind-brain identity ensure its reinforcement. (shrink)