BACHELOR'S DEGREE PROGRAMME (BDP PHILOSOPHY)

Similar documents
BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination June, 2013 ELECTIVE COURSE : MATHEMATICS MTE-12 : LINEAR PROGRAMMING

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination. June, 2018 ELECTIVE COURSE : MATHEMATICS MTE-02 : LINEAR ALGEBRA

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination December, 2012 ELECTIVE COURSE : MATHEMATICS MTE-10 : NUMERICAL ANALYSIS

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination June, 2016 ELECTIVE COURSE : MATHEMATICS MTE-1 3 : DISCRETE MATHEMATICS

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination December, 2015

No. of Printed Pages : 8

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination ELECTIVE COURSE : MATHEMATICS MTE-02 : LINEAR ALGEBRA

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination December, 2009 PHYSICS PHE-15 : ASTRONOMY AND ASTROPHYSICS

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination December, 2015 ELECTIVE COURSE : MATHEMATICS MTE-08 : DIFFERENTIAL EQUATIONS

ELECTIVE COURSE : MATHEMATICS MTE-08 : DIFFERENTIAL EQUATIONS

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination December, Time : 2 hours Maximum Marks : 50 (Weightage : 70%)

OF FIRE. No. of Printed Pages : 11 BSEI-025. DIPLOMA IN FIRE SAFETY Term-End Examination December, 2012 BSEI-025 : INTRODUCTION AND ANATOMY

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination June, 2017

BACHELOR'S DEGREE PROGRAMME

Gödel s Theorem: Limits of logic and computation

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination June, B.Sc. EXAMINATION CHE-1 : ATOMS AND MOLECULES AND CHE-2 : INORGANIC CHEMISTRY

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination June, 2017

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Massachusetts Institute of Technology Instrumentation Laboratory Cambridge, Massachusetts

Mat 243 Exam 1 Review

Logic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another.

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination December, 2016

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination December, 2014 ELECTIVE COURSE : MATHEMATICS MTE-06 : ABSTRACT ALGEBRA

Today s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)

No. of Printed Pages : 12 BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination 00 0 y 4 December, 2016

Wollongong College Australia

PHE-5 : MATHEMATICAL METHODS IN PHYSICS-II Instructions : 7. Students registered for both PHE-4 & PHE-5 courses

BACHELOR OF SCIENCE (B.Sc.)

o is a type symbol. There are no other type symbols.

Note : Answer the questions as directed in SECTION A, B and C. Draw neat labelled diagrams 'wherever necessary.

a. ~p : if p is T, then ~p is F, and vice versa

Arguments in Ordinary Language Chapter 5: Translating Ordinary Sentences into Logical Statements Chapter 6: Enthymemes... 33

Trade Patterns, Production networks, and Trade and employment in the Asia-US region

No. of Printed Pages : 12 MTE-14 BACHELOR'S DEGREE PROGRAMME (BDP)

ARISTOTLE S PROOFS BY ECTHESIS

No. of Printed Pages : 7 BACHELOR OF SCIENCE (B.Sc.) Term-End Examination December, 2013 PHYSICS

First Order Logic: Syntax and Semantics

From syllogism to common sense: a tour through the logical landscape. Categorical syllogisms

CATAVASII LA NAȘTEREA DOMNULUI DUMNEZEU ȘI MÂNTUITORULUI NOSTRU, IISUS HRISTOS. CÂNTAREA I-A. Ήχος Πα. to os se e e na aș te e e slă ă ă vi i i i i

Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.

Note : Attempt four questions in all. Questions No. 1 and 2

Term-End Examination. June, 2012 LIFE SCIENCE

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014

BACHELOR'S DEGREE PROGRAMME (BDP) Term-End Examination. June, 2017 ELECTIVE COURSE : MATHEMATICS MTE-08 : DIFFERENTIAL EQUATIONS

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination December, 2013

P a g e 5 1 of R e p o r t P B 4 / 0 9

A SIMPLE AXIOMATIZATION OF LUKASIEWICZ S MODAL LOGIC

Propositional Logic. Spring Propositional Logic Spring / 32

RELATION OF WHITEHEAD AND RUSSELL'S THEORY OF DEDUCTION TO THE BOOLEAN LOGIC OF PROPOSITIONS*

Propositional Logic. Chrysippos (3 rd Head of Stoic Academy). Main early logician. AKA Modern Logic AKA Symbolic Logic. AKA Boolean Logic.

Proseminar on Semantic Theory Fall 2013 Ling 720 Propositional Logic: Syntax and Natural Deduction 1

Chapter 4: Classical Propositional Semantics

Propositional Logic: Syntax

Packet #1: Logic & Proofs. Applied Discrete Mathematics

THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.

No. of Printed Pages : 8

What is logic, the topic of this course? There are at least two answers to that question.

TABLEAU SYSTEM FOR LOGIC OF CATEGORIAL PROPOSITIONS AND DECIDABILITY

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Propositions. c D. Poole and A. Mackworth 2010 Artificial Intelligence, Lecture 5.1, Page 1

c. What is the average rate of change of f on the interval [, ]? Answer: d. What is a local minimum value of f? Answer: 5 e. On what interval(s) is f

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination December, li i,n PHYSICS PHE-11(S) : MODERN PHYSICS

Logic Overview, I. and T T T T F F F T F F F F

Propositional Calculus

GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS. Contents 1. Introduction Gödel s Completeness Theorem

B.Sc. Examination December, 2015 CHE-01 : ATOMS AND MOLECULES AND CHE-02 : INORGANIC CHEMISTRY

Fuzzy and Rough Sets Part I

and the ANAVETS Unit Portage Ave, Winnipeg, Manitoba, Canada May 23 to May E L IBSF

Epistemic Informativeness

Solutions to Sample Problems for Midterm

A RWA Performance Comparison for Hybrid Optical Networks combining Circuit and Multi-Wavelength Packet Switching

Maryam Al-Towailb (KSU) Discrete Mathematics and Its Applications Math. Rules Math. of1101 Inference 1 / 13

arxiv: v1 [cs.lo] 28 Feb 2013

Logic and Propositional Calculus

(ÀB Ä (A Â C)) (A Ä ÀC) Á B. This is our sample argument. Formal Proofs

CONTROLLABILITY OF NONLINEAR SYSTEMS WITH DELAYS IN BOTH STATE AND CONTROL VARIABLES

Propositional Logic (2A) Young W. Lim 11/8/15

BACHELOR'S DEGREE PROGRAMME MTE-04 : ELEMENTARY ALGEBRA MTE-05 : ANALYTICAL GEOMETRY

PHE-05 : MATHEMATICAL METHODS IN PHYSICS-II Instructions : (i)

-~~? ~~.,~AA~I. Group-A. Answer Question. No.1 and 2 and any two from the rest within 300 words each. M~fijm~-~9ff5$~~~(~~~~~~~~)1. ~~'im'~~~?

First Order Logic vs Propositional Logic CS477 Formal Software Dev Methods

02 Propositional Logic

A FRAGMENT OF BOOLE S ALGEBRAIC LOGIC SUITABLE FOR TRADITIONAL SYLLOGISTIC LOGIC

BACHELOR'S DEGREE PROGRAMME Term-End Examination June, Time : 2 hours Maximum Marks : 50 (Weightage : 70%)

Problem Points Score Total 100

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination June, 2015

Manual of Logical Style (fresh version 2018)

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination December, 2011 CHEMISTRY CHE-04 : PHYSICAL CHEMISTRY

... The Sequel. a.k.a. Gödel's Girdle

A L A BA M A L A W R E V IE W

Recall that the expression x > 3 is not a proposition. Why?

MATH 22 INFERENCE & QUANTIFICATION. Lecture F: 9/18/2003

Review The Conditional Logical symbols Argument forms. Logic 5: Material Implication and Argument Forms Jan. 28, 2014

GS03/4023: Validation and Verification Predicate Logic Jonathan P. Bowen Anthony Hall

Lecture Notes for MATH Mathematical Logic 1

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination June, 2012 LIFE SCIENCE LSE-12 : PLANT DIVERSITY-I

BACHELOR OF SCIENCE (B.Sc.) Term-End Examination June, 2015 LIFE SCIENCE LSE-06 : DEVELOPMENTAL BIOLOGY

Transcription:

No. of Printed Pages : 6 BACHELOR'S DEGREE PROGRAMME (BDP PHILOSOPHY) Term-End Examination June, 2017 00204 ELECTIVE COURSE : PHILOSOPHY BPY-002 BPY-002 : LOGIC : CLASSICAL AND SYMBOLIC LOGIC Time : 3 hours Maximum Marks 100 Note : (i) Answer all the five questions. (ii) (iii) All questions carry equal marks. Answers to question No. 1 and 2 should he in about 400 words each. 1. Examine the nature of relation which logic holds 20 with language and mathematics. OR Define dilemma. Explain the kinds of dilemma 20 in detail. 2. Trace the development of logic during the age of 20 Principia Mathematica. OR Construct a syllogistic and a non-syllogistic 20 arguments and test their validity using quantification rules. 3. Answer any two of the following within 200 words each : (a) What do you mean by extension and 10 intension of a term? Explain how they are related. BPY-002 1 P.T.O.

