* Ramsey, Frank Plumpton ( 1931 ) " Truth and Probability " ( PDF ), Chapter VII in The Foundations of Mathematics and other Logical Essays, Reprinted 2001, Routledge.

In his Logical Investigations, Husserl mentions Frege only twice, once in a footnote to point out that he had retracted three pages of his criticism of Frege's The Foundations of Arithmetic, and again to question Frege's use of the word Bedeutung to designate " reference " rather than " meaning " ( sense ).

* John F. Sowa: Knowledge Representation: Logical, Philosophical, and Computational Foundations.

Cook co-authored a book with his student Phuong The Nguyen in this area titled " Logical Foundations of Proof Complexity ".

James M. Buchanan and Gordon Tullock coauthored The Calculus of Consent: Logical Foundations of Constitutional Democracy ( 1962 ), considered one of the landmark works that founded the discipline of public choice theory.

:* The Calculus of Consent: Logical Foundations of Constitutional Democracy, by James M. Buchanan and Gordon Tullock, at the Library of Economics and Liberty

* " The Logical and Metaphysical Foundations of Classical Mathematics ,"

Nonmonotonic Reasoning: Logical Foundations of Commonsense.

The Calculus of Consent: Logical Foundations of Constitutional Democracy is a book written by economists James M. Buchanan and Gordon Tullock in 1962.

* DMOZ: Science: Math: Logic and Foundations: Computational Logic: Logical Frameworks

Foundations of Geometry & Induction, Containing Geometry in a Sensible World and the Logical Problem of Induction, with prefaces by Bertrand Russell and André Lalande.

Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems.

* The Nature of Judicial Proof: An Inquiry into the Logical, Legal, and Empirical Aspects of the Law of Evidence ( 1931, with Jerome Michael )

The Computational Complexity of Logical Theories.

An oblique reference to Epimenides in the context of logic appears in " The Logical Calculus " by W. E. Johnson, Mind ( New Series ), volume 1, number 2 ( April, 1892 ), pages 235 – 250.

Logical empiricism ( aka logical positivism or neopositivism ) was an early 20th century attempt to synthesize the essential ideas of British empiricism ( e. g. a strong emphasis on sensory experience as the basis for knowledge ) with certain insights from mathematical logic that had been developed by Gottlob Frege and Ludwig Wittgenstein.

GIF files start with a fixed-length header (" GIF87a " or " GIF89a ") giving the version, followed by a fixed-length Logical Screen Descriptor giving the size and other characteristics of the logical screen.

* The Logical Principles of Proclus ' Stoicheiôsis Theologikê as Systematic Ground of the Cosmos, by James Lowry

* Sun Microsystems sun4v ( UltraSPARC T1 and T2 ) – utilized by Logical Domains

Logical topologies are able to be dynamically reconfigured by special types of equipment such as routers and switches.

The phenomenological tie-in with the sociology of knowledge stems from two key historical sources for Mannheim's analysis: Mannheim was dependent on insights derived from Husserl's phenomenological investigations, especially the theory of meaning as found in Husserl's Logical Investigations of 1900 / 1901 ( Husserl: 2000 ), in the formulation of his central methodological work: " On The Interpretation of Weltanschauung " ( Mannheim: 1993: see fn41 & fn43 )-this essay forms the centerpiece for Mannheim's method of historical understanding and is central to his conception of the sociology of knowledge as a research program ; and The concept of " Weltanschauung " employed by Mannheim has its origins in the hermeneutic philosophy of Wilhelm Dilthey, who relied on Husserl's theory of meaning ( above ) for his methodological specification of the interpretive act ( Mannheim: 1993: see fn38 ).

* Logical schema: describes the semantics, as represented by a particular data manipulation technology.

Except for terminology, the basic rules are identical to the Logical Rules first proposed in their current form in September 1996 by John Tromp and Bill Taylor.

As in the case of IBM's token ring, the services of Microsoft's NetBIOS implementation were provided over the IEEE 802. 2 Logical Link Control layer by the NBF protocol.

Carnap, in his book Logical Syntax of Language, included a comment by Schlick on Wittgenstein's Tractatus.

