Relevant bibliographies by topics / Philosophy of logics / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Philosophy of logics.

Dissertations / Theses on the topic 'Philosophy of logics'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Philosophy of logics.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

LAM, Wai Yin. "Causal modeling, reversibility, and logics of counterfactuals." Digital Commons @ Lingnan University, 2012. https://commons.ln.edu.hk/philo_etd/8.

Full text
Abstract:
This thesis studies Judea Pearl’s logic of counterfactuals derived from the causal modeling framework, in comparison to the influential Stanlnaker-Lewis counterfactual logics. My study focuses on a characteristic principle in Pearl’s logic, named reversibility. The principle, as Pearl pointed out, goes beyond Lewis’s logic. Indeed, it also goes beyond the stronger logic of Stanlnaker, which is more analogous to Pearl’s logic. The first result of this thesis is an extension of Stanlnaker’s logic incorporating reversibility. It will be observed that the translation of reversibility from Pearl’s
APA, Harvard, Vancouver, ISO, and other styles
2

Lavers, Peter Stanley. "Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics /." Title page, table of contents and summary only, 1985. http://web4.library.adelaide.edu.au/theses/09ARM/09arml399.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Tarver, Mark. "Metaontology." Thesis, University of Warwick, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.481840.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Terrés, Villalonga Pilar. "Substructural Logics and Pragmatic Enrichment." Doctoral thesis, Universitat de Barcelona, 2020. http://hdl.handle.net/10803/668507.

Full text
Abstract:
In this dissertation, we argue for a Pragmatic Logical Pluralism, a pluralist thesis about logic which endorses Classical, Relevant, Linear, and Ordered logic. We justify that the formal languages of these four logics are legitimate codifications of the logical vocabulary and capture legitimate senses of logical consequence. This will be justified given a particular interpretation of the four formal languages: logical consequence and conditional, disjunction, and conjunction of the four different logics codify different and legitimate senses of ‘follows from’, ‘if...then’, ‘or’ and ‘and’ whic
APA, Harvard, Vancouver, ISO, and other styles
5

Mikec, Luka. "On Logics and Semantics for Interpretability." Doctoral thesis, Universitat de Barcelona, 2021. http://hdl.handle.net/10803/671687.

Full text
Abstract:
In the central part of this thesis we study for different interpretability logics the following aspects: completeness for modal semantics, decidability and algorithmic complexity. In particular, we will study two basic types of relational semantics for interpretability logics. One is the Veltman semantics, which we shall refer to as the regular or ordinary semantics; the other is called generalised Veltman semantics. In the recent years and especially during the writing of this thesis, generalised Veltman semantics was shown to be particularly well-suited as a relational semantics for interpr
APA, Harvard, Vancouver, ISO, and other styles
6

Badía, Guillermo. "Possible Worlds and Paradoxes." Pontificia Universidad Católica del Perú - Departamento de Humanidades, 2013. http://repositorio.pucp.edu.pe/index/handle/123456789/113009.

Full text
Abstract:
Robert Adams' definition of a possible world is paradoxical according to Selmer Bringsjord, Patrick Grim and, more recently, Cristopher Menzel. The proofs given by Bringsjord and Grim relied crucially on the Powerset Axiom; Christoper Menzel showed that, while this continued tobe the case, there was still hope for Adams' definition, but Menzel he undustedan old russellian paradox in order to prove that we could obtain the same paradoxical consequences without appealing to any other set theory than the Axiomof Separation. Nevertheless, Menzel's result only showed that there was no actualworld.
APA, Harvard, Vancouver, ISO, and other styles
7

Ornelas, Bernal Jorge, and G. Armando Cíntora. "What’s Wrong with Pryor’s Dogmatism?" Pontificia Universidad Católica del Perú - Departamento de Humanidades, 2014. http://repositorio.pucp.edu.pe/index/handle/123456789/113048.

