The deduction theorem and ecology
Submitted to Ecological Modelling The deduction theorem is based primarily on the formula [A superset of (B superset of C)] superset of [(A superset of B) superset of (A superset of C)]. The fisheries of Newfoundland, Iceland, and west Greenland have three aspects, a first aspect of abundance of cod...
Main Author: | |
---|---|
Format: | Report |
Language: | English |
Published: |
2008
|
Subjects: | |
Online Access: | https://hdl.handle.net/1912/2167 |
id |
ftwhoas:oai:darchive.mblwhoilibrary.org:1912/2167 |
---|---|
record_format |
openpolar |
spelling |
ftwhoas:oai:darchive.mblwhoilibrary.org:1912/2167 2023-05-15T16:30:31+02:00 The deduction theorem and ecology Hulburt, Edward M. 2008-04-11T19:20:28Z application/pdf https://hdl.handle.net/1912/2167 en_US eng https://hdl.handle.net/1912/2167 Deduction Induction Principle of Extensionality Contraposition Equivalence Constructive dilemma Truth value analysis Preprint 2008 ftwhoas 2022-05-28T22:57:28Z Submitted to Ecological Modelling The deduction theorem is based primarily on the formula [A superset of (B superset of C)] superset of [(A superset of B) superset of (A superset of C)]. The fisheries of Newfoundland, Iceland, and west Greenland have three aspects, a first aspect of abundance of cod or herring, aspect A, a second aspect of overfishing or overfishing plus hydrographic change, aspect B, and a third aspect of collapse of the cod-herring fishery or shift to shrimp, aspect C. Each aspect implies, connects to the next either in [A superset of (B superset of C)] sequence or in the [(A superset of B) superset of (A superset of C)] double sequence. The Mississippi River system has three parts, the drainage area of the inner U.S.A., part A, the plankton-rich, low salinity plume to the west of the Mississippi delta, part B, and the oxygen-depleted near-bottom layer of the plume, part C. These parts are connected, as shown by the implication connective, superset of . There are two indirect applications of the deduction theorem. The first is three aspects of hotspots, each hotspot being a region having a set of many indigenous species and having set of endangered species, the two sets being identical by having all the same species (the principle of extensionality). The second indirect application is three logically valid formulas that describe most of the natural world. A is contraposition, an example of which is: a vertebrate is adapted to year-round temperate temperature if it is functional (active) year-round; if and only if a vertebrate is not adapted to year-round temperate temperature only if it is not functional (not active) year-round. B is equivalence, an example of which is: if a North American bird species is adapted to its area, then its area is adapted to it, and if its area is adapted to the species, then the species is adapted to its area – equivalent to: species is adapted to area if and only if area is adapted to species. C is constructive dilemma, an example of which is: all insects are ... Report Greenland Iceland Newfoundland Woods Hole Scientific Community: WHOAS (Woods Hole Open Access Server) Greenland |
institution |
Open Polar |
collection |
Woods Hole Scientific Community: WHOAS (Woods Hole Open Access Server) |
op_collection_id |
ftwhoas |
language |
English |
topic |
Deduction Induction Principle of Extensionality Contraposition Equivalence Constructive dilemma Truth value analysis |
spellingShingle |
Deduction Induction Principle of Extensionality Contraposition Equivalence Constructive dilemma Truth value analysis Hulburt, Edward M. The deduction theorem and ecology |
topic_facet |
Deduction Induction Principle of Extensionality Contraposition Equivalence Constructive dilemma Truth value analysis |
description |
Submitted to Ecological Modelling The deduction theorem is based primarily on the formula [A superset of (B superset of C)] superset of [(A superset of B) superset of (A superset of C)]. The fisheries of Newfoundland, Iceland, and west Greenland have three aspects, a first aspect of abundance of cod or herring, aspect A, a second aspect of overfishing or overfishing plus hydrographic change, aspect B, and a third aspect of collapse of the cod-herring fishery or shift to shrimp, aspect C. Each aspect implies, connects to the next either in [A superset of (B superset of C)] sequence or in the [(A superset of B) superset of (A superset of C)] double sequence. The Mississippi River system has three parts, the drainage area of the inner U.S.A., part A, the plankton-rich, low salinity plume to the west of the Mississippi delta, part B, and the oxygen-depleted near-bottom layer of the plume, part C. These parts are connected, as shown by the implication connective, superset of . There are two indirect applications of the deduction theorem. The first is three aspects of hotspots, each hotspot being a region having a set of many indigenous species and having set of endangered species, the two sets being identical by having all the same species (the principle of extensionality). The second indirect application is three logically valid formulas that describe most of the natural world. A is contraposition, an example of which is: a vertebrate is adapted to year-round temperate temperature if it is functional (active) year-round; if and only if a vertebrate is not adapted to year-round temperate temperature only if it is not functional (not active) year-round. B is equivalence, an example of which is: if a North American bird species is adapted to its area, then its area is adapted to it, and if its area is adapted to the species, then the species is adapted to its area – equivalent to: species is adapted to area if and only if area is adapted to species. C is constructive dilemma, an example of which is: all insects are ... |
format |
Report |
author |
Hulburt, Edward M. |
author_facet |
Hulburt, Edward M. |
author_sort |
Hulburt, Edward M. |
title |
The deduction theorem and ecology |
title_short |
The deduction theorem and ecology |
title_full |
The deduction theorem and ecology |
title_fullStr |
The deduction theorem and ecology |
title_full_unstemmed |
The deduction theorem and ecology |
title_sort |
deduction theorem and ecology |
publishDate |
2008 |
url |
https://hdl.handle.net/1912/2167 |
geographic |
Greenland |
geographic_facet |
Greenland |
genre |
Greenland Iceland Newfoundland |
genre_facet |
Greenland Iceland Newfoundland |
op_relation |
https://hdl.handle.net/1912/2167 |
_version_ |
1766020239059845120 |