• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Sentential probability logic :

پدید آورنده
Theodore Hailperin.

موضوع
Algebra, Boolean.,Algebraic logic.,Probabilities.

رده
QA10
.
T446
1996

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0585278377
(Number (ISBN
9780585278377

NATIONAL BIBLIOGRAPHY NUMBER

Number
b540372

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Sentential probability logic :
General Material Designation
[Book]
Other Title Information
origins, development, current status, and technical applications
First Statement of Responsibility
Theodore Hailperin.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Bethlehem
Name of Publisher, Distributor, etc.
Lehigh University Press ; London ; Cranbury, N.J. : Associated University Presses
Date of Publication, Distribution, etc.
©1996.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
(304 pages) : illustrations

CONTENTS NOTE

Text of Note
Verity sequential logic --;Indefinite descriptions --;Unspecified truth values. Don't-care logic --;Don't-care conditions in logic design --;Elimination. Linear programming --;Leibnitz's vision --;Jakob Bernoulli : probability logic via the fates of gamblers --;Degree of certainty of an argument --;On combining two or more arguments --;J.H. Lambert : probabilistic syllogisms --;Bayes, and a problem " ... no less important than curious" --;John Michell on the distribution of the fixed stars --;Probability in Bolzano's Wissenschaftslehre 1837 --;De Morgan : testimony and argument --;Probable inference via six problems --;George Boole : claims for a general method --;Examination of Boole's general method --;On combining 'evidence' --;Peirce and macColl : conditional probability symbolized --;Confirmation from Keynes to Carnap --;Reichenbach : probability as multi-valued logic --;Probabilistic inference revived --;Bounds on probability : early history --;Best possible probability bounds --;Transmission of uncertainties in inferences --;Nilsson's probabilistic logic --;Probability logic of Scott and Krauss (1966) --;What is a logic?--;Probability functions on sentential languages --;Probability logic : the finite case --;Probability logic : the potential infinite case --;Interval probability logic --;Decision procedure for interval logic --;Set-theoretic versus logic-theoretic probability --;Conjunction and the multiplication of probabilities --;Independence : logical and stochastic --;Logical consequence with probability conditionals --;Logical consequence featuring intervals --;Boole's challenge problem --;Suppositional logic --;Probability on conditional events --;Other writers on conditional events --;A theorem of Rényi's and extensions --;Linear programming in probability/statistics --;Circuit fault testing. Fault trees --;Network reliability.

SUMMARY OR ABSTRACT

Text of Note
This study presents a logic in which probability values play a semantic role comparable to that of truth values in conventional logic. The difference comes in with the semantic definition of logical consequence. It will be of interest to logicians, both philosophical and mathematical, and to investigators making use of logical inference under uncertainty, such as in operations research, risk analysis, artificial intelligence, and expert systems.

TOPICAL NAME USED AS SUBJECT

Algebra, Boolean.
Algebraic logic.
Probabilities.

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA10
Book number
.
T446
1996

PERSONAL NAME - PRIMARY RESPONSIBILITY

Theodore Hailperin.

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Theodore Hailperin

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival