• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 5
  • 4
  • 3
  • 3
  • 1
  • 1
  • Tagged with
  • 23
  • 10
  • 9
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

The Modal Logic of Potential Infinity, With an Application to Free Choice Sequences

Brauer, Ethan 10 September 2020 (has links)
No description available.
12

O intuicionismo Kantiano à Luz do Logicismo e do Cognitivismo: Uma defesa da intuição pura do espaço e do tempo

Feijó, Rafael Godolphim 31 March 2017 (has links)
Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2017-06-27T17:05:47Z No. of bitstreams: 1 Rafael Godolphim Feijó_.pdf: 1835499 bytes, checksum: 9b7410f8b42d5a741ecbd275052ab216 (MD5) / Made available in DSpace on 2017-06-27T17:05:47Z (GMT). No. of bitstreams: 1 Rafael Godolphim Feijó_.pdf: 1835499 bytes, checksum: 9b7410f8b42d5a741ecbd275052ab216 (MD5) Previous issue date: 2017-03-31 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / FAPERGS - Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul / A filosofia kantiana da matemática é fundamentada sobre uma estrutura epistemológica intuicionista. As categorias do espaço e do tempo constituem as formas da sensibilidade, formas estas manifestadas por meio de uma intuição pura a priori. O presente trabalho busca realizar uma defesa razoável de tal intuição frente aos críticos contemporâneos, os quais propõem um programa logicista desprovido de estrutura epistêmica no que tange ao raciocínio matemático. Tais críticos afirmam que a aritmética não necessita da intuição pura do tempo para que as operações numéricas possam ser realizadas. Buscaremos demonstrar que a lógica quantificacional constitui um expediente meramente formalista que deixa de lado os problemas epistemológicos da cognição matemática e, por esse motivo, pode ambicionar desconsiderar a intuição pura kantiana. Portanto, buscaremos demonstrar que a intuição pura kantiana ainda pode lançar luz sobre a natureza dos cálculos da matemática. / The Kantian philosophy of mathematics is based on an intuitionist epistemological structure. The categories of space and time are the forms of sensibility, these forms manifested through a pure intuition a priori. The present work seeks to make a reasonable defense of such intuition in the face of contemporary critics, who propose a logicist program devoid of epistemic structure regarding mathematical reasoning. Such critics claim that arithmetic does not need the pure intuition of time for numerical operations to be performed. We will try to demonstrate that the quantificational logic constitutes a merely formalistic expedient that leaves aside the epistemological problems of the mathematical cognition and, for this reason, it can ambition to disregard the pure Kantian intuition. Therefore, we shall try to demonstrate that pure Kantian intuition can still shed light on the nature of mathematical calculations.
13

Episteme do Inefável: razões da irracionalidade na univocidade mística / "Episteme of the Ineffable: reasons of irrationality in the mystical univocity"

Altran, José 12 September 2014 (has links)
Made available in DSpace on 2016-04-25T19:20:32Z (GMT). No. of bitstreams: 1 Jose Altran.pdf: 1835681 bytes, checksum: 676cdf4ba6912928ccee8a5a2f3d586b (MD5) Previous issue date: 2014-09-12 / The dissertation suggests that an epistemology that listen to irrationality is relevant to face perennial obstacles in the philosophy of science, against which many objects collide. This seems to be an especially useful alternative in the sciences of religion, where we see ourselves immobilized by rationality when engaging researches that are related to their typically unspeakable phenomena. The mystical experience, often taken as the basis of religion, is a scenario that often brings amid its ineffability a sense of univocity - which is, precisely, the horizon of academic making. Would this ineffable hold an episteme? Following the publications of Marcelo Dascal, Henri Bergson and others, it is argued that, overcoming asymmetric impositions of epistemic legitimacy that inhibit controversies, we could find in bergsonian intuitionism a way toward these subjects as elusive as dangerous, since they put the rationality as a functional pillar for science and irrationality as a metaphysical pillar to reality itself. The transformations that the mystics brought to the world throughout history could be taken as signs that not only the irrationality was their compass, but also that it can bring extremely desirable outcomes for humanity, althought impelled by unspeakable epiphanies. Our aim is to gradually create lucid foundations for the study of alleged mystical univocities that invariably would become relative under the eyes of reason / A dissertação sugere que uma epistemologia que dê ouvidos à irracionalidade é pertinente para enfrentarmos entraves perenes na filosofia da ciência, frente aos quais muitos objetos colidem. Esta parece uma alternativa especialmente útil nas ciências da religião, onde nos vemos imobilizados pela racionalidade ao nos engajarmos em pesquisas que guardam relação com seus fenômenos tipicamente indizíveis. A experiência mística, tantas vezes tida como base das religiões, é cenário que frequentemente traz em meio à sua inefabilidade uma sensação de univocidade - justamente o horizonte do fazer acadêmico. Moraria neste inefável uma episteme? Por meio de Marcelo Dascal, Henri Bergson e outros, argumenta-se que, superadas imposições assimétricas de legitimidade epistêmica que inibem controvérsias, poderíamos encontrar no intuicionismo bergsoniano um caminho a seguir frente a esses assuntos tão fugidios quanto delicados, uma vez que coloca a racionalidade como pilar funcional para a ciência, e a irracionalidade como pilar metafísico para a realidade em si. As transformações que os místicos trouxeram ao mundo ao longo da história servem como indício de que não só foi a irracionalidade sua diretriz, como que ela pode trazer resultados objetivos e extremamente desejáveis para a humanidade, mesmo impelidas por epifanias indizíveis. Pretende-se, assim, aos poucos, criar fundamentos lúcidos para o estudo de supostas univocidades místicas que invariavelmente se tornariam relativas sob o domínio da razão
14

