Geometry.Net - Basic_L: Logics Philosophy


Home - Basic_L - Logics Philosophy

e99.com Bookstore

Images

Newsgroups

41-60 of 93 Back | 1 | 2 | 3 | 4 | 5 | Next 20

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Logics Philosophy: more books (100)

The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides)

Thinking About Logic: An Introduction to the Philosophy of Logic (OPUS) by Stephen Read, 1995-03-23

Set Theory and Its Philosophy: A Critical Introduction by Michael Potter, 2004-03-11

Logic for Lawyers : A Guide to Clear Legal Thinking by Hon. Ruggero J. Aldisert, 2001-06

Philosophy of Logic (Handbook of the Philosophy of Science)

Methods of Logic: Fourth Edition by W. V. Quine, 1982-11-16

Introduction to Logic (13th Edition) by Irving M. Copi, Carl Cohen, 2008-01-07

Introducing Logic: A Graphic Guide by Dan Cryan, Sharron Shatil, 2004-12-15

A Logical Journey: From Gödel to Philosophy by Hao Wang, 1997-01-10

An Introduction to Logic by Morris R. Cohen, Ernest Nagel, 1993-10

Introduction to Logic by Alfred Tarski, 1995-03-27

The Metaphysical Foundations of Logic (Studies in Phenomenology and Existential Philosophy) by Martin Heidegger, 1992-12-01

Logic Made Easy: How to Know When Language Deceives You by Deborah J. Bennett, 2005-07-11

The Opening of Hegel's Logic: From Being to Infinity (History of Philosophy Series) by Stephen Houlgate, 2005-12-09

lists with details

PHILOSOPHY
philosophy ASSOCIATE PROFESSORS HANAI, Kazunori, M.Litt., Scholastic philosophyNAKATOGAWA, Koji, M.Math., D.Litt., logics and philosophy of logics CHIBA, Kei
http://www.hokudai.ac.jp/catalog/00-01/f_g/03_01/03_01_01_029-030.html
Staffs In Faculty Of Letters
Position, Office, Phone, Degree, Research Topics NAKATOGAWA, Koji, Professor, S203,7065340, M.Math., D.Litt., logics, philosophy of logics TAKAHEI, Hidetomo
http://www.hokudai.ac.jp/letters/english/staffs_e.html

Extractions: Graduate School of Letters/ Faculty of Letters Graduate School Division Undergraduate Course Research Group Philosophy and Cultural Sciences Philosophy and Cultural Sciences Philosophy Ethics Cultural Sciences History and Area Studies History and Anthropology Japanese History Asian History European History History and Cultural Anthropology ... Slavic Research Center Linguistics and Literature Japanology Sinology Linguistics and Literature Linguistics and Western Languages Western Literature Linguistic Sciences Human Sciences Human Sciences Psychology Behavioral Science Sociology Regional Sciences * Office Location 101619: Kenkyu-To (Main Building), E101E411: E-To (Building E), F101F209B: Furukawa Memorial Hall, S101-S432: Center for Research and Development in Higher Education Back to English Home Back to Japanese Home Name, Position, Office, Phone, Degree, Research Topics NAKATOGAWA, Koji Professor, S203, 706-5340, M.Math., D.Litt., Logics, Philosophy of Logics TAKAHEI, Hidetomo , Professor, S220, 706-5365, M.Litt., Modern History of Social Thought, Contemporary German Philosophy YAMADA, Tomoyuki
Faculty Edit
D., Manchester) Logic, philosophy of Language, philosophy of Logic. An Introductionto Modal Logic, London, Methuen, 1968, with GE Hughes; logics and Languages
http://www-phil.tamu.edu/Philosophy/Faculty/