Full text
Abstract:
It is argued that Pryor's criticism of scepticism of perceptual justification misses the point: while Pryor's dogmatism can provide a successful explication of the perceptual justification of first order empirical beliefs (i.e., an explication of propositional justification), it is barren vis à vis second order sceptical criticisms about the epistemic status of beliefs justified via perception (that is, criticisms pointing to the lack of doxastic justification). We argue that the two main motivations that Pryor offers for his dogmatism –to avoid scepticism of perceptual justification and to ex
APA, Harvard, Vancouver, ISO, and other styles
8

Zardini, Elia. "Living on the slippery slope : the nature, sources and logic of vagueness." Thesis, St Andrews, 2008. http://hdl.handle.net/10023/508.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Mulvihill, Corey. "Wittgenstein's critique of the logicist definition of number in the "Tractatus Logico-Philosophicus"." Thesis, University of Ottawa (Canada), 2005. http://hdl.handle.net/10393/27159.

Full text
Abstract:
The goal of this thesis is to present a coherent and exhaustive picture of Wittgenstein's critique of the logicist definition of number as presented by his philosophy of mathematics in the Tractatus Logico-Philosophicus . It does so by considering several critiques that Wittgenstein makes of the logicist's definition of number. Furthermore, this thesis compares Wittgenstein's operational definition of number---the central feature of Wittgenstein's theory---to Church's lambda calculus to demonstrate how Wittgenstein has a similar understanding of arithmetic.
APA, Harvard, Vancouver, ISO, and other styles
10

Decauwert, Guillaume. "L'articulation des aspects logique et "mystique" du Tractatus de Wittgenstein : forme et origines de la distinction entre dire et montrer." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENP003.

Full text
Abstract:
La présente thèse de doctorat propose une interprétation du Tractatus logico-philosophicus qui prend pour fil directeur l'analyse de la distinction opérée par Ludwig Wittgenstein entre « ce qui peut être dit » et « ce qui se montre ». Il s'agit, à partir d'une étude de la relation entre les développements logiques du Traité et son aspect « mystique » (c'est-à-dire ses considérations concernant la notion de valeur absolue), de poser le problème de son unité structurelle. L'unité du premier ouvrage de Wittgenstein s'avère étroitement liée à la distinction entre dire et montrer en laquelle réside
APA, Harvard, Vancouver, ISO, and other styles
11

Shirley, Gregory Damon. "Heidegger and the philosophy of logic /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2006. http://wwwlib.umi.com/cr/ucsd/fullcit?p3238519.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

French, Christopher Forbes. "Philosophy as conceptual engineering : inductive logic in Rudolf Carnap's scientific philosophy." Thesis, University of British Columbia, 2015. http://hdl.handle.net/2429/55135.

Full text
Abstract:
My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design problems from current work in history of engineering and technology studies. I then
APA, Harvard, Vancouver, ISO, and other styles
13

Souza, Galileu Galilei Medeiros de. "O problema da metafísica e a filosofia da ação: ensaio sobre a possibilidade da metafísica por meio da crítica à superstição." Universidade Federal da Paraí­ba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/5670.

Full text
Abstract:
Made available in DSpace on 2015-05-14T12:11:58Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2686026 bytes, checksum: 2f29740e81ac80840b4af73265b347c1 (MD5) Previous issue date: 2014-11-04<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>The objective of this thesis is to justify the exercise of a metaphysical rationality as a philosophical program of knowledge, as from the philosophy of action from Maurice Blondel. In this purpose, we will try to evidence the philosophy of action as a metaphysical phenomenology or a phenomenological metaphysics guided by a rigorous critic
APA, Harvard, Vancouver, ISO, and other styles
14

Merrison, Joanne. "Coleridge's logic." Thesis, University of East Anglia, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316092.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Longworth, Guy Howard. "Logical form in philosophy and linguistics." Thesis, Birkbeck (University of London), 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268845.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Carr, Jeffrey. "Aristotle's use of "genus" in logic, philosophy and science." Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/1794.