(b) Using Venn's diagram, represent the 10 distribution of terms. (c) Define 'truth-functionally compound' and 10 illustrate truth-function by constructing truth-tables for such compound propositions. (d) Describe the Rules of Replacement. 10 4. Answer any four of the following within 150 words each : (a) Briefly explain the nature of simple 5 proposition and categorical proposition. (b) If it is true that 'no stars are self-luminous', 5 then determine the truth-value of the following : (i) All stars are non-self-luminous. (ii) Some non-self-luminous objects are stars. (iii) All non-self-luminous objects are nonstars. (iv) Some stars are non-self-luminous. (v) Some non-stars are non-self-luminous. (c) Using antilogism technique test the validity 5 of the following mood : BARBARA (d) Construct formal proof for the following 5 argument : (i) Jv(--1Kv j) Kv (e) What are the laws of thought? 5 (f) Distinguish between statement and 5 proposition. BPY-002 2

5. Write short notes on any five of the following within 100 words each : (a) Falsification 4 (b) Limitations of Aristotelian Logic 4 (c) Stroke function 4 (d) Meaning of formal proof of validity 4 (e) Figure and Mood 4 (f) Advantages of Indirect Proof 4 (g) The Strengthened Rule of C.P. 4 (h) Syllogism 4 BPY-002 3

t-ilich Wilt chi gtoi (AV** 1TMW titati I 4-..d.wit.-occ -17, 2017 'krwfw : gq IITTM *.111.W1t 002 : qiit91 : 41144,(1 1 11 afit 1,1C1 chltlich k it91 : 3 7114 37fEITT41 37.W : 100 : 774 vra 31q1 ' 3r1( I3N I (ii) 'Tr* 37W" 717;77 ti (iii) fagell 1 TW2 dth U1T9PT 400 r- 4 7:7 01;;N 1. CI R110( MIT 3 I FU ICI 174 lizzin"4. Tr-ft w- 20 WN-TufTr-4R! atem ream trfr i recur *1-4519. 51cb14 20 ogitsql Wl'i77 I 2. ARNE 14414t-*7 * -14 i4 ut-,m 20 f4-4p3t I 31-erdT renticlictei 4 tch MIT 117--qiiiictei 4 tch (non-syllogistic) 20 "r4fft riniut * tirtiimcn P-141 4i tmgcli AST aratrdf T trftutir BPY-002 4 P.T.O.

3. ret4.t 31 F*3177 3t1t 7TTIPT 200 qiezi -14 RTR : (a) tg t1717 -fferf 3-TO (intension) *f 3117 TEIT 10 1:11,17th t? icfrki mchit 117#? Trrtz (b) alitzg* giki Tit -k fa-drur -1 4-1*11 1.- I 10 (c) 4 wticii---hol zr-trw' ITftiTrffsrd atl-{ d.4 10 tic c1i-~ilt ~ 1 *.girr 717 (d) 31T11:19 F-14444 VT 717N WI I 10 I 4. arr 31 * 397 tr771 3T T 397 Wr9-17 150 Wgt tfr77 : (a) TIM 04ciiettf 3 fittki n ciietti 31sT 5 1407.14.Fre 0 (b)'eft 77:f fffi- *11 %ft.ffrr TET: mem Tet' 5 fir * Tim itc-q fitiffrff : (i) TrA. 33--M:HemPlc1 t I (ii) ai-lzi:achipici 77j1 t I Try 3i-17f:51chiPrct 49 3T-"ffft t I (iv) (v) To 'ffl" a-t-te1:51chirkici t I 31---ffft 31,-.1z1:51chiNto t I (c) fad och-nch t-mgdi f.i+-1frlftact 3-17T-2TT 5 Atia-r fittirm -0: BARBARA BPY-002 5 P.T.O.

(d) 14--Iiiiiislift7f#F41-431TWItqm4-HulT197 5 (i) J v (--1 K v 0 (ii) Kv (---1 J v K ) /.. J E K (e) fqq1{ * r1t1 1-1 4)11 i4 t? 5 (f) *9-17 3 ocbalerti * Rai 3T-- T I 5 5. 01-6. ITN M k 4f ITT 7TPITT 100 kittg. 4 tfkim tart fofer : (a) 311:171ACT 4 (b) 379 icilkiloi 44-4 4. (c) *1. cb Lociti 4 (d) 44a7 * MI- lui 5T 340 4 (e) aired' 'P-IT 37P-11 4 (f) ato:r-t witui * 7Tii 4 (g) C.P. W ti k I 41 3FITT 4 (h) -e-fitiefietti 4 BPY-002 6