Englebretsen 1996 Old New 2005 Peirce on Signs W8 Figuring It Out

Chance Love Logic Phil Math Math 2 Math 4 EP 2

Logic of the Future V1  Logic of the Future V2/1  Logic of the Future V2/2  Logic of the Future V3  Logic of the Future V3/2 

Logical Research Inspired by: "On a New List of Categories"

TFL (Term Functor Logic/Traditional Formal Logic) Bibliography

ENGLEBRETSEN, George.
1971.	"On the Nature of Sommers' Rule", Mind 80.320 (Oct 1971), 608-611.

1971a.	"The Incompatibility of God's Existence and Omnipotence", Sophia 10: 28-31.

1971b.	"Sommers' Theory and the Paradox of Confirmation", Philosophy of Science 38.3 (Sep 1971): 438-41.

1972.	"Sommers on Empty Domains and Existence", Notre Dame Journal of Formal Logic, 13.3 (July 1972): 350-58.

1972a. "True Sentences and True Propositions", Mind 81.323 (July 1972): 451-452.

1972b.	"Persons and Predicates", Philosophical Studies 23.6 (Dec 1972): 393-99.

1972c.	"Vacuosity", Mind 81.322 (April 1972): 273-275.

1973.	"The Logic of Negative Theology", The New Scholasticism 67: 226-32.

1974.	"A Note on Contrariety", Notre Dame Journal of Formal Logic, 15.4 (October 1974): 613-14.

1974a.	"The Tortoise, The Turtle, and Deductive Logic", Jabberwocky, Issue 19 (Summer 1974 [v. 3, no. 3]): 11-13.

1975. 	Speaking of Persons. Canadian Association for Publishing in Philosophy (Halifax and Toronto: Dalhousie University Press, 1975). TWU Library: BD331.E57

1975a.	"Sommers' Proof that Something Exists", Notre Dame Journal of Formal Logic, 16.2 (April 1975): 298-300.

1975b.	Letter on "Shoelaces used by Lewis Carroll", Jabberwocky, Issue 23 (Summer 1975 [v. 4, no. 3]): 81.

1976.	"The Square of Opposition", Notre Dame Journal of Formal Logic, 17.4 (October 1976): 531-541.

1976a.	"Lewis Carroll and the Logic of Negation", By George Englebretsen, Nora Gilday, Jabberwocky, Issue 26 (Spring 1976 [v. 5, no. 2]): 42-45.

1976b.	"A Note of the Sense of Jabberwocky", Jabberwocky, Issue 27 (Summer 1976 [v. 5, no. 3]): 93-94.

1978.	"Aristotle on the Subject of Predication", Notre Dame Journal of Formal Logic, Volume XIX, Number 4 (October 1978): 614-616.

1979.	"Notes on the New Syllogistic", Logique et Analyse 22.85-86: 111-20.

1980.	"On Propositional Form", Notre Dame Journal of Formal Logic, 21.1 (January 1980): 101-110.

1980a.	"Noncategorical Syllogisms in the Analytics", Notre Dame Journal of Formal Logic, 21.3 (July 1980): 602-608.

1980b.	"Singular Terms and the Syllogistic", The New Scholasticism 54: 68-74.

1981a.	Three Logicians: Aristotle, Leibniz, and Sommers and the Syllogistic (Assen: Van Gorcum).

1981b.	Logical Negation (Assen: Van Gorcum).

1981c.	"A Journey to Eden: Geach on Aristotle", Grazer Philosophische Studien 14: 133-141.

1981d.	"A Further Note on a Proof by Sommers", Logique et Analyse 94: 271-72.

1982. "Do We Need Relative Identity?", Notre Dame Journal of Formal Logic, Volume 23, Number 1 (January 1982): 91-93.

1982a.	"Aristotle and Quine on the Basic Combination", The New Scholasticism 56: 244-249.

1982b.	"Aristotle on the Oblique", Philosophical Studies (IRL) 29: 89-101.