Extractions: A picture directory of Philosophy faculty and staff is available here (if your browser is slow, be patient: it contains a large number of images). Indicates Faculty on leave. Colin Allen , Professor (Ph.D., University of California, Los Angeles) Philosophy of Cognitive Science (Artificial Intelligence, Behavioral Biology), Philosophy of Mind, Philosophy of Biology; The Cognitive Animal , with M. Bekoff and G. Burhgardt (MIT Press, 2002); "Prolegomena to any future artificial moral agent," Journal of Experimental and Theoretical Artificial Intelligence, with G. Varner and J. Zinser (2000); Nature's Purposes with M. Bekoff and G. Lauder (MIT Press, 1998); The Evolution of Mind , with D. Cummins (Oxford, 1998); Species of Mind , with M. Bekoff(MIT Press, 1997). Scott Austin , Associate Professor (Ph.D., Texas) Ancient Philosophy, Metaphysics; "Parmenides and the History of Dialectic," Fealsunacht (Belfast), (forthcoming); Parmenides: Being, Bounds, and Logic (Yale, 1986). Robert W. Burch , Professor (Ph.D., Rice) History of Logic, American Philosophy; A Piercean Reduction Thesis and the Foundation of Topological Logic (Texas Tech University Press, 1990); "Royce and Wittgenstein on the Context of Privacy,"
Pure And Applied Logic At CMU
by the departments of Computer Science, Mathematics, and philosophy at Carnegie ofdecision theory, foundations of programming languages, logics of programs
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/pal/www/pal.html

Extractions: This is the home page for the interdisciplinary doctoral program in Pure and Applied Logic offered by the departments of Computer Science Mathematics , and Philosophy at Carnegie Mellon University The interdisciplinary Ph.D. program in Pure and Applied Logic builds upon Carnegie Mellon's unique strengths in logic and its applications to computer science. Internationally recognized faculty, frequent workshops, colloquia, seminar series, and excellent computing facilities contribute to an ideal environment for both theoretical and applied research. Graduate fellowships are available. Automated theorem proving, category theory, constructive and feasible mathematics, foundations of decision theory, foundations of programming languages, logics of programs, lambda-calculus, learning theory, model theory, proof theory, set theory, temporal and modal logics, theory of computing, type theory, and universal algebra. Algorithms, artificial intelligence, combinatorial optimization, computational complexity, computational linguistics, operations research, and programming systems.
PHILOSOPHY 435
philosophy 135 or an equivalent is a prerequisite. examine the presuppositions ofclassical formal logic and explore some of the alternative logics that result
http://web.utk.edu/~nolt/courses/435/SYLLSP02.htm

Extractions: PHILOSOPHY 435 INTERMEDIATE FORMAL LOGIC SPRING 2002 INSTRUCTOR: John Nolt OFFICE PHONE: OFFICE: 818 McClung Tower HOME PHONE: OFFICE HOURS: 9-10 a.m. MWF, and by appointment E-MAIL: nolt@utk.edu TEXT: John Nolt, Logics , Wadsworth, 1997 WEB PAGE : web.utk.edu/~nolt ABOUT THE COURSE : This is a second course in formal logic. Philosophy 135 or an equivalent is a prerequisite. It is a demanding course, even for the best students. If you are unsure about whether you have had adequate preparation, please see me. The course has five goals: (1) to deepen your acquaintance with classical formal logic, (2) to introduce some fundamental ideas of metalogic (logical reasoning about systems of formal logic), (3) to trace the scope and limits of classical formal logic, (4) to indicate ways in which classical logic can be augmented to produce richer logical systems, and (5) to examine the presuppositions of classical formal logic and explore some of the alternative logics that result from rejecting these presuppositions. We shall conclude with the thesis of logical pluralism (which I advocate) namely that there is not one privileged or uniquely true logic; rather, different logics are appropriate for different applications. GRADES: Grades will be based on four tests (three during the semester and one final exam), which each count 20% of your grade, and on various homework assignments, which together count a total of 20%. I reduce grades on late homework and accept no homework after the graded assignment has been returned to the class. If you miss a test, you must contact me within a week to arrange a makeup. Makeups may be more difficult than the original test.
PHILOSOPHY 428/526 B1 "Logic And Language"/"Philosophy Of Language"
philosophy 428/526 B1 Logic and Language / philosophy of Language . features presentin natural language, and to argue that nonclassical logics should be
http://www.cs.ualberta.ca/~jeffp/phil428/phil428Syll02.html

Extractions: PHILOSOPHY 428/526 B1 "Logic and Language"/"Philosophy of Language" Winter Term 2002 Tue/Thur 9.30-10.50 Professor: F.J. Pelletier Office: HC 4-75 (ph. 492-8815) and AthHall 311 (ph. 492-5471) Email (best way to contact me): jeffp@cs.ualberta.ca [Notes, etc., will be at http://www.cs.ualberta.ca/~jeffp . Click on "teaching" and then on this class]. General: The general topic of using logic to understand natural language brings up the issue of "what is logical form and does it make any sense?" And we will begin the course proper with a look at this topic. From there we will move on to the issue of how the formal connectives of logic relate to natural language connectives. This will immediately bring up topics connected with conditionals, and we will keep coming back to conditionals throughout the course. Besides an appreciation of how many assumptions are hidden away in that elementary logic stuff you learned concerning "translating English into formal logic", this course also will teach you just enough about non-classical logics to make you be able to write intelligently about them (and even to use them!) in papers you write for other courses. Style: Evaluation: This class will have two examinations: one around midterm exam week and the second approximately a week before the end of classes. The exams will be a mix of "short essay" answers to questions and of "problems to be solved." So far as the "short essay" portion goes, you will always be given choices of questions to answer. Each of these exams will count for a third of your grade in the class. The other third will be divided (about equally) between class participation and some "homework". This "homework" will be of two types (sometimes mixed together): problems to be solved and summaries of the readings. [Just to make sure you’re doing the readings!!] These will be graded on a [not done], 1 [turned in but missing important information or made important mistakes], 2 [adequately describes the readings, did good job on problems] basis.
Homepage Of Claus D. Volko - About Me
neuroscience, immunology, physics, quantum informatics, nanotechnology, artificialintelligence, mathematics, formal logics, philosophy, psychology, sociology
http://www.unet.univie.ac.at/~a0102122/personal/aboutme.htm
Stanislaw Jaskowski Memorial Symposium Parainconsistent Logic, Logical Philosoph
by Newton da Costa, it initiated the investigation of paraconsistent logics. MemorialSymposium on Parainconsistent Logic, Logical philosophy, Mathematics
http://www.uni.torun.pl/~logic/JS'98/global.htm
Linear Logic - Relevant Logic
A section of the SWIF map of logic on the WWW. Resources are in English and Italian.Category Science Math Substructural logics cura di T. Brauner. Restall's Bibliography of Relevant and Substructural logics.Paraconsistent Logic Dalla Stanford Encyclopaedia of philosophy. Relevance Logic
http://lgxserver.uniba.it/lei/logica/lglin_lo.htm
SPECIAL'IST Number 35, IN A NUTSHELL...the FRANCIS Database
metaphysics, ethics, philosophy of law, philosophy of religion, esthetics, philosophyof culture, philosophy of education, logics, philosophy of language
http://www.inist.fr/en/actu_en/35_03.php

Extractions: News... Whereabouts ... Search Online A RTICLE S CIENCES ... SERVICES@INIST Calendar On-site events Outside events Focus on ... Press Room Press Releases Archives Current Issue Previous Issues Archives Masthead Keep me posted... Customer Info ... Print page SPECIAL'IST Number 35, February 2002 FRANCIS is a bibliographic database covering literature in the Humanities and Social Sciences. The database is divided into 21 scientific subject fields, most of which dating back to 1972.
Paul Wong's Home Page
Links to philosophies, logic resources, and conferences.Category Society People Personal Homepages W Wong NADA Project, Germany; New Foundations Home Page; Oscar Project, Arizona; Philosophyin Cyberspace Logic/Science; Pure and Applied logics at Carnegie Mellon
http://www.sfu.ca/philosophy/paulwong.htm

Extractions: Welcome To Paul Wong's Home Page I am a PhD student at the Automated Reasoning Project in the Research School of Information Sciences and Engineering at the Australian National University . I was formerly a student at Simon Fraser University , in British Columbia, Canada. Apart from logic, I am also interested in philosophy of language, philosophy of mind, and philosophy of science. As my friends know, I am also a jazz / guitar / motorcycle / film buff. In any case, if you have questions, comments, suggestions, or wisdom to share, send mail to wongas@arp.anu.edu.au HAPPY SURFING! Bibliographies
BOOK OF INSTRUMENTS: 'RELEVANCY' OR 'RELATEDNESS' IN OTHER DISCIPLINES �
produced the first article on this subject), but also in philosophy of language (pragmatics),logics (relevance and relatedness logics), philosophy of science
http://www.trinp.org/MNI/BoI/5/1/4.HTM

