Geometry.Net - the online learning center
Home  - Scientists - Lukasiewicz Jan
e99.com Bookstore
  
Images 
Newsgroups
Page 4     61-80 of 105    Back | 1  | 2  | 3  | 4  | 5  | 6  | 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  

         Lukasiewicz Jan:     more books (28)
  1. Selected works (Studies in logic and the foundations of mathematics) by Jan Lukasiewicz, 1970
  2. Elements of Mathematical Logic by jan lukasiewicz, 1964
  3. Uber den Satz des Widerspruchs bei Aristoteles (Zur modernen Deutung der aristotelischen Logik) (German Edition) by Jan Lukasiewicz, 1993
  4. Aristotle & Lukasiewicz on the Principle of Contradiction by Fred Seddon, 1996-08
  5. Aristotle's syllogistic from the standpoint of modern formal logic by Jan Lukasiewicz, 1957
  6. Polish Logicians: Alfred Tarski, Chaïm Perelman, Jerzy Giedymin, Czeslaw Lejewski, Jan Lukasiewicz, Kazimierz Twardowski, Emil Leon Post
  7. Mathematischer Logiker (20. Jahrhundert): Alan Turing, Kurt Gödel, Ludwig Wittgenstein, Bertrand Russell, Jan Lukasiewicz, Gregory Chaitin (German Edition)
  8. Mathématicien Polonais: Stanislaw Lesniewski, Edward Kofler, Alfred Tarski, Stefan Banach, Jan Lukasiewicz, Szolem Mandelbrojt, Marian Rejewski (French Edition)
  9. Hochschullehrer (Lemberg): Stefan Banach, Jan Lukasiewicz, Leopold Von Sacher-Masoch, Heinrich Von Zeißberg, Viktor Dollmayr (German Edition)
  10. Hochschullehrer (Dublin): Erwin Schrödinger, Jan Lukasiewicz, Aubrey Gwynn, Máirtín Ó Cadhain, Donald Nicol, Gerhard Bersu, Maurice Sheehy (German Edition)
  11. Habra o no por fin manana una batalla naval?(Aristóteles; Jan Lukasiewicz): An article from: Revista de Filosofía de la Universidad de Costa Rica by Mario Salas, 2002-12-01
  12. Hochschullehrer (Warschau): Jan Lukasiewicz, Bronislaw Geremek, Manfred Lachs, Ludwik Fleck, Lech Kaczynski, Zygmunt Bauman (German Edition)
  13. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. 2nd Edition, Enlarged by Jan Lukasiewicz, 1967
  14. Elements of Mathematical Logic: 2nd Edition by Jan Lukasiewicz, 1963

61. Biografia De Lukasiewicz, Jan
Translate this page lukasiewicz, jan. (Lvov, 1878-Dublín, 1956) Lógico y filósofo polaco. Fue profesoren Lvov y en Varsovia y en 1946 emigró a Dublín.
http://www.biografiasyvidas.com/biografia/l/lukasiewicz.htm
Inicio Buscador Las figuras clave de la historia Reportajes Los protagonistas de la actualidad Lukasiewicz, Jan (Lvov, 1878-Dublín, 1956) Lógico y filósofo polaco. Fue profesor en Lvov y en Varsovia y en 1946 emigró a Dublín. Elaboró el primer sistema de lógica trivalente (1917) e hizo importantes investigaciones metalógicas. Entre sus obras cabe citar Elementos de lógica matemática (1929) y La silogística de Aristóteles Inicio Buscador Recomendar sitio