1982c.	"Leibniz on Logical Syntax", Studia Leibnitiana 14.1: 119-126.

1982d.	"Natural Syntax, Logical Syntax, and Translation", Australian Logic Teachers Journal 6: 8-14.

1983.	"Lewis Carroll on Logical Quantity", Jabberwocky, Issue 54 (Spring 1983 [v. 12, no. 2]): 39-41.

1984.	"Carrollian Things", Jabberwocky, Issue 60 (Autumn 1984 [v. 13, no. 4]): 96-100.

1984a. 	"Opposition", Notre Dame Journal of Formal Logic, 25.1 (January 1984): 79-85.

1984b.	"Quadratum Auctum", Logique et Analyse 107: 309-25. Reprinted in Englebretsen (ed.) 1990a: 133-47.

1984c.	"Feldman and Sommers on Leibniz's Law", Dialogos 43: 91-96.

1984d.	"Logical Structure and Natural Syntax", Journal of Social and Biological Structures 7: 219-234.

1985a.	"Geach on Logical Syntax", The New Scholasticism 59: 177-184.

1985b. "On the Proper Treatment of Negative Terms", Journal of Critical Analysis 8: 109-115.

1985c. "Negative Names", Philosophia 15: 133-136.

1985d. "Defending Distribution", Dialogos 45: 157-159.

1985e. "Quine on Aristotle on Identity", Critica 17: 65-68.

1985f. "Logical Primitives", Indian Philosophical Quarterly 12: 371-380. 

1985g. "Semantic Considerations for Sommers' Logic", Philosophy Research Archives 11: 281-318.

1986.	"A Note on Carroll, Wittgenstein and Nonsense", Jabberwocky, Issue 65 (Winter/Spring 1986 [v. 15, nos. 1 & 2]): 19-20.

1986a. "Singular/General", Notre Dame Journal of Formal Logic, 27.1 (January 1986): 104-107.

1986b.	"Czezowski on Wild Quantity", Notre Dame Journal of Formal Logic 27: 62-65.

1986c.	"On Some Alleged Semantic Correlations", The New Scholasticism 60: 490-500.

1986d.	"A Note on Truth and Existence in Leibniz", Manuscrito: Revista Internacional de Filosofia 9: 7-9.

1987.	"Negative Names", Philosophia 15 (1985): 133-136.

1987a.	(ed.) The New Syllogistic (New York and Bern: Peter Lang).

1987b.	"Subjects", Studia Leibnitiana 19.1: 85-90.

1988.	"Are Some Pigs Pink? Geach on Carroll", Jabberwocky, Issue 69 (Winter/Spring 1988 [v. 17, nos. 1 & 2]): 8-10.

1988a.	"Preliminary Notes on a New Modal Syllogistic", Notre Dame Journal of Formal Logic, 29.3 (Summer 1988): 381-395.

1988b.	"A Note on Leibniz's Wild Quantity Thesis", Studia Leibnitiana 20.1: 87-89.

1988c.	"La Théorie Des Catégories De Sommers: Une Nouvelle Introduction", Dialogue 27: 451-473.

1989.	"Formatives", Notre Dame Journal of Formal Logic, 382-89.

1989a.	"It Was His Own Invention: Carroll on Cancellation", Jabberwocky, Issue 72 (Summer/Autumn 1989 [v 18, nos. 3 & 4]): 27-31.

1989b.	Review of "The Logic of Sense by Gilles Deleuze", Jabberwocky, Issue 72 (Summer/Autumn 1989 [v 18, nos. 3 & 4]): 43-45.

1990a.	(ed.) Essays on the Philosophy of Fred Sommers: In Logical Terms (Lewiston: Edwin Mellen Press). 

1990b.	"A Note on Copulae and Qualifiers", Linguistic Analysis 20: 82-86.

1990c.	"Cartesian Syntax", Philosophical Inquiry 12: 59-64.

1990d.	"On the Logic of Phrasal Conjunctions", in Englebretsen ed. 1990a: 151-58.

1990e.	"The Myth of Modern Logic", Cogito 4: 150-158.