Extractions: MODEL OF NEUTRAL-INCLUSIVITY BOOK OF INSTRUMENTS RELEVANCY THE SIGNIFICANCE OF ... RELEVANCY RELEVANCY OR RELATEDNESS IN OTHER DISCIPLINES Relevancy (or relatedness ) has been recognized as a key notion not only in analytical philosophy (which produced the first article on this subject), but also in philosophy of language (pragmatics), logics (relevance and relatedness logics), philosophy of science (with a statistical model of explanation) and in a type of sociological phenomenology. (Phenomenology is a philosophical doctrine teaching that one can arrive at essences, or intelligible structures in consciousness, by a description of subjective or mental processes in which all assumptions about the causes, consequences and wider significance of these processes have been eliminated.) Since the subject of relevancy is itself already being discussed in all these fields of thought, it is not strictly necessary to show how the notion of relevancy is used in philosophical (sub-)disciplines other than ethics. To demonstrate the importance of relevancy it will suffice here to have a general idea of what authors in these other fields of thought have said before on the role of relevancy itself.
Smarandache Notions Journal
1. Neutrosophy a new branch of philosophy. 2. Transdisciplinarity (Multi-Space,Multi-Structure). 3. Neutrosophic Logic - a unifying field in logics.
http://www.gallup.unm.edu/~smarandache/philos.htm