Full text
Abstract:
In Metaphysics Delta.28, Aristotle provides four uses of the term "genus", which he then summarises in three separate accounts. The purpose of this dissertation is first, to explain each of the uses given by Aristotle, second, to explain how his summary of the four uses by three accounts is justified, and third, to examine some philosophical applications of each use. I will relate the different uses to each other as far as entailments can be established, and show that the focal, if not the most common sense of genus, corresponds to the use of genus as the substratum of differentiate, given in
APA, Harvard, Vancouver, ISO, and other styles
17

DUARTE, ALESSANDRO BANDEIRA. "LOGIC AND ARITHMETIC IN FREGE´S PHILOSOPHY OF MATHEMATICS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2009. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=13942@1.

Full text
Abstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>Nos Fundamentos da Aritmética (parágrafo 68), Frege propõe definir explicitamente o operador-abstração ´o número de...´ por meio de extensões e, a partir desta definição, provar o Princípio de Hume (PH). Contudo, a prova imaginada por Frege depende de uma fórmula (BB) não provável no sistema em 1884. Acreditamos que a distinção entre sentido e referência e a introdução dos valores de verdade como objetos foram motivada para justificar a introdução do Axioma IV, a partir do qual um análogo de (BB) é provável. Com (BB) no sistema, a prova do
APA, Harvard, Vancouver, ISO, and other styles
18

Alvarez, Fabiola. "The Scottish national screen agency : justifications of worth." Thesis, University of St Andrews, 2014. http://hdl.handle.net/10023/5020.

Full text
Abstract:
This thesis examines the role of the former national screen agency in Scotland, which was in charge of distributing public funds for screen activity between 1997 and 2010. It examines how external factors such as cultural policy and internal factors such as individual approaches to film funding, affected the agency's perception and remit. The study draws on the institutional logics perspective (Thornton et al., 2012) to frame the interplay of two competing imperatives, one commercial, one creative, affecting the creative industries in Scotland and Scottish Screen's activities more specifically
APA, Harvard, Vancouver, ISO, and other styles
19

Heck, Richard Gustave. "Logic, semantics, ontology." Thesis, Massachusetts Institute of Technology, 1991. http://hdl.handle.net/1721.1/13940.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1991.<br>Vita.<br>Includes bibliographical references (leaves 195-197).<br>by Richard Gustave Heck, Jr.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
20

Oberholzer, Johannes Francois. "Agent Interval Temporal Logic." Diss., University of Pretoria, 2020. http://hdl.handle.net/2263/74826.

Full text
Abstract:
Alternating-Time Temporal Logic (ATL), introduced by Alur, Henzinger and Kupferman, is a logic involving coalitions of agents performing actions which cause a state change in a turn-based time system. There have been game theoretic ex- tensions on ATL, and they are very good at specifying systems of multiple agents cooperating or competing in a game-like situation. Unfortunately neither ATL nor its extensions are able to capture the idea of gradual change, or duration of actions or events. The concurrent game model of ATL operates like a turn based game, with sets of agents taking their
APA, Harvard, Vancouver, ISO, and other styles
21

Cook, Roy T. "Logic-as-modeling : a new perspective on formalization." Connect to resource, 2000. http://rave.ohiolink.edu/etdc/view.cgi?acc%5Fnum=osu1260202088.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Hawley, Derik. "Logic in Pictures: An Examination of Diagrammatic Representations, Graph Theory and Logic." Thesis, University of Waterloo, 1994. http://hdl.handle.net/10012/738.

Full text
Abstract:
This thesis explores the various forms of reasoning that are associated with diagrams. It does this by a logical analysis of diagrammatic symbols. The thesis is divided into three sections dealing with different aspects of diagrammatic logic. They are (1) The relevance of diagrammatic symbols and their role in logic, (2) Methods of formalizing diagrammatic symbols, such as subway maps and Peirce's Existential Graphs through the means of Graph theory, (3) The conception of inference in diagrammatic logic systems.
APA, Harvard, Vancouver, ISO, and other styles
23