Investigações em semânticas construtivas / Investigations on proof-theoretic semantics

Oliveira, Hermogenes Hebert Pereira 14 February 2014 (has links)
Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2014-09-19T13:14:21Z No. of bitstreams: 2 Dissertacao Hermogenes Hebert Pereira Oliveira.pdf: 452221 bytes, checksum: b2469cc663d70c03f4dcf9dbea202fb2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-09-19T13:19:45Z (GMT) No. of bitstreams: 2 Dissertacao Hermogenes Hebert Pereira Oliveira.pdf: 452221 bytes, checksum: b2469cc663d70c03f4dcf9dbea202fb2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-19T13:19:45Z (GMT). No. of bitstreams: 2 Dissertacao Hermogenes Hebert Pereira Oliveira.pdf: 452221 bytes, checksum: b2469cc663d70c03f4dcf9dbea202fb2 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-02-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Proof-theoretic Semantics provides a new approach to the semantics of logical constants. It has compelling philosophical motivations which are rooted deeply in the philosophy of language and the philosophy of mathematics. We investigate this new approach of logical semantics and its perspective on logical validity in the light of its own philosophical aspirations, especially as represented by the work of Dummett (1991). Among our findings, we single out the validity of Peirce’s rule with respect to a justification procedure based on the introduction rules for the propositional logical constants. This is an undesirable outcome since Peirce’s rule is not considered to be constructively acceptable. On the other hand, we also establish the invalidity of the same inference rule with respect to a justification procedure based on the elimination rules for the propositional logical constants. We comment on the implications of this scenario to Dummett’s philosophical programme and to proof-theoretic semantics in general. / As semânticas construtivas oferecem uma nova abordagem semântica para as constantes lógicas. Essas semânticas gozam de fortes motivações filosóficas advindas da filosofia da linguagem e da filosofia da matemática. Nós investigamos essa nova abordagem semântica da lógica e sua concepção de validade lógica sob a luz de suas próprias aspirações filosóficas, em especial aquelas representadas pelo trabalho de Dummett (1991). Dentre nossos resultados, destacamos a validade da Regra de Peirce em relação ao procedimento justificatório baseado nas regras de introdução para as constantes lógicas proposicionais. Essa é uma situação indesejável, pois a Regra de Peirce não é considerada aceitável de um ponto de vista construtivo. Por outro lado, verificamos que o procedimento justificatório baseado nas regras de eliminação atesta a invalidade dessa mesma regra. Tecemos alguns comentários a respeito das consequências desse cenário para o projeto filosófico de Dummett e para as semânticas construtivas em geral.
15

Intuitionism and Moral Reasoning / Intuicionismo y razonamiento moral