62. HPedia: The HP Calculator Encyclopedia
lukasiewicz, jan Polish, creator of the first nonclassical logical calculus which many call Polish Notation. The HP48 uses the opposite of Polish
http://www.hpcalc.org/hp48/docs/hpedia/
HPedia: The HP Calculator Encyclopedia By Eric Rechlin and Carlos Marangon
Also available in French , thanks to Khalil Haddad, Portuguese , thanks to Carlos Marangon, and Spanish
AC
Alternating current, the power coming out of an electrical outlet. In this US and Canada, this current alternates 60 times per second; in most other countries, the frequency is 50 or 70Hz. Some people have made a port for an AC adapter, to allow the HP48 to run on AC power, but not much information is known about how well this works.
ACO
Australian Calculator Operation, the design team recently started by Hewlett Packard to design a new calculator. Members of the team include Jean-Yves Avenard, Cyrille de Brebisson, and Gerald Squelart. All information is kept confidential, and a release date will not be given ahead of time, but perhaps this means our prayers will be answered!!!
AG
Alonzo Gariepy, an early HP48 user and creator of one of the first assemblers, using his own mnemonics, called AG mnemonics. Many people find AG mnemonics confusing when compared with HP mnemonics.
alkaline
Most commonly used type of single-use batteries. Last a long time, but are usually not rechargeable like

63. HPedia: The HP Calculator Encyclopedia
Translate this page lukasiewicz, jan Matemático polonês criador do cálculo lógico não clássico tambémchamado Notação Polonesa . A HP48 a notação polonesa invertida. Ver RPN
http://www.hpcalc.org/hp48/docs/hpedia/portugues.html
Por Eric Rechlin e Carlos Marangon
Carlos Marangon

, e Espanhol
AC
ACO
Australian Calculator Operation, equipe criada recentemente com finalidade de trabalhar nas novas calculadoras da HP.
AG
alkaline (alcalinas)

recarregada como as de e outros tipos.
AUR Advanced User's Reference
Alcuin
aplet
Nome dos programas que rodam na HP38G.
argument checking
User RPL System RPL
Dave Arnett Arnett, Dave ASC ASCII assembler (montador)
Jazz e o comando ASM do MetaKernel . Assemblers de PC, como o HPTools, normalmente tem os montadores e compiladores de RPL separados (RPLCOMP e SASM).
assembly language
Saturn
Jean-Yves Avenard Avenard, Jean-Yves
MetaKernel
bank switching baud bint
System RPL . Aparece na pilha operacional na forma
bps
baud
Bredahl, Sune BZ
Criado por Mika Heiskanen , o BZ tem 1.1kB ou 300 bytes (somente o descompactador).
Capacitor capacitor Carlier, Sebastien
Criador do
Jim Carter Carter, Jim
Fundador de EduCALC, empresa que trabalhou com calculadoras da HP durante 21 anos.
CAS Carlier, Sebastian Charlemagne checksum Chip comp.sys.hp48
DejaNews
covered port
Tipo de bateria de
CRC
Cyclic Redundancy Check, ver