Campbell, Joseph Michael. "The logic of freedom." Diss., The University of Arizona, 1992. http://hdl.handle.net/10150/185850.

Full text
Abstract:
I take it for granted that free will is a central philosophical notion. Still, throughout Western history certain philosophers have put forth arguments which claim that no person has, or could have, free will. These arguments may be grouped into three different types. First, there are metalogical arguments which argue that since all propositions are either true or false, and since propositions do not change their truth-values, no person ever has free will. Second, there are divination arguments which claim that there exists some divine being, perhaps God, with complete knowledge of all future
APA, Harvard, Vancouver, ISO, and other styles
24

Cohen, Mary Elizabeth. "Vagueness, logic and truth /." The Ohio State University, 1987. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487330761220603.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Scarre, G. F. "Logic and reality in the philosophy of John Stuart Hill." Thesis, Open University, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371028.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Frezza, Giulia. "The concept of interaction : crossovers among biology, logic and philosophy." Paris 7, 2011. http://www.theses.fr/2011PA070008.

Full text
Abstract:
Mon travail propose l'histoire épistémologique du concept d'interaction, que j'ai appelée son "hidden epistemological exaptation", à partir des domaines de la physique (complementarity principle) et de la psychologie (Gestalttheorie) en arrivant à la biologie contemporaine. Ma thèse est que, de ce point de vue, l'interaction est un processus doté d'une polarité. Il a un coté positif, du point de vue de l'action coordonnée entre deux dynamiques ou processus, mais, d'autre part, il a un coté négatif, en tant qu’inter-férence (littéralement: inter-fero en Latin, amener) qui résulte de la co-const
APA, Harvard, Vancouver, ISO, and other styles
27

Castelo, Branco Judikael. "Philosophie et histoire dans la pensée d'Eric Weil." Thesis, Lille 3, 2017. http://www.theses.fr/2017LIL30051/document.

Full text
Abstract:
La philosophie d’Eric Weil présente une structure systématique dont l’interprétation des composants n’est pas facilement concevable. Le titre “Philosophie et histoire dans la pensée d'Eric Weil” propose une lecture complète du système weilian visant à sa compréhension à travers un élément qui traverse tout son travail : l’histoire. Notre hypothèse est que Weil présente une manière originale de penser à l’histoire qui, sans constituer une “philosophie particulière”, peut être un principe herméneutique pour l’interprétation de sa pensée. Nous voulons montrer que la question de l’histoire représe
APA, Harvard, Vancouver, ISO, and other styles
28

Morris, Harold Campbell. "Typogenetics : a logic of artificial propagating entities." Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/41447.

Full text
Abstract:
This thesis deals with abstract models of propagation (especially, self—replication). As some of these reflector borrow from nature, a summary of biology's current understanding of natural reproduction (mitosis) is provided for background. However, the predominant concern is with entities realized in uninterpreted symbolic systems, and associated philosophical and design problems. Thus the comparison that is made between artificial and natural modes of propagation is intended primarily to enhance conception of the former. Automata constitute one type of formal model. With a simple T
APA, Harvard, Vancouver, ISO, and other styles
29

Chetelat, Pierre J. "Hegel's logic: Its function, method and necessity." Thesis, University of Ottawa (Canada), 1997. http://hdl.handle.net/10393/9955.

Full text
Abstract:
This thesis is essentially an attempt to grasp the nature of Hegel's logic as a whole. In my first chapter I consider what Hegel is trying to accomplish in the logic. Here we see that Hegel's logic is not only a science of thought but a metaphysics as well. In my second chapter I examine Hegel's famous dialectical method by criticizing two previous interpretations of this method and by arguing for a third interpretation. In my last chapter I develop an interpretation of logical necessity by considering Hegel's comments on this topic as well as his discussion of the concept of necessity at the
APA, Harvard, Vancouver, ISO, and other styles
30