Lariguet, Guillermo 10 April 2018 (has links)
My goal for this paper can be presented as follows: I will attempt to show that objections to intuitionism, although they are serious, do not undermine entirely its fertility for knowledge and moral reasoning. This is probably the perception of contemporary philosophers like David Enoch, Robert Audi, Russ Shafer-Landau or John McDowell. In order to fulfill the objective mentioned above, I will do the following. First, I will outline broadly two of the paradigmatic features of moral intuitionism in order to identify it as a particular metaethics doctrine. Secondly, I will summarize some of the main objections that have been raised in order to discredit the value of moral intuitionism as a source both of moral knowledge and of valid support for moral reasoning. In third place, I will try, also briefly, to explain some of the possible (not all of course) answers to the objections previously mentioned in the paper. Fourth, I will recapitulate the more fruitful aspects of intuitionism, especially in regard to moral reasoning. / Mi objetivo para este trabajo puede presentarse de la siguiente forma: se intentará mostrar que las objeciones al intuicionismo, si bien son serias, no minan en forma absoluta su fertilidad para el conocimiento y el razonamiento moral. Probablemente esta sea la percepción de filósofos contemporáneos como David Enoch, Robert Audi, Russ Shafer-Landau o John McDowell. Para poder cumplir con el antes dicho objetivo, en este trabajo haré lo siguiente. En primer lugar, esbozaré, a grandes rasgos, dos de las características paradigmáticas del intuicionismo moral a fin de que podamos identificarlo como una corriente metaética particular. En segundo lugar, sintetizaré algunas de las principales objeciones que, por diversos conductos, han buscado desacreditar el valor del intuicionismo moral como fuente de conocimiento moral y también de apoyo válido para el razonamiento moral.En tercer lugar, intentaré, también de manera sumaria, explicitar algunas de las posibles (no todas, desde luego) respuestas a las antes mencionadas objeciones. En cuarto lugar, recapitularé los aspectos rescatables del intuicionismo, especialmente en lo que atañe al razonamiento moral.
16

O construtivismo político rawlseano: da possibilidade de uma justificação política normativa não-fundacionalista

Feijó, Ataualpa Godolphim 09 May 2011 (has links)
Made available in DSpace on 2014-08-20T13:17:40Z (GMT). No. of bitstreams: 1 Ataualpa_Godolphim_Feijo_Dissertacao.pdf: 1157658 bytes, checksum: 39418b95a73eb9413821bfe66409f3e2 (MD5) Previous issue date: 2011-05-09 / Contemporaries democratic societies are deeply distinguished by the diverseness of ethical, phylosophical and religious doctrines so that the principles that govern the basic structure of society must be established in a way this pluralism be respected. John Rawls, in this context, shows his theory of justice as fairness, which proposes a political constructivism for constructing and justify the Equal Liberty and the Fair Equality of Opportunity/Difference principles. So, such principles are not introduced as more fitness for the basic structure because they allude to a prior normative order foregoing the conceptions of person and society, but because they express shared political values that constitute moral facts which, for them part, doesn t need be epistemologically proved in order to be utilized as ground points for the more general principles. Thus, arouse the concept of reasonable as opposed to true, because the idea of reasonableness alludes to an account of justification that doesn t appeal to an autonomous or heteronomous foundational authority. In this manner, this idea becomes an substitute for the idea of truth, which inevitably implies a notion of absolute and foudationalist justification that, according to Rawls, isn t suitable for a theory of justice which intends itself tolerant and freestanding. We must therefore, in order to expose this constructivism in a didactic way, analyse the three procedures which compose it, namely, original position, reflective equilibrium and overlapping consensus. It has evidenced that these procedures work in narrow syntony, so that them propitiate a normative account of objectivity for the principles of justice which can perfectly leave aside the notions of truth and absolute growndwork / As sociedades democráticas contemporâneas são profundamente marcadas pela diversidade de doutrinas éticas, filosóficas e religiosas, de modo que os princípios que regem a estrutura básica da sociedade precisam ser estabelecidos para que este pluralismo seja respeitado. Nesse ínterim, John Rawls apresenta sua teoria da justiça como equidade, a qual propõe um construtivismo político que visa a construção e a justificação dos princípios de Igual Liberdade e Igualdade Equitativa de Oportunidade/Diferença. Assim, tais princípios não são apresentados como sendo os mais adequados - para a estrutura básica social - em vista de remeterem a uma ordem normativa anterior às concepções de pessoa e sociedade, mas, sim, por expressarem valores políticos compartilhados que constituem fatos morais, os quais, por sua vez, não necessitam ser epistemologicamente comprovados a fim de poderem ser utilizados como pontos de ancoramento para os princípios mais gerais. Surge, desta forma, o conceito de razoável (reasonable) como sendo contraposto ao conceito de verdadeiro (true), uma vez que a ideia de razoabilidade remete a uma concepção de justificação que não apela para uma autoridade fundacional de cunho autônomo ou heterônomo. Logo, esta ideia vem a substituir a de verdade, a qual acarreta, inevitavelmente, uma noção de justificação absoluta e fundacionalista, justificação esta que, conforme Rawls, não é adequada para uma teoria da justiça que se pretenda tolerante e autossustentada (freestanding). Desta maneira, a fim de expormos didaticamente este construtivismo, precisamos analisar os três procedimentos que o compõem, a saber, a posição original (original position), o equilíbrio reflexivo (reflective equilibrium) e o consenso sobreposto (overlapping consensus). Constatou-se que esses procedimentos operam em estreita sintonia, de modo que propiciam uma concepção de objetividade normativa para os princípios políticos de justiça - que pode, perfeitamente, prescindir das noções de verdade e de fundamentação absoluta
17