64. Math Lessons - Jan Lukasiewicz
Math Lessons jan lukasiewicz. jan lukasiewicz. jan lukasiewicz (born 21December, 1878 - 13 February, 1956) was a mathematician born in Lwów,
http://www.mathdaily.com/lessons/Jan_Lukasiewicz
Search
Mathematics Encyclopedia and Lessons
Lessons
Popular Subjects
algebra arithmetic calculus equations ... more
References
applied mathematics mathematical games mathematicians more ... Polish mathematicians
Jan Lukasiewicz
(born 21 December 13 February ) was a mathematician born in Lwów Galicia (now L'viv Ukraine ). His major mathematical work centred on mathematical logic . He thought innovatively about traditional propositional logic , the principle of non-contradiction and the law of excluded middle multi-valued logics , including his own three-valued propositional calculus, the first non-classical logical calculus . He is responsible for one of the most elegant axiomatizations of classical propositional logic; it has just three axioms and is one of the most used axiomatizations today. He also pursued philosophy, approaching the human aspects of scientific theory-making with ideas similar to those of Karl Popper Polish notation of 1920 was at the root of the idea of the recursive stack a last-in, first-out computer memory store invented by

65. Thomistic Institute 1999:
jan lukasiewicz studied with Twardowski in Lvov. The method they developed wasbuilt around antiirrationalism, rigorous argumentation, the formulation of
http://www.nd.edu/Departments/Maritain/ti99/pouivet.htm
Jacques Maritain Center: Thomistic Institute
Faith, Reason, and Logic
Roger Pouivet
Institut de Philosophie
F-35700 Rennes (France)
roger.pouivet@univ-rennes1.fr As everybody knows, Pope John-Paul II is Polish. In his encyclical, Fides et Ratio , he renews the recommendations of Pope Leon XIII in favor of Thomas Aquinas' philosophy and theology. He quotes a number of Thomists, among them Jacques Maritain and Etienne Gilson; but, rather curiously, the Polish Pope doesn't speak about a very interesting group of Polish Thomists, often referred to as the Cracow Circle. The fact that the philosophical background of John Paul II is mainly phenomenological constitutes only an anecdotal explanation of this omission. Probably the main reason for it is that the encyclical isn't meant to be a philosophical study, and the Pope isn't trying to give an overview of a philosophical topic to be published in an encyclopaedia; he is merely concerned to convey the doctrine of the Church. Nevertheless, I think that it may prove interesting to examine the Cracow Circle's Thomistic stand on the subject of faith and reason I shall maintain that it reflects a serious confusion between rationality and logic, despite my view that the Cracow Circle numbered among its members several excellent, and important, philosophers.

66. Polish Notation - A Whatis.com Definition
They modified jan lukasiewicz s system for a calculator keyboard by placing the In homage to jan lukasiewicz Polish logic system, the engineers at
http://searchsmb.techtarget.com/gDefinition/0,294236,sid44_gci824619,00.html
Home Glossary
Definition - Polish notation
EMAIL THIS PAGE TO A FRIEND Glossary - powered by whatis.com BROWSE ALPHABETICALLY: A B C D ... Z Search for: in ALL GLOSSARY DEFINITIONS ALL SEARCHSMB Full Target Search with Google
Polish notation Polish notation, also known as prefix notation, is a symbolic logic invented by Polish mathematician Jan Lukasiewicz in the 1920's. When using Polish notation, the instruction (operation) precedes the data (operands). In Polish notation, the order (and only the order) of operations and operands determines the result, making parentheses unnecessary. The notation for the expression 3(4 +5) could be expressed as x 3 + 4 5 This contrasts with the traditional algebraic methodology for performing mathematical operations, the Order of Operations. (The mnemonic device for remembering the Order of Operations is "Please Excuse My Dear Aunt Sally" - parentheses, exponents, multiplication, division, addition, subtraction). In the expression 3(4+5), you would work inside the parentheses first to add four plus five and then multiply the result by three. In the early days of the calculator , the end-user had to write down the results of their intermediate steps when using the algebraic Order of Operations. Not only did this slow things down, it provided an opportunity for the end-user to make errors and sometimes defeated the purpose of using a calculating machine. In the 1960's, engineers at

67. Bibliography
lukasiewicz, jan. 1936. Zur Geschichte der Aussagenlogik. Erkenntnis, vol. 5, pp.111131. Quine, Willard V. 1955. On Frege s way out. Mind, vol. 64, pp.
http://www.hf.uio.no/filosofi/njpl/vol4no1/lawv/node8.html
Next: Up: Sense and Basic Law Previous: 7. Frege's Second Thoughts
Bibliography
Alnes, Jan H. 1998.
Frege on logic and logicism.
Doctoral Thesis, Department of Philosophy, University of Oslo.
Angelelli, Ignacio (ed.). 1977.

George Olms Verlag, Hildesheim.
Beaney, Michael. 1996.
Frege: Making Sense
Duckworth, London.
Bell, David. 1987.
Thoughts.
Notre Dame Journal of Formal Logic , vol. 28, pp. 36-50.
Bell, David and Cooper, Neil (eds.). 1990.
The Analytic Tradition: Meaning, Thought and Knowledge
Basil Blackwell, Oxford.
Boolos, George. 1985.
Reading the Begriffsschrift Mind , vol. 94, pp. 331-344. Reprinted in Demopoulos 1995 , pp. 163-181.
The consistency of Frege's Foundations of Arithmetic In Judith Thomson (ed.), On Being and Saying: Essays in Honor of Richard Cartwright , pp. 3-20. M.I.T. Press, Cambridge, Mass. Reprinted in Demopoulos 1995 , pp. 211-233.
The standard of equality of number. In George Boolos (ed.), Meaning and Method: Essays in Honor of Hilary Putnam , pp. 3-20. Cambridge University Press, Cambridge. Reprinted in Demopoulos 1995 , pp. 234-254.

68. Lukasiewicz, Aristotle, And Contradiction - Owen LeBlanc
In 1910 the Polish philosopher jan lukasiewicz (18781956) published his firstbook, 0 Zasadzie Sprzecznosci u Arystotelesa Studium Krytyczne,
http://evans-experientialism.freewebspace.com/leblanc.htm
Welcome to One of the Largest and Most Visited Sources of Philosophical Texts on the Internet.
Evans Experientialism Evans Experientialism
SEARCH THE WHOLE SITE? SEARCH CLICK THE SEARCH BUTTON
To The Academy Library
To The Athenaeum Library
To The Nominalist Library Athenaeum Reading Room
Lukasiewicz, Aristotle, and Contradiction Owen LeBlanc In 1910 the Polish philosopher Jan Lukasiewicz (1878-1956) published his first book, Zasadzie Sprzecznosci u Arystotelesa: Studium Krytyczne, which means On the Principle of Contradiction in Aristotle: A Critical Study. I would like to discuss this book and present some of its contents. I hope that I can interest you in learning more about it. 1. Tributes
For many years my own knowledge of the book was based on three brief accounts of it. In 1975 I read an article by Boleslaw Sobocinski , written at the time of Lukasiewicz's death. Speaking of this book, he says:
He goes on to say that on its logical side the book is dated and sometimes in error; for our knowledge and understanding of logic have grown, partly of course in consequence of Lukasiewicz's own later discoveries. Because Sobocinski's article is admittedly a eulogy of Lukasiewicz, we must read it with some caution to filter out some of its excessive enthusiasm.
Later in 1975 I was reading the philosophical autobiography of Stanislaw Lesniewski, where I found the following:

69. BASIS Buchhandlung Und Antiquariat - Lukasiewicz, Jan Aristotle's Syllogistic. F
erweiterte Auflage; Text Englisch; Exemplar!
http://www.basis-buch.de/main-155129.html
Start Bücher Service Lesungen ... AGB Bücher
  • Alte Drucke
  • Anthropologie
  • Antifaschismus
  • Antike ...
  • Varia
    Aristotle's Syllogistic. From the Standpoint of Modern Formal Logic
    Lukasiewicz, Jan
    xv S + 222 S Orig.Pappband in Orig.Umschlag 8° (gebunden); 2. erweiterte Auflage; Text: Englisch; Exemplar!
    Clarendon Press Oxford/ Sandpiper 1998
    22,00 EUR Anzahl: Analytische Philosophie
    Analytische Philosophie (= Handbuch Philosophie)
    Analytische Technikphilosophie Aristotle's Syllogistic. From the Standpoint of Modern Formal Logic Bemerkungen über die Farben / Über Gewißheit / Zettel / Vermischte Bemerkungen (Reihe: Ludwig Wittgenstein. Werkausgabe; Band 8 - Leinenausgabe) ... The Language of Morals
  • 70. Logic History
    In 1920 jan lukasiewicz wondered how Aristotle s indefinite truth for future lukasiewicz, jan (1930). Philosophical remarks on manyvalued systems of
    http://www.neurocomputing.org/Logic_History/body_logic_history.html
    The Rationale for Analog Truth Value Operations in the History of Logic
    Origination
    The Greeks developed logic out of a need for their orators to gain a verbal advantage over their rhetorical opponents. Yet not until Aristotle (384 to 322 BC) wrote a book covering the art of discourse called the Organon (meaning instrument or tool) was the methodology of logic clearly defined. Michael Grant (1989) says this about it:
      "The most significant parts of the Organon are the Prior and Posterior Analytics, containing two books each. The former work reviews the general principles of inductive inference, while the Posterior Analytics applies these methods of proof and definition to the nature and validity of knowledge (epistemology), indicating that there is a proper method of constructing generalizations, applicable to all the sciences, and explaining how language can and should be employed for this purpose." "Aristotle stresses the novelty of his logical writings and even if, contrary to what has sometimes been claimed, he did not invent the discipline of logic (since Parmenides and the sophists and Plato had prepared the ground) he was perhaps the first to comprehend the importance, not only of the content of statements, but of their form, and their formal relation to each other. This was a major breakthrough, for no one had ever before offered a general account of what is valid in argument and what is not."

    71. Joint Theological Library New Titles Added In June 2004
    QE68 L954, lukasiewicz, jan. Aristotle s syllogistic from the standpoint of modernformal logic / 2nd ed., enl. 1957. QE78 P566 XF55, Philodemus and the New
    http://www.jtl.vic.edu.au/newtitles62004.htm
    New Titles Added to the Collection in June 2004 To the Library home page Call No Author Title Holladay, William L. (William Lee) A concise Hebrew and Aramaic lexicon of the Old Testament : based upon the lexical work of Ludwig Koehler and Walter Baumgartner / 12th corr. impr. 1991. Seow, C. L. (Choon Leong) A grammar for Biblical Hebrew / Rev. ed. c1995. Garuti, Paolo. Apostolica romana quaedam : etudes philologiques sur le Nouveau Testament dans le monde greco-romain / 2004. BR63.3 P848 IG Porter, Stanley E. Idioms of the Greek New Testament / 2nd ed. 1999, c1994. BR66 B954 c.1 Burge, E. L. (Evan Laurie), 1933-2003 Grasping New Testament Greek : an introductory course / 1999 BR66 B954 c.2 Burge, E. L. (Evan Laurie), 1933-2003 Grasping New Testament Greek : an introductory course / 1999 Koefoed, Hans Anton. Danish / 1958. Chievitz, Poul, 1817-1854. Fra gaden / 1991. Biblia, det er, Den ganske Hellige Skrifts Boger : med Flid efterseete og rettede efter Grundtexten saa og med mange Parallelsteder forsynede. 21. Oplag. 1855. Palabra, prodigio, poesia : in memoriam P. Luis Alonso Schokel, S.J. / 2003.

    72. Corpora List Apr 1995 To Jun 1995: Lukasiewicz In Dublin
    century s foremost logicians and historians of logic, jan lukasiewicz. In thisyear the Joint Session of the Aristotelian Society and the Mind
    http://torvald.aksis.uib.no/corpora/1995-2/0155.html
    Lukasiewicz in Dublin
    Allan Ramsay allan@monkey.ucd.ie
    Fri, 9 Jun 1995 15:10:47 +0100
    Call for Papers
    Lukasiewicz in Dublin
    University College Dublin
    8-10 July 1996
    First Announcement and Call for Papers
    The year 1996 marks the 40th anniversary of the death of one of this
    century's foremost logicians and historians of logic, Jan Lukasiewicz. In
    this year the Joint Session of the Aristotelian Society and the Mind
    Association will be held in Dublin, where Lukasiewicz spent his last years,
    and we intend to use this occasion to celebrate the work of Lukasiewicz at a conference on 8-10 July 1996 in University College Dublin, immediately after the Joint Session. The conference is being organised by the Department of Philosophy UCD, and the European Society for Analytic Philosophy. The programme will consist of plenary lectures by a number of invited speakers and workshops consisting of papers of 30-40 minutes duration.

    73. Outcomes
    lukasiewicz, jan and Tarski, Alfred 1930 Untersuchungen ueber den Aussagenkalkuel ,Comptes rendus des séances de la Societe des Sciences et des Lettres
    http://www.st-andrews.ac.uk/~arche/pages/vagbib.html
    Bibliographies Vagueness Project
    The following are bibliographies on topics in Vagueness. Fuzzy Semantics Dialethism and Subvaluationism Contextualism Vagueness and Propositional Attitudes ... Vagueness and Ignorance Supervaluationism Supervaluations
    Supervaluations and Logic

    Truth and Supertruth

    Many valued supervaluations
    ... Incoherentism Higher Order Vagueness Foundational Issues in Higher Order Vagueness
    Paradoxes of Higher Order Vagueness

    Higher Order Vagueness and the Vagueness of "Vague"

    Many-Valued Theories of Higher Order Vagueness
    ...
    Applications of Higher Order Vagueness
    Ontic Vagueness Ontic Vagueness
    Vague Identity

    Vague Objects
    The Problem of the Many The Problem of the Many Supervaluations and the Problem of the Many Vagueness in Ethics Vagueness in Law Fuzzy semantics Zadeh, Lotfi [1965] 'Fuzzy Sets', Information and Control 8, pp. 338-53. Vagueness-related discussion: Waismann, Friedrich [1945/6] 'Are There Alternative Logics?', Proceedings of the Aristotelian Society 46, pp. 77-104. Segerberg, K [1965] 'A Contribution to Nonsense-Logics', Theoria 31, pp. 199-217. Odegard, D [1965] 'Excluding the Middle from Loose Concepts', Theoria 31, pp. 138-44.

    74. CSISS Classics - Lotfi Zadeh: Fuzzy Logic-Incoporating Real-World Vagueness
    writings of jan lukasiewicz and Emil Post in the 1920s and D. Bochvar, JerzyStupecki, lukasiewicz experimented with four and five valued logic and
    http://www.csiss.org/classics/content/68
    Lotfi Zadeh: Fuzzy logic-Incoporating Real-World Vagueness
    By Pragya Agarwal
    Back to Classics Background Fuzzy logic was first invented as a representation scheme and calculus for uncertain or vague notions. It is basically a multi-valued logic that allows more human-like interpretation and reasoning in machines by resolving intermediate categories between notations such as true/false, hot/cold etc used in Boolean logic. This was seen as an extension of the conventional Boolean Logic that was extended to handle the concept of partial truth or partial false rather than the absolute values and categories in Boolean logic. Philosophers such as Plato had posited the laws of thought and one of these thoughts was the Law of Excluded Middle . Parminedes proposed the first version of this rule around 400 B.C. and stated amidst controversy that statements could be both true and not true at the same time. The Greek Philosopher Plato laid the foundations for the fuzzy logic by proposing a third region between true and false where the two notions tumbled together. In the early 1900s, Lukasiewicz extended on to the conventional bi-valued logic of Aristotle and proposed a tri-valued logic in his paper in 1920 titled On three-valued logic The fuzzy set theory was introduced by Professor Lotfi Zadeh in 1965 and can be seen as an infinite- valued logic. Lotfi Zadeh is currently serving as a director of BISC (Berkeley Initiative in Soft Computing). Prior to 1965 Zadeh's work had been centered on system theory and decision analysis. Since then, his research interests have shifted to the theory of fuzzy sets and its applications to artificial intelligence, linguistics, logic, decision analysis, control theory, expert systems and neural networks. Currently, his research is focused on fuzzy logic, soft computing, computing with words, and the newly developed computational theory of perceptions and natural language.

    75. Code: Annotated Bibliography
    lukasiewicz, jan. Aristotle s Syllogistic from the Standpoint of Modern FormalLogic, second edition, enlarged. Oxford, England Clarendon Press, 1998.
    http://www.charlespetzold.com/code/CodeBibliography.html
    CODE
    The Hidden Language of Computer Hardware and Software

    by Charles Petzold
    Annotated Bibliography
    Reference Books
    Throughout Code , definitions of technical terms are generally consistent with: Microsoft Press Computer Dictionary rd edition. Redmond, Washington: Microsoft Press, 1997. I also relied on: The IEEE Standard Dictionary of Electrical and Electronics Terms th edition. New York, NY: Institute of Electrical and Electronics Engineers, Inc., 1997. Also referred to as IEEE Std 100-1996. Whenever possible, illustrations are consistent with: , 1996 edition. New York, NY: Institute of Electrical and Electronics Engineers, Inc., 1996. Another important reference that is often witty and wise is: Raymond, Eric S., comp. The New Hacker's Dictionary rd edition. Cambridge, MA: The MIT Press, 1996. Occasionally I consulted the 1500-page: Ralston, Anthony, and Edwin D. Reilly, eds. Encyclopedia of Computer Science rd edition. London, England: International Thomson Computer Press, 1995. Biographies of important people in the field of computers are compiled in: Lee, J.A.N.

    76. History Of Nova Scotia, Jan 1970 - Dec 1979
    jan lukasiewicz, 1878 1956. http//www.fmag.unict.it/PolPhil/Lukas/Lukas.htmlhttp//www-groups.dcs.st-and.ac.uk/~history/Mathematicians/lukasiewicz.html
    http://www.littletechshoppe.com/ns1625/nshist22.html
    History of Nova Scotia
    with special attention given to
    Communications and Transportation
    Chapter 22
    1970 February 4
    Oil Tanker Arrow Wrecked
    in Chedabucto Bay
    On this day, the oil tanker Arrow ran aground in Chedabucto Bay, Nova Scotia, between Canso and Port Hawkesbury. Attempts by industry and government to prevent the loss of its cargo of Bunker C oil were unsuccessful. Clean-up efforts lasted for the next two years and cost about $4,500,000, but had little useful effect.
    Thirty-two years later, in June 2002, Environment Canada conducted a three-day training exercise in Chedabucto Bay, and discovered considerable evidence of the wreck of the Arrow.
    The Liberian-registered tanker, under charter to Imperial Oil Ltd., had been carrying 108,000 barrels of crude oil to Nova Scotia when it sank in high winds and heavy seas.
    [Halifax Chronicle-Herald, 8 June 2002]
    National Post, 8 June 2002]
    How much oil was Arrow carrying?
    How much oil is there in a barrel?
    As a unit of measure, the barrel is notoriously difficult to pin down. The official size of a barrel depends on what it contains. For

    77. References
    lukasiewicz, jan Aristotle s syllogistic. 2nd edn., Oxford Claendon Press (1957)REMARK This is the first formal theory which considers Aristotelian
    http://www.logic.glashoff.net/aristotelianlogic/references.html
    Back to: Part 1 Part 2 Part 3
    References
    Aristotelian logic as system of natural deduction
    Corcoran , John. 1972. "Completeness of an Ancient Logic". Journal of Symbolic Logic 37: 696-705.
    Corcoran, J. "A Mathematical Model of Aristotle's Syllogistic." AGP 55 (1973) 191-219.
    Corcoran, J. "Aristotle's Natural Deduction System." in Corcoran, J., Ancient Logic and its Modern Interpretations (Dordrecht: 1974) 85-131.
    Corcoran, J. "Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals?" Mind 83 (1974) 278-281.
    Corcoran, J. "The Founding of Logic." AP 14 (1994) 9-24.
    Smiley, T.J. "What is a Syllogism?" J. Phil. Logic 2 (1973) 136-174.
    Smiley, T.J. "Aristotle's Completeness Proof." AP 14 (1994) 25-38.
    Martin, John N. "Aristotle's Natural Deduction Reconsidered." History and Philosophy of Logic, 18 (1997), 1-15
    Boger , G. "Completion, Reduction and Analysis: Three Proof-theoretic Processes in Aristotle's Prior Analytics." History and Philosophy of Logic 19, 187-226, (1998)
    Classical texts on the formalisation of Aristotelian logic
    Lukasiewicz , Jan "Aristotle's syllogistic." 2nd edn., Oxford: Claendon Press (1957)

    78. Readings L-M
    AUTHOR lukasiewicz, jan. TITLE Aristotle s syllogistic from the standpoint ofmodern formal logic. EDITION 2d ed., enl. IMPRINT Oxford, Clarendon Press,
    http://philosophy.lander.edu/logic/readings_lm.html

    philosophy.lander.edu
    Quizzes Tests FAQ ... Syllabus Philosophy 103: Introduction to Logic
    Logic Readings in the Lander University Library L-M
    Directory Listing by Author A-B C D-E F-G ... J-K L-M N-Q R-S T-Z L
    AUTHOR Lambert, Karel, 1928-
    TITLE The logical way of doing things. Edited by Karel Lambert.
    IMPRINT New Haven, Yale University Press, 1969.
    AUTHOR Lathrop, Richard G., 1933-
    TITLE Introduction to psychological research; logic, design, analysis
    [by] Richard G. Lathrop. Under the editorship of Wayne
    Holtzman.
    IMPRINT
    AUTHOR Lemmon, E. J. TITLE Beginning logic / E.J. Lemmon. IMPRINT London : Nelson, 1971, c1965. AUTHOR Lewis, Clarence Irving, 1883-1964. TITLE Symbolic logic, by Clarence Irving Lewis and Cooper Harold Langford. EDITION 2d ed. IMPRINT [New York] Dover Publications [1959] AUTHOR Lewis, David K. TITLE Counterfactuals [by] David K. Lewis. IMPRINT Cambridge, Harvard University Press, 1973. AUTHOR Lukasiewicz, Jan. TITLE Aristotle's syllogistic from the standpoint of modern formal logic.

    79. SILFS-L Archives -- 1996 (#34)
    AN INTERNATIONAL CONFERENCE ON THE WORK OF jan lukasiewicz. JULY 710 1996.PROVISIONAL PROGRAMME. This conference is sponsored by the Mind Association.
    http://list.cineca.it/cgi-bin/wa?A2=ind96&L=silfs-l&F=&S=&P=3146

    80. Tadeusz Kotarbinski From Reism To Pansomatism
    The distinguished philosophicmathematical logicians jan lukasiewicz jan lukasiewicz s works on the history of logic, Studia Logica 8 57-62 (1958).
    http://www.formalontology.it/kotarbinskit.htm
    Home Site Map
    Tadeusz Kotarbinski from Reism to Pansomatism "I reached the chair of philosophy via logic. Teaching logic became the field of my activity as a university professor of philosophy, a member of other humanistic faculties. Emphasis is here placed on the words 'teaching' and 'humanistic'. For my lectures and classes were conceived as an organon in the classical sense of the term, for philosophers as well as for those who, having completed their course of study, would espouse the cause of disseminating humanistic knowledge and thinking, particularly future secondary school teachers. Somewhat later my activity embraced also law students. My linguistic equipment proved to, be very helpful in this respect. For it seems especially important when the problems of an organon of this kind are conceived historically and is quite crucial when pondering the original Organon of Aristotle (or to be more cautious, of the peripatetic school) and its continuators. Conceived in this manner logic was by no means confined to formal logic, but came to comprise the problems of epistemology, semantics and methodology. It is precisely the latter problems - not those of formal logic - that were of particular interest to my mind. Nevertheless, I felt bound to contribute to the study of formal logic. The feeling was encouraged both by my colleagues at Warsaw University and by my awareness of the precise phase that logic had reached in its historical development. It was precisely the moment when mathematical logic was triumphantly entering the scene. The names of Frege, Bertrand Russell, Peano, Burali-Forti, Couturat and many others were on everybody's minds.

    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  

    Page 4     61-80 of 105    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

    free hit counter