Snyder, Eric A. "The philosophy of mathematics of Wittgenstein's Tractatus logico-philosophicus, explication and analysis of Wittgenstein's early philosophy of mathematics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ58236.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Murakami, Yuko. "Modal logic of partitions." [Bloomington, Ind.] : Indiana University, 2005. http://wwwlib.umi.com/dissertations/fullcit/3162977.

Full text
Abstract:
Thesis (Ph.D.)--Indiana University, Dept. of Philosophy, 2005.<br>Title from PDF t.p. (viewed Dec. 2, 2008). Source: Dissertation Abstracts International, Volume: 66-02, Section: A, page: 0620. Chairs: Lawrence Moss; Michael Dunn.
APA, Harvard, Vancouver, ISO, and other styles
32

Oliveira, Antonio Marmo da Cunha 1969. "Sistemas, pressuposições e implicaturas = uma investigação exploratória, lógica e filosófica." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/279513.

Full text
Abstract:
Orientador: Walter Alexandre Carnielli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas<br>Made available in DSpace on 2018-08-19T13:14:11Z (GMT). No. of bitstreams: 1 Oliveira_AntonioMarmodaCunha_M.pdf: 7643012 bytes, checksum: 1904b2b114fcf86253069cc0fe63eedb (MD5) Previous issue date: 2011<br>Resumo: Neste trabalho investigaremos, do ponto de vista da lógica e da filosofia, os fenômenos pragmáticos conhecidos como pressuposição e implicatura, relacionando-os a traços mais gerais da racionalidade humana, como economia e consistência,
APA, Harvard, Vancouver, ISO, and other styles
33

Jung, Darryl 1962. "The Logic of Principia Mathematica." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/11766.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Frias, Denis. "Hegel's logical determinations." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0001/MQ46569.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Elkind, Landon D. C. "The search for logical forms: in defense of logical atomism." Diss., University of Iowa, 2018. https://ir.uiowa.edu/etd/3250.

Full text
Abstract:
I here defend logical atomism. This defense rests on reinterpreting logical atomism as a search for logical forms. This reinterpretation has two parts comprising six chapters. In the first part, I do some historically-driven recovery. In the introduction, I review the literature on Russell's logical atomism. In Chapter 1, I argue that the dominant interpretation of logical atomism is wrong on historical grounds: it accounts for neither the history of logical atomism nor for crucial elements of the logical atomist texts. In Chapter 2, I then use Russell's writings to recover what I argue is the
APA, Harvard, Vancouver, ISO, and other styles
36

DeWitt, Richard. "Vagueness, logic and the computational view of mind /." The Ohio State University, 1988. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487588939086918.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Nagao, Shinichi. "The Establishment of Empirical Logic in 18th century Scottish Moral Philosophy." 名古屋大学大学院経済学研究科, 2004. http://hdl.handle.net/2237/10734.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Marabelli, Stéfano. "Storia e logica nel pensiero di Eric Weil." Thesis, Lille 3, 2018. http://www.theses.fr/2018LIL3H052.

Full text
Abstract:
Mon travail de thèse se propose de fournir une interprétation de la Logique de la philosophie à travers les essais que l’auteur a dédié à l’histoire. Pour ce faire, après une biographie brève du philosophe, la première partie est consacrée à l’analyse de ces textes, afin de parvenir à la conception de l’histoire weillienne. On examine comment Weil inaugure une nouvelle manière de penser l’histoire à travers la réinterprétation hégélienne du problème du choix posé par Max Weber: l’histoire, autrement dit, n’est pas du tout une recomposition dénuée de sens d’un passé plein d’événements indiffére
APA, Harvard, Vancouver, ISO, and other styles
39

Bremer, Manuel. "Philosophische Semantik /." Frankfurt [u.a.] : Ontos-Verl, 2005. http://www.ontos-verlag.de/Buchreihen-LOGOS-Bremer.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Ressler, Mark Raymond. "The logic of relative systems /." Connect to thesis, 2009. http://repository.unimelb.edu.au/10187/4295.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Pettersson, Karl. "The Logical Structure of the Moral Concepts : An Essay in Propositional Deontic Logic." Doctoral thesis, Uppsala universitet, Avdelningen för praktisk filosofi, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-131581.