Thinking Before You Act: A Constructive Logic Approach to Crafting Performance-for- Development Narrative

Duggins, Angela 01 December 2017 (has links) (PDF)
The intent of this thesis was to test the feasibility of constructing performance-for-development narrative using a constructive logic approach. I created an equation which expressed the sum of non-human-elements as the sum of a narrative with each element serving as a variable. I used a review of persuasion literature to provide insight into the selection and manipulation of each variable. I provided my family as a hypothetical example and used my knowledge of their preferences and communication styles in conjunction with the literature and the equation to craft a narrative which might increase pro-school attitudes in other families like my own. I found that there exists a narrative comprised of only non-human elements that are likely to yield change in an audience given a specific situation, and that a constructive logic approach can be used to craft performance-for-development narrative.
18

Nature, fiabilité et rôle des intuitions utilisées en philosophie morale contemporaine

Giroux, Jessy 07 1900 (has links)
Ce mémoire porte sur les intuitions utilisées en philosophie morale contemporaine. Les intuitions sont interrogées sur trois aspects : leur nature, leur fiabilité et leur rôle. Concernant la nature des intuitions, celles-ci sont présentées comme des jugements spontanés ayant une valeur épistémique « à première vue ». Concernant la fiabilité des intuitions, trois grands types de raisons de douter de leur fiabilité sont considérés, à savoir les résultats de certaines études scientifiques montrant de diverses manières leur instabilité, les études réalisées par le mouvement de philosophie expérimentale afin d'illustrer le phénomène du désaccord intuitif, et enfin, le problème de l'origine douteuse des intuitions. Aucune de ces raisons n'est jugée efficace afin de discréditer l'usage des intuitions en philosophie. Concernant le rôle des intuitions, une distinction est proposée entre deux grands types d'usage philosophique contemporain. D'une part, ce qu'on peut appeler la méthodologie standard en philosophie morale contemporaine consiste en une combinaison d’expériences de pensée et de la méthode de l’équilibre réfléchi. Différentes manières d'aborder la méthode de l'équilibre réfléchi sont présentées, et le modèle de l'équilibre réfléchi large développé par Norman Daniels est jugé le plus efficace. D'autre part, les intuitions sont parfois utilisées en philosophie morale contemporaine dans le cadre de la théorie de l'intuitionnisme éthique. La théorie est défendue contre diverses objections, et elle est montrée compatible avec la méthode de l’équilibre réfléchi. / The object of this Master’s thesis is the intuitions used in contemporary moral philosophy. Intuitions are investigated on three aspects: their nature, their reliability, and their role. Regarding the nature of intuitions, they are presented as spontaneous judgments with “prima facie” epistemic value. Regarding the reliability of intuitions, three general types of reasons to question their reliability are considered, namely, the results of certain scientific studies showing in various ways Fiabilité des intuitionstheir unreliability, studies conducted in the field of experimental philosophy which emphasize the phenomenon of intuitive disagreement, and finally, the problem of the origin of intuitions. None of these reasons is judged good enough to discredit the use of intuitions in philosophy. Regarding the role of intuitions, a distinction is drawn between two main types of usage in contemporary philosophy. On the one hand, what can be called the “standard methodology” in contemporary moral philosophy consists in the combination of thought experiments and the method of reflective equilibrium. Different ways of construing the method of reflective equilibrium are considered, and the “Wide Reflective Equilibrium” model developed by Norman Daniels is judged the most successful. On the other hand, intuitions are sometimes used in contemporary moral philosophy in the context of the theory of ethical intuitionism. The theory is defended against various objections, and it is shown to be compatible with the method of reflective equilibrium.
19

Unearthing the Seeds of Oppression and Injustice within Education: Using Intuition, Care, and Virtue to Guide the Educative Process and Cultivate Morality.