1992. 	"Linear Diagrams for Syllogisms (with Relationals)", Notre Dame Journal of Formal Logic, 33.1 (Winter 1992): 37-69.

1993/94. "The Properly Victorian Tortoise", Jabberwocky, Issue 85 (Winter 1993/94 [v. 23, no. 1]), 12-13.

1996.	Something to Reckon With: The Logic of Terms (Ottawa, Ontario: University of Ottawa Press).

1996a.	Review of Sun-Joo Shin, The Logical Status of Diagrams (Cambridge University Press, 1995), in Modern Logic, 6.3 (July 1996): 322-330.

1997a.	"The Unifying Copula", Logique et Analyse 159: 255-259.

2000.	"Two Important Logical Insights by Lewis Carroll", in Fernando J. Soto (ed.), Reflections on Lewis Carroll (Shelburne: The Lewis Carroll Society of Canada).

2000a.	"Preliminaries for a Term-Functor Logic", in M. Böttner and W. Thümmel (eds.), Variable-Free Semantics (Osnabrück: Secolo-Verlag), 90-99.

2001a.	"Protagoras and Humanism", Humanist in Canada 138: 14-15.

2002.	"Syllogistic: Old Wine in New Bottles", History and Philosophy of Logic 23: 31-35.

2007.	"Teaching Algebraic Term Logic", APA Newsletter 7.1 (Fall 2007): 12-16. .

2010.	"The dodo and the DO: Lewis Carroll and the Dictum de Omni", The Carrollian, Issue 25 (Spring 2010): 29-37.

2012.	Robust Reality: An Essay in Formal Ontology (Ontos).

ENGLEBRETSEN, George, and Charles SAYWARD.
2011.	Philosophical Logic: An Introduction to Advanced Topics (London and New York: Continuum).

ODERBERG, David (ed.)
2005.	The Old New Logic (Cambridge, MA: M.I.T. Press).

SOMMERS, Frederic Tamler (1 January 1923-2014 October 2).
1959.	"The Ordinary Language Tree", Mind 68 (1959): 160-85.

1963a.	"Types and Ontology", Philosophical Review 72 (1963): 327-363. Reprinted with minor corrections in Peter Frederick Strawson (ed.), Philosophical Logic (Oxford: Oxford University Press, 1967), 138-169, and in Dale Jacquette (ed.), Philosophy of Logic. An Anthology (Oxford: Basil Blackwell, 2002), 103-119.

1963b.	"Meaning Relations and the Analytic", Journal of Philosophy 60.18 (29 Aug 1963): 524-34. Stable URL: http://www.jstor.org/stable/2023763

1964.	"Truth-functional Counterfactuals", Analysis Supplement 24 (1964): 120-126.

1964a.	"A Program for Coherence", Philosophical Review 73 (1964): 522-7.

1965.	"Truth Value Gaps: A Reply to Mr. Odegard", Analysis 25 (1965): 66-68.

1965a.	"Predicability", in M. Black (ed.), Philosophy in America (Ithaca: Cornell University Press, 1965), 262-81.

1966.	"Why is There Something and not Nothing?" Analysis 26 (1966): 177-181.

1966a.	"What We Can Say About God", Judaism 15 (1966): 61-73.

1967.	"On a Fregean Dogma", in I. Lakatos (ed.), Problems in the Philosophy of Mathematics (Amsterdam, North Holland: North Holland Publishing), 47-81.

1969.	"Do We Need Identity?", Journal of Philosophy 66.15 (7 Aug 1969): 499-504. Stable URL: http://www.jstor.org/stable/2024565

1969a.	"On Concepts of Truth in Natural Languages", The Review of Metaphysics 23.2 (Dec 1969): 259-286.

1970.	"The Calculus of Terms", Mind 79.313 (Jan 1970): 1-39. Reprinted in Englebretsen 1987a: 11-56.

1970/1. "Confirmation and the Natural Subject", Philosophical Forum 2 (1970/71): 24: 5-50.