In Logical progressive chess ( by Paul Byway, Variant Chess 18, automne 1995 ) there's no castling or pawn two advance ( hence no en-passant capture ) since these rules were added to speed up the game, which is not relevant in progressive form.

Such a code consists of the BIC8, followed by 1-character code that identifies the Logical Terminal ( LTC ), or " local destination ", and the 3-character branch code.

Pitts met Carnap at Chicago by walking into his office during office hours, and presenting him with an annotated version of Carnap's recent book on logic, The Logical Syntax of Language.

Logical implication does not bar the lamp from being on, off, or vanishing completely to be replaced by a horse-drawn pumpkin.

In the rare situation when commercial BASIC software was meant to be-ed, each token's keyword was spelled out in full, leading to a line that extended over more screen lines than could be handled by the Logical Line Link Table.

In his essay " Logical Positivism and Pragmatism ," Lewis revealed his disagreement with verificationism by comparing it unfavorably with his preferred pragmatic conception of empirical meaning.

Other tracks confirmed for the album include " Ruby ", originally recorded by French singer Camille and written by Euston Jones, " Logical World ", " Story Of Us ", " Don't Think About It " and " Cup Of The Sun ".

5 Logical matrix | logical matrices that give the beginning of the T .- M. sequence, when read line by line Exclusive or | Either in set A ( vertical index ) Exclusive or | or in set B ( horizontal index ) is an odd number of elements.

; Logical cohesion: Logical cohesion is when parts of a module are grouped because they logically are categorized to do the same thing, even if they are different by nature ( e. g. grouping all mouse and keyboard input handling routines ).

Though some engineers programmed PAL devices by manually editing files containing the binary fuse pattern data, most opted to design their logic using a hardware description language ( HDL ) such as Data I / O's ABEL, Logical Devices ' CUPL, or MMI's PALASM.

* Achinstein, Peter and Barker, Stephen F. The Legacy of Logical Positivism: Studies in the Philosophy of Science.

* Stephen Downes Guide to the Logical Fallacies, onegoodmove. org

* Stephen Downes Guide to the Logical Fallacies: Exclusive Premises

* The Legacy of Logical Positivism in the Philosophy of Science ( co-editor with Stephen F. Barker, 1969 )

** LVM ( Logical Volume Manager ) was incorporated into OSF / 1, and in 1995 for HP-UX, and the Linux LVM implementation is similar to the HP-UX LVM implementation.

* BUFFALO: Bit User Fast Friendly Aid to Logical Operation the standard bootloader for the 68HC11 family of microprocessors.

" Foresight: its Logical Laws, Its Subjective Sources ," ( translation of the 1937 article in French ) in H. E. Kyburg and H. E. Smokler ( eds ), Studies in Subjective Probability, New York: Wiley, 1964.

Logical Investigations, 2nd ed.

Logical disjunction is an operation on two logical values, typically the values of two propositions, that produces a value of false if and only if both of its operands are false.

Logical Dilemmas: The Life and Work of Kurt Gödel.

* Teorey, T .; Lightstone, S. and Nadeau, T. Database Modeling & Design: Logical Design, 4th edition, Morgan Kaufmann Press, 2005.

* Logical Correlation: The fact that the data have some properties which tie them together, so that we can distinguish a distributed database from a set of local databases or files which are resident at different sites of a computer network.

Logical matrix | Logical matrices of the Bell number | 52 equivalence relations on a 5-element set ( Colored fields, including those in light gray, stand for ones ; white fields for zeros.

Husserl's Logical Investigations ( 1900 – 1901 ) is considered the starting point for the formal theory of wholes and their parts known as mereology.

From Logical Investigations ( 1900 / 1901 ) to Experience and Judgment ( published in 1939 ), Husserl expressed clearly the difference between meaning and object.

Later, in the first volume of his Logical Investigations, the Prolegomena of Pure Logic, Husserl, while attacking the psychologistic point of view in logic and mathematics, also appears to reject much of his early work, although the forms of psychologism analysed and refuted in the Prolegomena did not apply directly to his Philosophy of Arithmetic.

* Logical Investigations, 1973 second revised editions 1913, Findlay, J. N., trans.