Results for ' Logic design'

999 found
Order:
  1.  21
    The Logical Design of an Idealized General-Purpose Computer.Arthur W. Burks & Irving M. Copi - 1957 - Journal of Symbolic Logic 22 (3):332-332.
  2.  28
    Logical Design of Digital Computers.Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (3):363-365.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  7
    Logical Design of Digital Computers.Samuel E. Gluck - 1959 - Philosophy of Science 26 (1):48-50.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  29
    Preliminary discussion of the logical design of an electronic computer instrument.Arthur W. Burks, Herman Heine Goldstine & John Von Neumann - unknown
  5.  13
    Problems and Solutions in Logic Design.D. Zissos & F. G. Duncan - 1976 - London ; Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  43
    Digital Circuits and Logic Design.Samuel C. Lee - 1976 - Prentice-Hall.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  7
    The Elements of Deductive Logic: Designed Mainly for the Use of Junior Students in the Universities.Thomas Fowler - 1871 - Oxford, England: Wentworth Press.
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. The Elements of Deductive Logic Designed Mainly for the Use of Junior Students in the Universities / by Thomas Fowler.Thomas Fowler - 1883 - At the Clarendon Press.
  9. The Elements of Inductive Logic Designed Mainly for the Use of Students in the Universities.Thomas Fowler - 1870 - At the Clarendon Press.
  10.  9
    Switching Circuits and Logical Design.Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (4):433-434.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  94
    On Frege’s Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs.Dirk Schlimm - 2018 - History and Philosophy of Logic 39 (1):53-79.
    Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  12.  15
    Book Review:Logical Design of Digital Computers Montgomery Phister, Jr. [REVIEW]Samuel E. Gluck - 1959 - Philosophy of Science 26 (1):48-.
  13.  38
    Introduction to the Logical Design of Switching Systems.Digital Systems Logic and Circuits.Basic Digital Electronics--Understanding Number Systems, Boolean Algebra, & Logic Circuits. [REVIEW]H. B. Enderton, H. C. Torng, Basil Zacharov & Ray Ryan - 1976 - Journal of Symbolic Logic 41 (2):549.
  14.  23
    Phister Montgomery Jr., Logical design of digital computers. John Wiley & Sons, Inc., New York 1958, and Chapman & Hall, Limited, London 1958, xvi + 408 pp. [REVIEW]Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (3):363-365.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  7
    Review: Montgomery Phister, Logical Design of Digital Computers. [REVIEW]Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (3):363-365.
  16.  13
    Designation, characterization, and theory in Dewey's logic.Douglas Browning - 2002 - In F. Thomas Burke, D. Micah Hester & Robert B. Talisse (eds.), Dewey's logical theory: new studies and interpretations. Nashville: Vanderbilt University Press. pp. 160--179.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. The logic of design as a conceptual logic of information.Luciano Floridi - 2017 - Minds and Machines 27 (3):495-519.
    In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  18.  21
    J. Hartmanis and R. E. Stearns. Computational complexity of recursive sequences. Switching circuit theory and logical design, Proceedings of the Fifth Annual Symposium, Princeton University, Princeton, N.J., November 11–13, 1964, The Institute of Electrical and Electronics Engineers, Inc., New York1964, pp. 82–90. [REVIEW]Jiří Bečvář - 1967 - Journal of Symbolic Logic 32 (1):121-122.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  38
    The logic of information: a theory of philosophy as conceptual design.Luciano Floridi - 2019 - Oxford, England: Oxford University Press.
    Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. His starting-point is that reality provides the data which we transform into information. He explores how we make, transform, refine, and improve the objects of our knowledge, and defends the radical idea that knowledge is design.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  15
    Modal Logics with Non-rigid Propositional Designators.Yifeng Ding - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 47-62.
    In most modal logics, atomic propositional symbols are directly representing the meaning of sentences (such as sets of possible worlds). In other words, they use only rigid propositional designators. This means they are not able to handle uncertainty in meaning directly at the sentential level. In this paper, we offer a modal language involving non-rigid propositional designators which can also carefully distinguish de re and de dicto use of these designators. Then, we axiomatize the logics in this language with respect (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  26
    Stearns R. E., Hartmanis J., and Lewis P. M. II. Hierarchies of memory limited computations. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 179–190. [REVIEW]Walter J. Savitch - 1972 - Journal of Symbolic Logic 37 (3):624-625.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Arden Dean N.. Delayed-logic and finite-state machines. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20, 1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York 1961, pp. 133–151. [REVIEW]Robert McNaughton - 1971 - Journal of Symbolic Logic 36 (1):151-151.
  23.  21
    Burks Arthur W. and Copi Irving M.. The logical design of an idealized general-purpose computer. Journal of the Franklin Institute, vol. 261 , pp. 299–314, 421–436. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (3):332-332.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  17
    Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose Computer. [REVIEW]Robert McNaughton - 1957 - Journal of Symbolic Logic 22 (3):332-332.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  23
    Meo. Angelo Raffaele On the minimal third order expression of a Boolean function. Proceedings of the Third Annual Symposium on Switching Circuit Theory and Logical Design, Chicago, October 7–12, 1962, American Institute of Electrical Engineers, New York 1962, pp. 5–24. [REVIEW]A. K. Choudhury - 1968 - Journal of Symbolic Logic 32 (4):540-540.
  26.  32
    Logic and Computer Design Fundamentals.M. Morris Mano, Charles R. Kime & Tom Martin - 2000 - Prentice-Hall.
    "Offering integrated coverage of both digital and computer design, this text offers well-organized, concise, yet comprehensive content, presented from a contemporary engineering viewpoint. Understanding of the material is supported by clear explanations and a progressive development of examples ranging from sample combinatorial applications to a CISC architecture built upon a RISC core. A thorough coverage of traditional topics is combined with increased attention to computer-aided design, problem formulation, solution verification, and the building of problem-solving skills."--BOOK JACKET.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  36
    Lin Shen and Rado Tibor. Computer studies of Turing machine problems. Journal of the Association for Computing Machinery, vol. 12 , pp. 196–212.Brady Allen H.. The conjectured highest scoring machines for Rado's Σ for the value k = 4. IEEE transactions on electronic computers, vol. EC-15 , pp. 802–803.Green Milton W.. A lower bound on Rado's sigma function for binary Turing machines. Switching circuit theory and logical design, Proceedings of the Fifth Annual Symposium, Princeton University, Princeton, N.J., November 11-13, 1964, The Institute of Electrical and Electronics Engineers, Inc., New York 1964, pp. 91–94. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (4):617-617.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  51
    Torng H. C.. Introduction to the logical design of switching systems. Addison-Wesley series in electrical engineering. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, London, 1964, xii + 286 pp.Zacharov Basil. Digital systems logic and circuits. American Elsevier Publishing Company, Inc., New York 1968, xv + 160 pp.Ryan Ray. Basic digital electronics—Understanding number systems, Boolean algebra, & logic circuits. Tab Books, Blue Ridge Summit, Pa., 1975, 210 pp. [REVIEW]H. B. Enderton - 1976 - Journal of Symbolic Logic 41 (2):549-550.
  29.  50
    Design research programs and the logic of their development.Theo A. F. Kuipers, Rein Vos & Hauke Sie - 1992 - Erkenntnis 37 (1):37 - 63.
    Design research programs attempt to bring together the properties of available materials and the demands derived from intended applications. The logic of problem states and state transitions in such programs, including assessment criteria and heuristic principles, is described in settheoretic terms, starting with a naive model comprising an intended profile and the operational profile of a prototype. In a first concretization the useful distinction between structural and functional properties is built into the model. In two further concretizations the (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  20
    Caldwell Samuel H.. Switching circuits and logical design. John Wiley & Sons, Inc., New York 1958, and Chapman & Hall Limited, London 1958, xvii + 686 pp. [REVIEW]Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (4):433-434.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  29
    Review: Samuel H. Caldwell, Switching Circuits and Logical Design[REVIEW]Edward F. Moore - 1958 - Journal of Symbolic Logic 23 (4):433-434.
  32.  17
    Cobham A., Fridshal R., and North J. H.. An application of linear programming to the minimization of Boolean functions. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17-20, 1961, and Papers from the First Annual Symposium, Chicago, Ill., October 9-14, 1960, American Institute of Electrical Engineers, New York 1961, pp. 3–9. [REVIEW]Thomas H. Mott - 1965 - Journal of Symbolic Logic 30 (2):247-247.
  33.  15
    McCluskey E. J. Jr., Minimal sums for Boolean functions having many unspecified fundamental products. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20,1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York 1961, pp. 10–17; also Transactions of the American Institute of Electrical Engineers, vol. 81 part 1 , pp. 387–392. [REVIEW]Thomas H. Mott - 1967 - Journal of Symbolic Logic 32 (2):263-264.
  34.  16
    Higonnet Rene A. and Grea Rene A.. Logical design of electrical circuits. McGraw-Hill Book Company, New York-Toronto-London 1958, ix + 220 pp. [REVIEW]S. Seshu - 1959 - Journal of Symbolic Logic 24 (1):77-78.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  8
    Review: Rene A. Higonnet, Rene A. Grea, Logical Design of Electrical Circuits. [REVIEW]S. Seshu - 1959 - Journal of Symbolic Logic 24 (1):77-78.
  36. The logical underpinnings of intelligent design.William Dembski - manuscript
    For many natural scientists, design, conceived as the action of an intelligent agent, is not a fundamental creative force in nature. Rather, material mechanisms, characterized by chance and necessity and ruled by unbroken laws, are thought sufficient to do all nature’s creating. Darwin’s theory epitomizes this rejection of design.
     
    Export citation  
     
    Bookmark   3 citations  
  37.  37
    Designing visual languages for description logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.
    Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  19
    A logic of efficient and optimal designs.Giuseppe Primiero - 2019 - Journal of Logic and Computation 14:0-22.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  5
    The Intrinsic Logic of Design.Gerhard M. Buurman & Marc Rölli (eds.) - 2016 - Niggli.
    "In recent years, design has grown in importance for economic and technical development projects. This increase is in turn associated with very topical social issues. Yet, how can this dimension of design, i.e. "social design", be researched and made visible? This was the question that was tackled by the authors of this book to shed light on the specific rationalities of the processes and methods of design. Based on eight selected projects of applied design at (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Information and design: book symposium on Luciano Floridi’s The Logic of Information.D. Bawden, T. Gorichanaz, J. Furner, L. Robinson, M. Ma, K. Herold, B. Van der Veer Martens, L. Floridi & D. Dixon - manuscript
    Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  51
    Designation and Convention: A Chapter of Early Logical Empiricism.Thomas A. Ryckman - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:149 - 157.
    An examination of Carnap's Aufbau in the context of Schlick's Allgemeine Erkenntnislehre of ten years earlier, suggests that Carnap's focus there on the sign-relation (Zeichenbeziehung) is an effort to retrieve a verificationist account of the meaning of individual scientific statements from the abyss of meaning-holism entailed by Schlick's proposal that scientific concepts be implicitly defined. The Aufbau's antipodal aspects, its reductive phenomenalism and quasi-Kantian concern with the constitution of objectivity, are seen as complementary moments of the marriage of empiricism and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  7
    Designation and Convention: A Chapter of Early Logical Empiricism.Thomas A. Ryckman - 1990 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990 (2):149-157.
    We have yet to fully understand the mariner or the measure to which logical empiricism emerged as a conventionalist response to both traditional Kantian and empiricist epistemology and to the apparent triumphs of “conventionalist stratagems” (in Popper’s aspersive locution) in the foundations of science. By “conventionalism”, however, is here understood a broader sense than customary, an extrapolation of views on the foundations of geometry and physics (associated in the first instance with Poincaré“) to an encompassing epistemological consideration of the development (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Logic Made Easy or a Short View of the Aristotelic System of Reasoning, and its Application to Literature, Science, and the General Improvement of the Mind. Designed Chiefly for the Students of the University of Oxford.Henry Kett, J. Parker & F. C. And J. Rivington - 1809 - Printed at the University Press for the Author; : And Sold by J. Parker, Oxford, : And F.C. And J. Rivington, London.
     
    Export citation  
     
    Bookmark   1 citation  
  44. Rigid designation, existence and semantics for quantified modal logic.Kai Yee Wong - unknown
    In an English article (‘On Expressions’) Professor Shen Youding writes, ‘the meaning of a name is not the object which is mentioned by means of it’ (Shen 1992: 11). This remark touches on a big issue that has divided contemporary philosophers of language. On the one side is the Millian (after J.S. Mill), who maintains that the semantic value of a name is the object which it designates, denotes, or refers to (as I use them here, these three terms are (...)
     
    Export citation  
     
    Bookmark  
  45.  51
    Hume on the Logic of Design.Stephen Barker - 1983 - Hume Studies 9 (1):1-18.
    In lieu of an abstract, here is a brief excerpt of the content:HUME ON THE LOGIC OF DESIGN (i) Respectable Inductive Thinking Readers seeking to understand Hume's views concerning inductive reasoning often turn just to the obviously relevant sections of the Treatise and the 2 first Enquiry. In this paper I want to suggest that a broader approach is desirable, and specifically that the Dialogues Concerning Natural Religion shed additional significant light on Hume's views about induction. In those (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  46.  8
    Designing an Introductory Course in Elementary Symbolic Logic within the Blackboard e-Learning Environment.Frank Zenker, Gottschall Christian, Newen Albert & Vosgerau van RaphaelGottfried - 2011 - In P. Blackburn, H. Dithmarsch & M. Manzano (eds.), Springer Lecture Notes in Artificial Intelligence (LNAI). Springer. pp. 249-255.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  21
    Logical and Combinatorial Problems in Computer Design.Robert Mcnaughton - 1957 - Journal of Symbolic Logic 22 (2):222-222.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Lincos, design of a language for cosmic intercourse, part I, Studies in Logic and the foundations of mathematics.Hans Freudenthal - 1961 - Revue Philosophique de la France Et de l'Etranger 151:521-522.
     
    Export citation  
     
    Bookmark  
  49.  80
    The logic of public policy design: Linking policy actors and plausible instruments.Steven Linder & B. Guy Peters - 1991 - Knowledge, Technology & Policy 4 (1-2):125-151.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  22
    Application of logic to the design of computing machines : final report.Arthur W. Burks, Hao Wang & John H. Holland - unknown
1 — 50 / 999