1971.	"Structural Ontology", Philosophia 1 (1971): 21-42.

1973b.	"Existence and Predication", in M. K. Munitz (ed.), Logic and Ontology (New York: New York University Press, 1973): 159-74.

1973a.	"The Logical and the Extra-Logical", Boston Studies in the Philosophy of Science 14 (1973): 235-52.

1975.	"Distribution Matters", Mind 84.333 (Jan 1975): 27-46.

1976a.	"Frege or Leibniz?" in Matthias Schirn (ed.), Studies on Frege. Logic and Semantics (Stuttgart-Bad Cannstatt: Frommann-Holzboog), 11-34.

1976b.	"Logical Syntax in Natural Language", in A. MacKay and D. Merrill (eds.), Issues in the Philosophy of Language (New Haven, Conn: Yale University Press, 1976), 11-42.

1976c.	"On Predication and Logical Syntax", in A. Kasher (ed.), Language in Focus (Dordrecht: D. Reidel, 1976), 41-53.

1976d.	"Leibniz's Program for the Development of Logic", in Essays in Memory of Imre Lakatos. Boston studies in the philosophy of science Vol. 39, edited by Cohen, Robert, Feyerabend, Paul and Wartofsky, Marx (Dordrecht: Reidel Publishing Company), 589-615. 

1978a.	"The Grammar of Thought", Journal of Social and Biological Structures 1: 39-51.

1978b.	"Dualism in Descartes: The Logical Ground", in Descartes: Critical and Interpretative Essay, edited by Hooker, Michael (Baltimore: John Hopkins University Press), 223-33.

1981.	"Are There Atomic Propositions?" in Midwest Studies in Philosophy. Volume VI. The Foundations of Analytic Philosophy, edited by French, Peter, Uehling, Jr. Theodore E. and Wettstein, Howard (Minneapolis: University of Minnesota Press), 59-68.

1982.	The Logic of Natural Language (Oxford: Clarendon).

1983.	"Linguistic Grammar and Logical Grammar", in How Many Questions? Essays in Honor of Sidney Morgenbesser, edited by Cauman, Leigh, Levi, I., Parsons, Charles and Schwartz, R. (Indianapolis: Hackett Publishing Co.), 180-94.

1983b.	"The Logic of Natural Language: A Reply to Geach", Times Literary Supplement, Issue 4163 (14 January): 36. 

1983c.	"The Logic of Natural Language: A Further Reply to Geach", Times Literary Supplement, Issue 4168 (18 February): 159.

1983d.	"The Grammar of Thought: A Reply to Dauer", Journal of Social and Biological Structures 6: 37-44.

1987.	"Truth and Existence", in Englebretsen 1987a: 299-304.

1990.	"Predication in the Logic of Terms", Notre Dame Journal of Formal Logic 31.1 (Winter 1990): 106-126.

1993.	"The World, the Facts, and Primary Logic", Notre Dame Journal of Formal Logic 34.2 (Spring 1993): 169-182.

2000.	"Term Functor Grammars", in M. Böttner and W. Thümmel (eds.), Variable-Free Semantics (Osnabrück: Secolo-Verlag), 68-89.

2002.	"On the Future of Logic Instruction", APA Newsletter 1.2 (Spring 2002): 176-180. .

SOMMERS, Frederic Tamler, and George ENGLEBRETSEN.
2000.	An Invitation to Formal Reasoning (Aldershot, UK: Ashgate Press).

Tim Button and P.D. Magnus, forallx:Cambridge - An Introduction to Formal Logic (Sep 22, 2018)

Tim Button, Metatheory (Sep 22, 2018)

Christopher S. Morrissey, forallx:–YXX+(Aristotelian+Term+Logic+edition) (Jan 7, 2020)

ISBN 978-7565135774 

Socratic Logic Advanced

Four Ages Perplexed Signs

Sets Incompleteness Boxes

Proof What If Open Set




Logic Textbooks: forallx-yyc and Open Logic Project


Carnap The Principia Rewrite