Download PROPOSITIONAL LOGIC 2

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript
PROPOSITIONAL LOGIC 2
English for Scientists
Maria Cristina Teodorani
IMPLICATIONS
•
•
•
•
•
•
•
p: hypothesis ; q: conclusion
If p, then/therefore q
p implies q (p à q)
Reversed if both denied (⌐q à ⌐p)
X will go to lab if Y is not there
If Y is there, then X won’t go to lab
Y is not at the lab, therefore Y is there
IMPLICATIONS
• Biconditional: compound statement formed by a
combination under an "and" condition: they are both
true at the same time
• p ó q (p if and only if q / p IFF q)
• We essentially use it for definitions and vice-versa
statements
• A triangle is right if its angle measures 90°
• A triangle is right if and only if one of its angles
measures 90°
• A triangle is equilateral if and only if (iff) its angles all
measure 60°.
IMPLICATIONS: TEXT BUILDING
• Conceptually, deep inelastic scattering is based on (à
implies) two fundamental principles of modern Physics.
On the one hand, special relativity establishes
(àimplies) the equivalence between mass and energy.
Each mass value corresponds to (à implies) a certain
energy value. Based on that equivalence (àas a
consequence of that / it implies that…), physical
processes can involve (àimply) the transformation of
massive objects into radiation and vice versa (póq) in
agreement with (àbecause of / as an implication of)
the principle of energy conservation.
IMPLICATIONS: TEXT BUILDING
Quantum mechanics, on the other hand, introduces (à implies the
introduction of) an irreducibly stochastic element to Physics. It implies
that particles can decay into other particles in agreement with (as an
implication of / in that it implies the) energy conservation and the
conservation of quantum numbers. The probabilities for such processes
depend on (àimply being a function of) coupling constants, which
characterize (àimply the definition of) interaction strengths between the
involved particles, and on (àand they also imply) the spectrum of
possibilities to realize the process in phase space, i.e. (“id est”àwhich in
turn implies) the space of the involved particles’ locations and momenta.
Joining special relativity and quantum mechanics then implies that the
collision of highly accelerated, and thus (àas a result of this implication)
highly energetic, particles can turn (àimply the arrangement of) the
initial particles into all possible particle combinations whose production is
consistent with (àcoherent with the implication of) the valid
conservation laws.
IMPLICATIONS: TEXT BUILDING
• The experimental physicist therefore (àas a result of
all the implications) can determine (àconclude he can
determine) the spectrum of particles that can in
principle exist in (are implicit in) our world by carrying
out (with the implication that he he has to carry out)
the appropriate scattering experiments.
(Adapted from R. Dawid, String Theory and
The Scientific Method, CUP 2013 , pp. 75-76).
• Writing a scientific text means essentially produce
implications.
• Implications produce other connectives (as well as
suitable verbs in the context) that make the text
coherent and cohesive (in bold).
IMPLICATIONS: BICONDITIONALS
• “A triangle is equilateral if and only if (iff) its
angles all measure 60°”.
• means both "If a triangle is equilateral then its
angles all measure 60°" and "If all the angles
of a triangle measure 60° then the triangle is
equilateral".
• A triangle is equilateral ó its angles all
measure 60°
• póq
TEXT BUILDING
• Definition. Let R be a commutative ring. A nonempty subset I of R is
called an ideal of R if
(i) a ± b ∈ I for all a,b ∈ I and
(ii) ra ∈ I, for all a ∈ I and r ∈ R.
• Proposition. Let R be a commutative ring with identity. Then R is a
field if and only if it has no proper nontrivial ideals.
• Definition Let I be a proper ideal of the commutative ring R. Then I
is said to be a prime ideal of R if for all a,b ∈ R it is true that ab ∈ I
implies a ∈ I or b ∈ I.
The ideal I is said to be a maximal ideal of R if for all ideals J of R
such that I ⊆ J ⊆ R, either J = I or J = R.
• A definition is made of the statements after a logical ‘then’.
Propositional contradictions may disprove it.
(Adapted from http://www.math.niu.edu)
CONTEXT IMPLICATIONS
• The term implicature is used by Grice* to
account for what a speaker can imply as
distinct from what he literally says.
• He is an Englishman, he is, therefore brave
• If it turns out that he is English and not brave,
the “conventional implicature” is mistaken but
the utterance need not be false.**
* Grice, H.P., ‘Logic and conversation’ in (eds.) P. Cole & J. Morgan Syntax ans Semantics 3 : Speech Acts New York:
Academic Press 1975 and ‘Presupposition and Conversational Implicature’ in (ed.) P. Cole 1981.
** Adapted from G. Brown, G. Yule, Discourse Analysis Cambridge University Press 1983.
CONTEXT IMPLICATIONS
• There are also conversational implicatures:*
• A: I am out of petrol.
B: There is a garage round the corner.
• The implicature is that the garage is not only round the
corner, but also will be open and selling petrol.
• To get the implicature we have to know certain facts about
the world, that garages sell petrol, and that “round the
corner” is not a great distance away; we have to interpret
A’s remark as a description of a particular state of affairs or
a request of help.
• Implicatures are pragmatic aspects of meaning
• They not only depend on the conventional meaning but
also on the shared context in which they are produced.*
(Adapted from Brown, Yule, 1983, quoted)
IMPLICATIONS AND RELATIVES
• Relative clauses are introduced by relative pronouns
(that, which, whose, where, who, etc.)
• They imply something or are implicit into something
else
• They supply the omitted implicatures
• They imply the subject (you cannot omit them) or the
object (you can omit them)
• They add extra implications (and so information)
• They can be turned into or used as pàq, póq
statements
• They also imply a “pragmatic” extra knowledge
TEXT BUILDING: IMPLICATIONS AND
RELATIVES
• The intrinsic characteristics of nanomaterials imply a
multi-variable complexity, which affects (àwhich in
turn implies the fact that it affects) their toxicological
potential. In many aspects, this complexity is related to
(àimplicit to) their colloidal nature that distinguishes
them radically from (àthat is implied in making them
set apart from) dissolved chemicals—whereas
dissolved chemicals undergo chemical speciation,
colloids are affected by both chemical and physical
speciation (àthe reason lies in/implies the fact that).
This fact has specific implications to their toxicological
examination and their risk assessment, especially in
aquatic systems.
TEXT BUILDING: IMPLICATIONS AND
RELATIVES
•
Toxicological properties of nanomaterials are studied by applying different
novel approaches, including (à which include / which imply the inclusion
of ) methods to untangle chemical effects mediated by ions and physical
effects (nanoparticle-specific effects)*, methods to address and
understand the issue of agglomeration and physical speciation and their
implications for (à which are used in testing) toxicity, and methods to
untangle indirect effects, such as (àwhose one among them is / implies
the use of ) theshading of algae by particle suspensions from particlespecific and ion-mediated effects. An interesting approach included a
change in perspective, studying the implications of (à which implies the
study of ) biological traits of the organisms (e.g., size, aspect ratio,
biovolume, etc.) in the toxicity of nanomaterials as a tool to perform
effective interspecies extrapolations of nanomaterial bioactivity.
* the brackests here stand for “which are based on the nanoparticlespecific effects / which imply the use of…”
KERNEL/NON-KERNEL CLAUSES
• Kernel clauses are defining relative clauses adding
functional information
• If the relative pronoun is followed by a verb, then
the relative pronoun is a subject pronoun and
cannot be omitted.
• If the relative pronoun is followed by a noun or
pronoun , then the relative pronoun is an object
pronoun and can be omitted.
• Non-defining relative clauses (also called nonkernel clauses) give extra information
MORE ON KERNEL
•
•
•
•
•
In linear algebra and functional analysis, the kernel (also null space or nullspace) of
a linear map L : V → W between two vector spaces or two modules V and W is the
set of all elements v of V for which L(v) = 0, where 0 denotes the zero vector in W
The kernel of an m × n matrix A with coefficients in a field K (typically the field of
the real numbers or of the complex numbers) is the set of xs such that Ax = 0,
where 0 denotes the zero vector with m components. The matrix equation Ax = 0
is equivalent to a homogeneous system of linear equations. From this viewpoint,
the null space of A is the same as the solution set to the corresponding
homogeneous system of equations.
Let C∞(R) be the vector space of all infinitely differentiable functions R → R, and let
D: C∞(R) → C∞(R) be the differentiation operator D(f)=df/dx, then the kernel of D
consists of all functions in C∞(R) whose derivatives are zero, i.e. the set of all
constant functions.
A kernel statement being a defining assertion obviously deals with atomic, or
elementary, propositions –the term kernel also standing for nucleus
An atomic proposition produces sense as well as a solution sets of equations
MORE ON KERNEL
• Programming languages work thanks to a
series of kernel statements that constitute
their peculiar syntax
• SEMANTICS UNDERLYING THE KERNEL
STETEMENT: sequencing or conditioning,
looping, declaring, writing, reading, etc.
• KERNEL: THE “VERBAL SHELL” (OR SYNTAX):
while(){} ; if () {} else {}; do () {}; write () {} , etc.
• Machine code à formal codeànatural code
MORE ON KERNEL: AN EXAMPLE
•
•
•
•
•
•
•
•
program projectile
implicit none
real:: g, t, vx, vy, x, y
x=0 y=0 t=0 g=9.8 vx=5 vy=5
do while (y>=0)
t=t+0.01
x = vx*t
y = Vx * t-1./2. *g*t**2
MORE ON KERNEL: AN EXAMPLE
•
•
•
•
•
•
if (y >= 0) then
write(*,*) ‘at the time t =’, t, ‘x=’, x, ‘y =’, y
end if
end do
end
Hey dear PCC, it’s me who says what to do, I’m giving
you a bunch of variables, then while y≥0 do your
Maths, then if (and only if) y is either 0 or greater than
0 then (it implies the fact that you have to) write the
result.
• Machine code à formal codeànatural code
TEXT BUILDING
•
Photosynthesis, which is the process of converting light energy into chemical energy and storing it
in the bonds of sugar, occurs in plants and some algae (Kingdom Protista), which need only light
energy, CO2, and H2O to make sugar. The process of photosynthesis takes place in the chloroplasts
that use chlorophyll, the green pigment involved in photosynthesis. A plant leaf, whose parts
include the upper and lower epidermis, the mesophyll, the vascular bundle(s) (veins), and the
stomates, is the place where photosynthesis typically happens, while little to none occurs in stems,
etc. The upper and lower epidermal cells, which serve primarily as protection for the rest of the
leaf, do not have chloroplasts, thus photosynthesis does not occur there. The stomates are holes
which occur primarily in the lower epidermis and are for air exchange: they let CO2 in and O2 out.
The vascular bundles or veins in a leaf are part of the plant’s transportation system, moving water
and nutrients around the plant as needed. The mesophyll cells have chloroplasts and this is where
photosynthesis occurs. The parts of a chloroplast include the outer and inner membranes,
intermembrane space, stroma, and thylakoids stacked in grana. The chlorophyll is built into the
membranes of the thylakoids. Chlorophyll looks green because it absorbs red and blue light, making
these colors unavailable to be seen by our eyes. It is the green light which is NOT absorbed that
finally reaches our eyes, making chlorophyll appear green. However, it is the energy from the
absorbed red and blue light that is, thereby, able to be used to do photosynthesis. The green light
(that) we can see is not and cannot be absorbed by the plant, and thus cannot be used to do
photosynthesis. (Adapted from http://biology.clc.uc.edu)
TEXT BUILDING
•
•
The overall chemical reaction involved in photosynthesis is:
6CO2 + 6H2O (+ light energy) → C6H12O6 + 6O2.
This is the source of the O2 we breathe, whose amount is a significant
factor in the concerns about deforestation.
There are two parts to photosynthesis, which are called the light reaction
and the dark reaction
The light reaction, which happens in the thylakoid membrane, converts
light energy into chemical energy. This chemical reaction must, therefore,
take place in the light. Any biologists who is specialized in this sector can
tell us that chlorophyll and several other pigments such as beta-carotene
are organized in clusters in the thylakoid membrane and are involved in
the light reaction. Each of these differently-colored pigments can absorb a
slightly different color of light and pass its energy to the central chlorphyll
molecule to do photosynthesis. The central part of the chemical structure
of a chlorophyll molecule is a porphyrin ring, which consists of several
fused rings of carbon and nitrogen with a magnesium ion in the center.
(Adapted from http://biology.clc.uc.edu)
TEXT BUILDING
•
The energy harvested via the light reaction is stored by forming a chemical called ATP (adenosine
triphosphate), which is a compound used by cells for energy storage. This chemical is made of the
nucleotide adenine bonded to a ribose sugar, which in turn is bonded to three phosphate groups.
This molecule (that) we’re considering is very similar to the building blocks for our DNA. The dark
reaction takes place in the stroma within the chloroplast, and converts CO2 to sugar. This reaction
does not directly need light in order to occur, but it does need the products of the light reaction
(ATP and another chemical called NADPH). The dark reaction involves a cycle called the Calvin cycle
in which CO2 and energy from ATP are used to form sugar. Actually, notice that the first product of
photosynthesis is a three-carbon compound called glyceraldehyde 3-phosphate. Almost
immediately, two of these join to form a glucose molecule. Most plants put CO2 directly into the
Calvin cycle. Thus the first stable organic compound formed is the glyceraldehyde 3-phosphate.
Since that molecule contains three carbon atoms, these plants are called C3 plants. For all plants,
hot summer weather increases the amount of water that evaporates from the plant. Plants lessen
the amount of water that evaporates by keeping their stomates closed during hot, dry weather.
Unfortunately, this means (that) once the CO2 in their leaves reaches a low level, they must stop
doing photosynthesis. Even if there is a tiny bit of CO2 left, the enzymes used to grab it and put it
into the Calvin cycle just do not have enough CO2 to use. Typically the grass in our yards just turns
brown and goes dormant. Some plants like crabgrass, corn, and sugar cane have a special
modification to conserve water. These plants capture CO2 in a different way: they do an extra step
first, before doing the Calvin cycle. These plants have a special enzyme that can work better, even
at very low CO2 levels, to grab CO2 and turn it first into oxaloacetate, which contains four carbons.
Thus, these plants are called C4 plants. The oxaloacetate, which the CO2 is released from, is vital: it
is this CO2 that is put into the Calvin cycle. This is why crabgrass can stay green and keep growing
when all the rest of your grass is dried up and brown. (Adapted from http://biology.clc.uc.edu)
TEXT BUILDING: IMPLICATIONS AND
RELATIVES
•
In metal-based nanomaterials, free ion can be a determinant in the toxicity and
may be behind some apparently “particle-specific effects.”, Therefore (à because
of these implications we can conclude that) the contribution of free ion must
always be under control. However, particle-specific effects were also evident even
when the contribution of free ion was clearly determined (à new implications).
When speaking of particle-specific effects, internalization of nanoparticles seems
not always required to induce toxicity (à does not seem to always imply toxicity
induction). Therefore, it raises the question (à the conclusion raises a new
hypothesis/implication): Is internalization a prerequisite for particle-specific
toxicity or is just surface adsorption enough? A step forward from observation to
understanding (à a new implication) is required in this area. In addition, evidence
presented showed that media composition and coatings may influence or even
totally change (àmay imply a total changement) the intrinsic toxicity of the
nanomaterials. Therefore, further understanding of physical interactions and
speciation of nanomaterials at the bio-interfaces is necessary, which may shed
light on (àimplying a better understanding of) the definition of the “correct”
conditions to properly perform and understand results from exposure
experiments. (Adapted from Biophysical Interactions at the Bio-nano Interface: Relevance for Aquatic NanotoxicologyIsmael RodeaPalomares, Universidad de Alcalá, http://globe.setac.org/2014/june/basel-aquatic-nanotechnology.html)
EXERCISES
• Build up suitable statements and their truth table
according to the compounds below, then connect
them into a coherent text using basic strings,
logical connectives, implications, if clauses. Then
contextualize your discourse using relative
clauses. Choose as atomic propositions
something dealing with the scientific subject
relevant to your area.
• [p ⋀ (pàq)] à q
• P à (p ⋁ q)
• p ⋀ (⌐p ⋀ q)
EXAMPLE
(Compounding statements)
• ⌐ (p ⋁ ⌐q) à ⌐p
• If I neither get the spring Δl (dilatation) nor
the mass then I don’t get the Δl
• p=I get the Δl q=I don’t get the mass
p
q
⌐q
p ⋁ ⌐q
⌐ (p ⋁⌐q) ⌐p
⌐ (p ⋁ ⌐q) à ⌐p
0
0
1
1
0
1
1
0
1
0
0
1
1
1
1
0
1
1
0
0
1
1
1
0
1
0
0
1
TEXT BUILDING: EXERCISE
•
•
•
•
•
•
TITLE: The citric acid cycle (or Krebs’s cycle)
NOUNS: molecule, glucose, glycolysis, pyruvates, carbon, oxygen, carbon
dioxide, ATP, NADH, NAD+, cell, cytoplasm, acid, cycle, membrane,
mitochondria, cristae, matrix, oxidation, acetyl CoA, compound, enzymes,
proteins, oxaloacetic acid, ETC, ADP, ATP, FAD, FADH2.
VERBS: have, produce, oxidize, get oxidized, reduce, get reduced, be,
consider, clear off, get back, merge, react, bring, canalize, jump, call, know,
take place, occur, happen, start off, end up, split, get splitted.
CONNECTIVES if, if …then, so, so that, since (implied that/due to the fact
that), and, therefore.
RELATIVES: use which and where to give extra information and to supply
implications and omitted implicatures
HINT: create logical statements labelling pn and qn the elementary
statements, then connect them using the given connectives. You should
create a table before writing the text.
TEXT BUILDING: EXERCISE
•
•
•
•
•
•
•
p1= start with glucose molecule; q1= glycolysis splits glucose in a half; q2= end up
with pyruvates
If p1 then q1 (implication) and then q2 (logical connective with sequencing)
p1 à q1 à q2
A non-kernel relative clause (introduced by which/who) essentially focuses on
further implications and information: it needs be used in tutorials; sometimes in
papers or theses; it can be omitted in conversation where it works as an (untold)
implicature
If we start with a glucose molecule, (which is a 6-carbon molecule,)1 then it will get
splitted in half by glycolysis, (which is…)2, so that we end up with 2 pyruvates,
(which are 3-carbon molecules)3.
In this case ‘so that’ means ‘and then’, reinforcing the consequential point.
Notice that a further (untold) implication sets logically forth by the 2 relative
clauses, for glycolysis is the metabolic pathway converting glucose into pyruvates.
Relative clause 1 and 3, therefore, imply a possible relative clause 3, that would
have been redundant: it would have worked as a tautology.
TEXT BUILDING: a possible layout
•
If we started off with a glucose molecule (C6H12O6), which is a 6-carbon molecule, then we know it
would essentially get splitted in half by glycolysis, so that (=therefore)we would end up with 2
pyruvates (CH3COCOO−), which are 3-carbon molecules. This actually happens in glycolysis, in the
presence or in the absence of oxygen, so that we have a net payoff of 2 ATPs and 2 NADHs,
together with carbon dioxide emission. Glycolysis occurs in the cytoplasm of the cell. The citric acid
cycle (or Krebs’s cycle) takes place in the inner membrane, (which is) the inner space of the
mitochondria, (which is) a compartment inside the cristae (that separates it from the outer space),
which is known as matrix. The pyruvates are not quite ready for the Krebs’s cycle, since they are not
oxidized yet . The preparatory step for the Krebs’s cycle is indeed the pyruvates’ oxidation . It
essentially clears one of its carbons off the pyruvates, so that we end up with a 2-carbon
compound called acetyl CoA and also reduces some NAD+ to NADHs. Once we have the acetyl CoA
we are ready to jump into the citric acid cycle. The acetyl CoA is canalized by enzymes, which are
proteins that bring together the constituents in order for them to react in the right way. In this way
the acetyl CoA merges with oxaloacetic acid, which is a 4-carbon molecule, forming citric acid,
which is again a 6-carbon molecule. Then the citric acid gets oxidized, over a bunch of steps, to get
back to oxaloacetic acid, so that two carbons are once more cleared off forming carbon dioxide,
while some NAD+ gets reduced to NADHs, some ADP turns into ATP and some FAD gets reduced into
FADH2. We have exactly 3 NADHs x 2 (there are 2 pyruvates) = 6 NADHs (plus 2 from the
preparatory state), 2 ATPs and 2 FADH2. If we consider the glycolysis’s initial payoff, then we end up
with 4 ATPs, 10 NADHs and 2 FADH2, the latter being the inputs in the ETC (electrons transport
chain), where they get oxidized. Every NADH in this chain produces 3 ATPs, so the 10 NADHs will
produce 30 ATPs in the ETC, while the 2 FADH2 will produce 4 ATPs in the ETC. Therefore we end up
with 38 ATPs.
EXERCISES
• Choose any subjects of your area
• Create any p, q atomic statements
• Compound them using conjunctions,
disjunctions, negations, implications with
respect to the basic string
• Further compound them into a coherent and
cohesive text