Worsham, Lucas 01 January 2016 (has links)
The emphasis of the inquiry is on the domain of education and the relationship present between the teacher and student more specifically. Essentially, the first part of the thesis outlines how the larger social-political system impacts the domain of public education, with the predominant issues of adversity becoming manifest at the level of the relationship that exists between teacher and student. The second part of the work utilizes the problems discovered and their impact on human experience to propose a virtue/care based method for approaching the relationship with the student in a way that both aligns more closely with the movement of experience, while also functioning to assist the student in shaping their own moral character. Essentially, the method being proposed is something that is meant to assist the teacher in her attempts to communicate with the student in a more personal sort of way, thus allowing for a higher degree of understanding of the unique personality of each student, with this understanding leading the teacher to form a more flexible approach that takes into account the various personalities of the students. In so doing the teacher is working to bring the experience of the student into the educative process, which should thereby increase student performance through their feeling more involved in the education being received.
20

Les classifications des systèmes philosophiques d'Emmanuel Kant à Jules Vuillemin. Étude architectonique, logique et mathématique.

Mélès, Baptiste 06 December 2011 (has links)
À la suite d’Agrippa, maint sceptique a argué de la pluralité des systèmes pour ruiner toute ambition de vérité philosophique : des systèmes contradictoires ne pouvant être vrais simultanément, leurs prétentions respectives s’annulent. L’argument n’a pourtant de valeur que si la pluralité des systèmes est elle-même irrationnelle. Or plusieurs philosophes ont rationalisé la diversité des systèmes philosophiques, suggérant par là que la raison puisse s’approprier sa propre limite ; notamment Kant, dans l’« Histoire de la raison pure » qui conclut la Critique de la raison pure (1781) ; Hegel, dans les Leçons sur l’histoire de la philosophie (1805–1830) ; Victor Cousin, dans Du Vrai, du beau et du bien (1828) et l’Histoire générale de la philosophie (1863) ; Charles Renouvier, dans l’Esquisse d’une classification systématique des doctrines philosophiques (1885–1886) ; et Jules Vuillemin, dans Nécessité ou contingence (1984).Étudier de manière interne chacune de ces entreprises permet de déterminer quels en sont les critères fondamentaux, la forme mathématique générale, et le but philosophique. L’histoire kantienne de la raison pure, injustement dédaignée, repose sur les concepts fondamentaux du criticisme, structure maint chapitre des trois Critiques, et annonce la paix philosophique perpétuelle dont est porteur le criticisme. Les Leçons de Hegel ne sont ni un résumé empirique ni une histoire biaisée de la philosophie : fondées sur la Logique et la Phénoménologie, elles mettent au jour la dialectique interne des systèmes. La classification de Renouvier n’est pas, comme on le dit parfois, a posteriori, mais repose au contraire sur le jeu a priori d’une table des catégories et d’une théorie de la contradiction. Enfin, la classification vuilleminienne des systèmes, qui s’appuie sur une classification des formes de prédication, généralise la classification kantienne. Seule la classification de Victor Cousin s’avère finalement a posteriori.Ancrées dans les concepts fondamentaux de chacune de ces doctrines, ces classifications montrent qu’un système peut construire l’image des autres et de leurs relations aussi rigoureusement qu’il décrit le monde : les relations entre systèmes ne sont pas moins structurales que les systèmes eux-mêmes. / Following the example of Agrippa, a lot a sceptics argued that, because of the plurality of philosophical systems, there could be no unique philosophical truth: contradictory systems could not be true at the same time. But this argument presupposes that this plurality is itself irrational. And yet some philosophers took the diversity of philosophical systems as rational, suggesting that reason was able to take possession of its own boundary: Kant, in the “History of pure reason” of the Critique of Pure Reason (1781); Hegel, in the Lessons on the History of Philosophy (1805–1830); Victor Cousin, in his books Du Vrai, du beau et du bien (1828) and the Histoire générale de la philosophie (1863); Charles Renouvier, in the Esquisse d’une classification systématique des doctrines philosophiques (1885–1886); and Jules Vuillemin, in Necessity or Contingency (1984).By examining the internal structure of each of these attempts, we can show their main criteria, their general mathematical form, and their philosophical aim. Kant’s “History of Pure Reason” uses the fundamental concepts of criticism, plays a structuring role in the Critique of Pure Reason, and forecasts the perpetual peace of criticism. Hegel’s Lessons are neither an empirical summary nor a biased history of philosophy: they are grounded on Hegel’s Logic and Phenomenology, and reveal the internal dialectic of systems. Renouvier’s classification is not a posteriori, but combines an a priori table of categories with a theory of contradiction. Finally, Vuillemin’s classification of systems, which is grounded on a classification of elementary sentences, is a generalization of Kant’s classification. Only Victor Cousin’s classification is a posteriori.These classifications find their roots in the fundamental concepts of each of these systems. A philosophical system is thus able to account not only for the world, but also for other systems and for their relationship. The relationship between systems is not less structural than systems themselves are.

Page generated in 0.0563 seconds