Extractions: Linguistics Mathematics Philosophy Physics ... E-Library of Science Philosophy Smarandache Divine Paradoxes First International Conference on Neutrosophy, Neutrosophic Logic, Set, Probability and Statistics, University of New Mexico, Gallup, 1-3 December 2001 Proceedings of the First International Conference on Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics, University of New Mexico, 2001 eBook A Unifying Field in Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability and Statistics (second edition) - eBook Reviewed by Charles T. Le International Conference on A pplications of Plausible, Paradoxical, and Neutrosophic Reasoning ... , Cairns, Queensland, Australia, 8-11 July 2003 For more information on neutrosophics see the below links: Introduction. Neutrosophy - a new branch of philosophy. Transdisciplinarity (Multi-Space, Multi-Structure). Neutrosophic Logic - a unifying field in logics. ... Neutrosophic Probability - a generalization of classical and imprecise probabilities - and Neutrosophic Statistics. RELIGION Neutrosophy and Buddhism, by Cheng-Gui Huang
Bibfile On Adaptive Logics / Papers
K2ns, author = {De Clercq, Kristof}, title = {Two New Strategies for InconsistencyAdaptiveLogics}, journal = {Logic and Logical philosophy}, volume = {8
http://logica.rug.ac.be/adlog/paperst.html
Thuispagina Van Lieven Haesaert
Together with Leen Devreese I am trying to apply the adaptive logics of inductionto the science of philosophy. We are currently working on it .
http://logica.rug.ac.be/lieven/

Extractions: Things that might be interesting My main research interest is adaptive logic. A nice introduction to adaptive logics can be found on the Adaptive Logics Homepage Since 01/10/2001 I am working as researcher at the Centre for Logic and Philosophy of Science in Ghent. I am engaged in the following project: Researchers: Leen Devreese and Lieven Haesaert The aim of the project is to develop (corrective, ampliative and combined) adaptive logics that enable one to formally approach forms of reasoning that play a central role in the philosophy of science. Attention will be focussed on five topics: scientific explanation, causality, discovery, functional analysis, and confirmation. We shall formally express proposals from the philosophy of science literature but also develop new proposals. An underlying aim is to restore formal precision in the philosophy of science.
Curriculum Vitae (logic)
CURRENT RESEARCH INTERESTS My areas of interest are formal logic (substructurallogics, fuzzy logics, paraconsistent logics), philosophy of logic (vagueness
http://www.unica.it/~paoli/curriclog.htm

Extractions: Curriculum vitae (logic) ACADEMIC HISTORY Undergraduate studies in Philosophy at the University of Florence . Final dissertation about the notions of inference and logical consequence in Bernard Bolzano, under the supervision of Ettore Casari. Erasmus grant at the University of Constance (Germany), under the supervision of André Fuhrmann. Graduate studies in Philosophy at the University of Milan . Final dissertation on the proof theory and semantics of comparative logic, under the supervision of Edoardo Ballo Research assistant at the Scuola Normale Superiore of Pisa (Classe di Lettere e Filosofia). 2002-present "Ricercatore" (approx. the same as a UK senior lecturer, or a US assistant professor) at the University of Cagliari (Dipartimento di Scienze Pedagogiche e Filosofiche), where I'm also teaching mathematics education. PRIZES, AWARDS, APPOINTMENTS - In 1990 I was awarded by the Florence Center for the History and Philosophy of Science the "A. Arnese" prize for my degree thesis. In 1997 I was appointed editor of the logic notebook of the SWIF (Italian Website for Philosophy). I refereed papers for
Logics For Properties
Related papers on properties and logics for them. Properties in the StanfordEncyclopedia of philosophy; CI Lewis's Calculus of Predicates, History and
http://www.ou.edu/ouphil/faculty/chris/abstracts/jpl.html

Extractions: "Complex Predicates and Logics for Properties," Journal of Philosophical Logic, In this paper I present a formal language in which complex predicates stand for properties and relations, and assignments of denotations to complex predicates and assignments of extensions to the properties and relations they denote are both homomorphisms. This system affords a fresh perspective on several important philosophical topics, highlighting the algebraic features of properties and clarifying the sense in which properties can be represented by their extensions. It also suggests a natural modification of current logics of properties, one in which some complex predicates stand for properties while others do not. Related papers on properties and logics for them ``Logic and the Empirical Conception of Properties,'' Philosophical Topics [Abstract] ``Complex Predicates and Conversion Principles,'' Philosophical Studies [abstract] . Reprinted in The Philosopher's Annual "Properties" in the Stanford Encyclopedia of Philosophy "C. I. Lewis's Calculus of Predicates," History and Philosophy of Logic
Stanford Philosophy Department: Faculty, Staff And Students
A new completeness proof for the Kn modal logics. To appear in Logical ConsequenceRival Approaches and New Studies in Exact philosophy, Logic, Mathematics
http://www-philosophy.stanford.edu/fss/sarenac.html

Extractions: Logic, Logic, and Logic. And then some (neuro)scientifically informed philosophy of mind, and any branch of philosophy that can take being treated mathematically. I am also an amateur in history of philosophy. In this area anything before 16th century will do. To this I add some Hegel and later European philosophy. Research: My M.A. thesis research lies within preservationist approach to semantics. I have been studying systems in which implication is required to preserve an infinite hierarchy of properties: truth, properties of truth-values, properties of properties of truth-values, and so on. My underlying hypothesis was that if classical implication fails because it, as it were, runs out of properties to preserve when its antecedent is contradictory, then an implication that always finds in its antecedent something that it is required to preserve could never impose unprincipled consequences. The main application for such systems rests upon their usefulness in understanding inferences in paradoxical languages (such as naive set theory) in which definitions give rise to objects with contradictory properties. One of the main challenges of the work has been to give an account of the same hierarchy of properties as it applies to implication sentences themselves.
Logics And Knowledge Representation (ECS 289A) Spring 2002
On Modal logics Modal Logic (An Overview, part of Stanford Encyclopedia of philosophy);Modal logics (part of Some Philosophical Problems from the Standpoint
http://www.db.cs.ucdavis.edu/teaching/289A-SQ02/
Richard Zach Proof Theory Of Finite-Valued Logics
logics, 89. 5.3 Singular Approximations, 90. 5.4 Sequential Approximations, 96.Bibliography, 102. Home CV Teaching Publications Research philosophy
http://www.ucalgary.ca/~rzach/papers/ptmvl.html

Extractions: Richard Zach Home CV Teaching Publications ... Philosophy Department Technical Report TUW-E185.2-Z.1-93 Abstract: Several people have, since the 1950's, proposed ways to generalize proof theoretic formalisms (sequent calculus, natural deduction, resolution) from the classical to the many-valued case. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order logics in a general way, and to present some of the more important results in this area. This report is actually a template, from which all results can be specialized to particular logics. The main results of this report are: the use of signed formula expressions and partial normal forms to provide a unifying framework in which clause translation calculi, sequent calculi, natural deduction, and also tableaux can be represented; bounds for partial normal forms for general and induced quantifiers; and negative resolution. The cut-elimination theorems extend previous results, and the midsequent theorem, natural deduction systems for many-valued logics as well as results on approximation of axiomatizable propositional logics by many-valued logics are all new. Download: (A4 paper version with original pagination also available Table of contents Preface

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

41-60 of 93 Back | 1 | 2 | 3 | 4 | 5 | Next 20