Full text
Abstract:
In this thesis, the main focus is on deontic logic as a tool for formal representation of moral reasoning in natural language. The simple standard system of deontic logic (SDL), i.e. the minimal Kripkean modal logic extended with the deontic axiom, stating that necessity (interpreted as obligation) implies possibility (interpreted as permission), has often been considered inadequate for this aim, due to different problems, e.g. the so-called deontic paradoxes. A general survey of deontic logic and the problems with SDL is made in chapter 1. In chapter 2, a system denoted Classical Deontic-Moda
APA, Harvard, Vancouver, ISO, and other styles
42

Flannery, Kevin L. "The logic of Alexander of Aphrodisias." Thesis, University of Oxford, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.335001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Curtis, Jon D. "Toward a fully resolute reading of Wittgenstein's Tractatus Logico-Philosophicus /." The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu1488191124568971.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Schein, Barry. "Event logic and the interpretation of plurals." Thesis, Massachusetts Institute of Technology, 1986. http://hdl.handle.net/1721.1/15107.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND HUMANITIES.<br>Bibliography: leaves 267-269.<br>by Barry Schein.<br>Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
45

Akehurst, Thomas Lawrence. "Britishness, logic and liberty : the cultural politics of twentieth century analytic philosophy." Thesis, University of Sussex, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.439619.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Burak, Kenneth I. "Logic and resistance : on retroactive constitution and misrecognition in Hegel's Science of logic /." Available online to subscribers via ProQuest, 2005. http://proquest.umi.com/pqdweb?index=0&did=1051250861&SrchMode=1&sid=1&Fmt=13&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1161960998&clientId=31663.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Friedman-Biglin, Noah. "Carnap's conventionalism : logic, science, and tolerance." Thesis, University of St Andrews, 2014. http://hdl.handle.net/10023/6334.

Full text
Abstract:
In broadest terms, this thesis is concerned to answer the question of whether the view that arithmetic is analytic can be maintained consistently. Lest there be much suspense, I will conclude that it can. Those who disagree claim that accounts which defend the analyticity of arithmetic are either unable to give a satisfactory account of the foundations of mathematics due to the incompleteness theorems, or, if steps are taken to mitigate incompleteness, then the view loses the ability to account for the applicability of mathematics in the sciences. I will show that this criticism is not success
APA, Harvard, Vancouver, ISO, and other styles
48

Bohn, Einar Duenger. "Composition as identity a study in ontology and philosophical logic /." Amherst, Mass. : University of Massachusetts Amherst, 2009. http://scholarworks.umass.edu/open_access_dissertations/92/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Dewar, Neil Archdale. "Symmetries in physics, metaphysics, and logic." Thesis, University of Oxford, 2016. https://ora.ox.ac.uk/objects/uuid:38b380cb-7f64-40cb-b94c-eba4b3b652ac.

Full text
Abstract:
This thesis examines the idea that when a physical theory contains symmetries, the theory should be interpreted in such a way that symmetry-related models represent the same physical state of affairs. It argues that we can best do so by drawing on analogies to ideas in philosophy of logic and language: specifically, by thinking of symmetries as a means of translating a theory into itself. It consists of six chapters, together with an introduction and conclusion. In Chapter 1, I set up the main ideas needed to more precisely frame the question at hand: namely, the notions of symmetry, interpret
APA, Harvard, Vancouver, ISO, and other styles
50

Litland, Jon. "Topics in Philosophical Logic." Thesis, Harvard University, 2012. http://dissertations.umi.com/gsas.harvard:10221.

Full text
Abstract:
In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction (elimination) rules \(\mathcal{R}\), what are the strongest elimination (introduction) rules that are validated by an assert
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography