• Is the real world fair and just?
    That said, I think there is a way of parsing the quoted statement that makes sense: 'The idea of a self co-arises with the idea of a world'. Both ideas are inherently vague—we never actually encounter a whole self, or a whole world.Janus
    "The conscious self is a construction that arises in the dialectical process that is a world-making" is the sort of text against which Russell and Moore rebelled, Russell appealing to the newly formalised logic and Moore to common sense.


    (Which do you prefer, "The conscious self is a construction that arises in the dialectical process that is a world-making" or "Here is a hand"?
  • Is the real world fair and just?
    Think about it this way: if you became convinced that all of the Dialectic was in error, would that change your view of what ought be done?

    So what is it that dialectic does?



    Edit:
    ...if nothing is working then "making stuff up" is a necessity to continue.Moliere
    Quite a good point. My question is only partly facetious. Metaphysics does seem to play a sort of background role in our actions, somewhat like a catechism.
  • Is the real world fair and just?
    ↪Banno If you don't take a metaphysical position then you haven't put your faith in anything. I also try to avoid taking any metaphysical position.Janus

    Yep. Apo, Way and Moli are all attempting to answer the Big Questions with various stories. Much easier to point out the problems with their accounts, in my smug critical fashion, "setting myself up as the judge" - as if there were any alternative. (Choosing someone else to be the judge is itself making a judgement).

    While the attempt might be admirable, and I have sympathy for each, none of them quite work.

    "The conscious self is a construction that arises in the dialectical process that is a world-making" could be a quote from Edward Caird or T.H. Green.
  • Can we reset at this point?
    @Jamal, I'm having visions of the forums being overtaken by the self-replicating grey goo of misnamed threads concerning 0.9999....

    ...if the moderators are friendlyalan1000
    Let's hope they are not.
  • Can we reset at this point?
    I've used that word twice already this morning... Seems to be the word of the day. Perhaps age has given me a better understanding of its meaning.
  • Is the real world fair and just?
    The conscious self is a construction that arises in the dialectical process that is a world-making.
    — apokrisis

    :100:
    Wayfarer

    You see, I don't think that this comment says anything. At least, not clearly.

    Perhaps, , I do lack faith. I'm not convinced that's a bad thing.
  • Is the real world fair and just?
    Hmmm. I write a post explaining how dialectic invites confabulate, and get and in reply.
  • Can we reset at this point?
    we'll have to trust Chat GPT.T Clark

    Even though it is right, its authority cannot be assumed. It confabulates.
  • What can we say about logical formulas/propositions?
    Not following you here - there is more to clarity, and to logic, than just syntax.
  • What can we say about logical formulas/propositions?
    ...if what Aristotle does in Metaphysics IV is correct, then there is a logical law that cannot be breached, namely the law of non-contradiction.Leontiskos

    To which the dialetheist may simply say "so much for Aristotle".

    Since Aristotle, the assumption that consistency is a requirement for truth, validity, meaning, and rationality, has gone largely unchallenged. Modern investigations into dialetheism, in pressing the possibility of inconsistent theories that are nevertheless meaningful, valid, rational, and true, call that assumption into question. If consistency does turn out to be a necessary condition for any of these notions, dialetheism prompts us to articulate why; just by pushing philosophers to find arguments for what previously were undisputed beliefs it renders a valuable service... And if consistency turns out not to be an essential requirement for all theories, then the way is open for the rational exploration of areas in philosophy and the sciences that have traditionally been closed off.Dialetheism, SEP
  • Is the real world fair and just?
    I really can't blame him for this because I don't think a cogent (consistent and compete) ontologically is possible.Janus
    Perhaps not, but we could go for at least consistency. I'm not keen on faith... depending on how it is understood.
  • Is the real world fair and just?
    the world and mind are co-arisingWayfarer

    Ok, whereas I - and perhaps @apokrisis - take mind to arise within the world.
    ...whatever we consider to be real has a subjective as well as objective groundingWayfarer
    Do you see how this crosses from the epistemic to the ontic, in the way I tried to encapsulate using cake?
  • Is the real world fair and just?
    Like you I am not enamoured with a simple division into ontic and epistemic versions of idealism.
  • Is the real world fair and just?
    A bit more on dialectic. A contradiction leads to explosion, as explained. Dialectic bases itself on contradiction, where "opposite sides" lead to a "speculative mode of cognition".

    I would like to place some emphasis on the second criticism I offered above, that " even if we supose that dialectic does not breach non-contradiction, the result is not clear."

    In Hegel the first moment, of "understanding", gives way to the instability of the second moment, the "negatively rational", and thence to the third moment, the "speculative" or "positively rational".

    But somewhat notoriously, what that third moment consist in remains quite undetermined. Just as from a contradiction, anything follows.

    This is close to Popper's criticism, that dialectic is unfalsifiable.

    In effect dialectic provides the opportunity to invent a just-so story in support of your preferred third moment, by choosing your first and second. But such a method can explain anything, and so ends in explaining nothing.

    Now this is a quite general criticism, and so needs to be explicated in some detail in particular cases, but more often than not it is possible to see in a writer's use of dialectic how they first reach their conclusion and then work backwards to the explanation using the dialectic. So in Hegel, The Prussian Court is the inevitable outcome of history, while for Marx, Communism is not so much deduced using dialectic, as justified.

    Similar things occur elsewhere.
  • Is the real world fair and just?
    Cheers. Might leave the idealism line where it is, unless it becomes salient. Except that I will point out that the argument above applies to ontic idealism generally, showing how it leads to solipsism.

    Both the is/ought and the hard problem are to do with intentionality, but though related they are not the very same issue. In both cases there is the aspect of our bringing about various states of affairs, including the way we see the world.
  • Is the real world fair and just?
    Your use of the Cake metaphor sounds like you think it's a bad (magical?) idea to try to have it both waysGnomon
    This was perhaps partially answered by the stuff about dialectic. My worry is that @Wayfarer argues for what he calls epistemic idealism when talking to me, yet a form of ontic idealism when talking to other folk. To his credit he's addressing the tension here between beliefs and world. There is perhaps little difference between what he says and what I say, apart from where we place the emphasis - he on the beliefs, but I on the reality.
  • Is the real world fair and just?
    We could do that again, but it's sunny... :wink:

    Those three puzzles are more of a problem for solipsism than idealism. But I think you think that idealism readily collapses into solipsism. Is that right?bert1

    Long ago, in a previous forum, there was a long debate concerning the chairs at the end of the universe...

    Another debate. What fun! How pleasing to have a forum that allows such things. Thanks, Busy, for setting this up; your time is appreciated. Thanks also to Landru, for agreeing to meet here.

    This topic comes from a thread that I started just last week, and which in that short time has boomed to over seven hundred posts. A hundred a day.

    As things stand I simply cannot give the time needed for such a thread. My reading was encumbered by the sheer speed of posting. My slow old head could not make the signal out from the noise.

    So I am pleased that one of the more erudite defenders of anti-realism has agreed to spend some time pondering my puzzlement, perhaps to help me understand what is going on here.

    To start, I will repeat the opening post from the thread mentioned above. It’s about a problem I have in understanding how ontological idealism avoids being solipsistic.

    So, apparently the idea is that a kettle is not a kettle, but is experiences-of-kettle. We might talk of kettles as if they are things, but the more sophisticated of us ought understand that what we call a kettle is no more than one’s experiences. Although we pretend that the thing is a kettle, one cannot separate the kettle from the self that is doing the experiencing. What there is, is the experience of kettle.

    What happens here is that the individual kettle dissipates, becoming instead a relation between experience and the self. The boiling kettle becomes my experience of the kettle, my experience of hot water; So the self becomes central to every such account. All I can know is the experience, never the really, really kettle. For all that I might infer or induce about the kettle, all there is, is my experiences.

    What bothers me is that having placed the experiences had by the self at the centre of the universe, how does one avoid there only being one’s self?

    What about you? There is my experience-of-you. If I am to be consistent in applying this ideal approach, what more is there of you than my experiences of you? That’s what you are. You become my experience of you.

    All I can know is the experience of the kettle. There is no kettle apart from these experiences. For all that I might infer or induce about the kettle, all there is, is my experiences.

    But if this is so, then surely all I can know is the experience of you. There is no you apart from these experiences. For all that I might infer or induce about you, all there is, is my experiences.

    Hence, if one is consistent, one must accept some form of solipsism.

    It will not do to claim that other people are also selves. One cannot experience the self of another, just as one cannot experience the “transcendent reality’ of a kettle. If one is entitled to induce that other people have a reality beyond one’s experience, one is also surly entitle to induce that kettles have a reality beyond experience. If one denies reality beyond experience, then one denies it for both people and kettles.

    So demanding a reality beyond experience for other people, but not for the objects of the world in which we find both them and ourselves embedded, would appear to be no more than special pleading.

    I hope, Landru, that you can help me with this. How does idealism avoid solipsism?
    — Banno

    But few here would remember @Landru Guide Us...
  • Is the real world fair and just?
    Basically I agree that the dialectic doesn't have "to worry" about the PNC in the sense that it's philosophically legitimate.Moliere

    The result of contradiction in classical logic is not just vague - it's quite literally anything.

    (p ^ ~p)⊃q. From a contradiction, anything goes. That is, if we allow contradiction then everything is both true and false, and we cannot explain anything. There are various systems of paraconsistent logic that accomodate or mitigate explosive results, so I won't rule out some form of dialectic, but I won't rule it in, either. (see what I did there...?)
  • Is the real world fair and just?
    This would make more sense if we paid attention to the dichotomistic manoeuvre involved.apokrisis
    While dialectic has a certain appeal, I'm not as enamoured by it as you. I see two major issues. First, and most obviously, in classical logic asserting something and its negation leads to contradiction, not to some third option. Priest and others have addressed this wonderfully by playing with the law of non-contradiction, developing some intriguing alternatives. But it remains that the sort of contradiction seen in dialectic is not the sort of contradiction found in formal logic. What a dialectic contradiction is remains, I think, ambiguous

    And secondly, even if we supose that dialectic does not breach non-contradiction, the result is not clear. Given the Principle of Explosion, anything could follow from a contradiction, so given a thesis and an antithesis, the nature of the resulting synthesis is far from fixed.

    So I would rather not glorify dialectic by calling it a "logic".

    The task is to build ourselves as beings with the agency to be able to hang together in an organismic fashion.apokrisis
    Why?

    That "ought" thing, again.
  • What can we say about logical formulas/propositions?
    Logic isn't a replacement for natural languages. Nor is it a set of rules for how one ought construct arguments. This was part of the subject of my thread Logical Nihilism, and the work of Gillian Russell.

    in English, there is no lexical distinction between inclusive-or and exclusive-or, but A∨B is inclusive-or, meaning the result is also True if both are True.Lionino
    So what logic does in this case is to set out explicitly two ways of using "or" of which we were probably unaware. After understanding this we are able to say clearly whether we are using an exclusive or an inclusive "or". Prior to that logical analysis, we were probably unaware of the distinction, let alone which we were using.

    So logic here is setting up a degree of precision that can carry over into natural languages. It's acting as a tool to make clear what it is we are doing with our sentences.

    It's a mistake to think that there are laws of logic that have complete generality - and must be obeyed in all circumstances. Rather logic sets out sub-games within language, with their own specific rules. Natural languages permit the breaking of the rules of any of these sub-games.

    Take a look at these examples from Russell. ϑ ⊧ ϑ and ϑ & ϒ ⊧ ϑ might seem to be candidates for logical laws one might expect to have complete generality.

    Identity: ϑ therefore ϑ;: a statement implies itself. But consider "this is the first time I have used this sentence in this paragraph, therefore this is the first time I have used this sentence in this paragraph"

    Elimination: ϑ and ϒ implies ϑ; But consider "ϑ is true only if it is part of a conjunction".

    Logic sets up systems in which some things can be said and others are ruled out, but natural language is far broader than that, allowing for the breach of any such rule.

    Logic doesn't give us a crystalline replacement for natural languages. But it can set out clearly what it is we are doing with our statements.
  • Is the real world fair and just?
    ThanksWayfarer
    Cheers.

    I am versed in anglo philosophy, with its emphasis on critique. It's not sufficient to learn about Buddhism or scientism, they must also be subject to analysis, which is roughly to see how consistent and complete they might be. But having said that it remains possible that any inconsistency I see is not apparent to those who are better versed. The trick then is to explain such inconsistency.

    You are probably aware already of my disregard for the Kantian notion of the thing in itself. I can't see how to make sense of it in a way that enables it to be useful. If there is a way that things are that is outside of our comprehension, then it is irrelevant to that comprehension. The only practical consequence can be a nod to the mysterious, and silence. We cannot access "the world as it is in itself", not because it represents some profound fact about the world and our relation to it, but because the thing-in-itself is a useless metaphysical construct.

    It is apparent that there is a distinction between what we believe and how things are. This distinction explains both how it is possible that we are sometimes wrong about how things are, and how we sometimes find novelties. In both cases there must be a difference between what we believe is the case, and what is the case. We modify what we believe so as to remove error and account for novelty; which is again to seek a consistent and complete account.

    The "we" here is intentional. What is so loosely labeled "experience" only takes place in a mind and brain embedded in a community. There simply is no way to remove our communality, and any account that does not take this into consideration starts broken. It's not you looking out the window, but us. Something to be acknowledged if we would take into account the "experience of looking".

    So there is a manifest difference between the way things are and the way we believe that they are. Yet we are, as you point out, "participants, moral agents, in our own lives", so to this we must add a difference between the way things are and the way we want them to be. It's this difference that is relevant to 's question. "Fair and just" is not found in the way things are so much as the way we want them to be.

    I asked ChatGPT...Wayfarer
    Et tu? I can't accept GPT as authoritative. In any case, if your idealism claims that the world is inherently mental, it must respond to the three puzzles - other people, that we are sometimes wrong, and novelty. If your idealism claims only that our beliefs are mental, it misses the relation between the world and what we believe.

    I can't help but contrast your response to me and your response to @Gnomon, here: . Analytical Idealism is not, so far as I can make out, a form of Epistemological idealism. So again, you seem to me to want your cake and to eat it, by answering issues I raise from the point of view of Epistemological idealism while answering issues others raise from the point of view of ontological idealism.
  • Is the real world fair and just?
    it is empirically true that the Universe exists independently of any particular mind.
    Take this as granted.
    But what we know of its existence is inextricably bound by and to the mind we have
    We can grant the point that we only know things with our minds.
    and so, in that sense, reality is not straightforwardly objective.
    Reality is just what is the case. It is neither subjective nor objective, it just is.
    It is not solely constituted by objects and their relations.
    Neither here nor there.
    Reality has an inextricably mental aspect, which itself is never revealed in empirical analysis.
    This has not been demonstrated. What has been shown is that what we know "has an inextricably mental aspect".
    Whatever experience we have or knowledge we possess, it always occurs to a subject...
    What we experience and know, is about reality, but is not the whole of reality.
    — a subject which only ever appears as us, as subject, not to us, as object.
    Indeed, what we know is mental, but that does not imply that the world is mental...

    The argument attempts to show that the world is partially mental, but only succeeded in showing that the what we say about the world is "mental".

    That is, the argument presented here does not demonstrate it's conclusion.

    Compare this with my own response to
    Fairness is not something we come across in the world.

    It's something we do in the world.
    Banno

    Which if nothign else has the advantage of not being dependent on collapsing wave functions.
  • Is the real world fair and just?
    I admire @Wayfarer's work, and that he and I agree on a great many things. In particular we both have a distrust of scientism, as well as the sort of speculative physics that is neither good physics nor good philosophy.

    And I agree that there is a division here that needs acknowledgement. For Way, it is the difference between the world and mind. For me, it is the difference between how things are and how they ought be.

    Perhaps an analogy will help. In a corporate body, understanding the way things are is a job for the bottom level of management. Middle management at best looks at how to get what the corporation wants. But deciding what the corporation wants happens at the top. It is a far more difficult issue than simply describing how things are.

    (Unfortunately those in charge of deciding what corporations want usually grossly simplify the problem by saying "more profit", thus denying their place and rendering themselves mere Apparatchik.)
  • Is the real world fair and just?
    Reality "exists independently of any particular mind" yet " has an inextricably mental aspect".

    Again, you mix two quite different things - the world, and what we say about it,

    Yes, reality exists independently of any particular mind. But what we say about reality is inextricably dependent on us.

    These are two quite different things.

    "Put another way"?
  • Is the real world fair and just?
    Here:
    Hence there is no need for me to deny that the Universe is real independently of your mind or mine, or of any specific, individual mind. Put another way, it is empirically true that the Universe exists independently of any particular mind. But what we know of its existence is inextricably bound by and to the mind we have, and so, in that sense, reality is not straightforwardly objective. It is not solely constituted by objects and their relations. Reality has an inextricably mental aspect, which itself is never revealed in empirical analysis ¹. Whatever experience we have or knowledge we possess, it always occurs to a subject — a subject which only ever appears as us, as subject, not to us, as object. — The Mind–Created World
    " ...it is empirically true that the Universe exists independently of any particular mind."
    yet
    "...its existence is inextricably bound by and to the mind we have"
  • Is the real world fair and just?
    He wants his cake and to eat it.
  • Wittgenstein, Cognitive Relativism, and "Nested Forms of Life"
    I'll let A.C. Grayling describe this one:Count Timothy von Icarus
    Where? Citation?
  • Is the real world fair and just?
    This thread has strayed away from the relatively simple yes/no/maybe question of a Just World --- where your opinion is just as valid as mine --- onto the open-ended (infinite ; non-empirical ; unverifiable) question of Subjective vs Objective Reality.

    To Wit : Various interpretations of Quantum "collapse" seem to split along the line of another non-empirical question : is there a truly general Objective Observer to maintain the cosmos in Potential (statistical uncertainty - probability) when no specific Subjective observer is looking (measuring) to make it locally certain (Actuality)? Is it true that, the quantum waveform, and the immaterial field within which it is waving, is a generalized mathematical abstraction (mental image), not an observed real event?
    Gnomon
    One might even say that the latter has little if anything to do with the former - that how things are is a different type of question to what we should do.
  • Is the real world fair and just?
    From A Private View of Quantum Reality.

    WFC.gif
    If this were how the wave function is, unobserved, then there is a way that the wave function is, unobserved.

    Or is it that there is no "way that the wave function is", unobserved?

    Which goes against 's story.
  • Is the real world fair and just?


    Sure, all that. You want your cake and to eat it.

    On the one hand there is a world that is as it is 'independent' of us.

    On the other, what we say, think, know, believe, conjecture, doubt or whatever is dependent on us - not us as individuals but us as a community.

    But this just means that knowing, believing, conjecturing, doubting or whatever are dependent on us; but not that the world is dependent on us.

    You cannot, from your argument, reach this conclusion.
  • Is the real world fair and just?



    Picture a tranquil mountain meadow. Butterflies flit back and forth amongst the buttercups and daisies, and off in the distance, a snow-capped mountain peak provides a picturesque backdrop. The melodious clunk of the cow-bells, the chirping of crickets, and the calling of birds provide the soundtrack to the vista, with not a human to be seen.

    Now picture the same scene — but from no point of view. Imagine that you are perceiving such a scence from every possible point within it, and also around it. Then also subtract from all these perspectives, any sense of temporal continuity — any sense of memory of the moment just past, and expectation of the one about to come. Having done that, describe the same scene.Now picture the same scene — but from no point of view. Imagine that you are perceiving such a scence from every possible point within it, and also around it. Then also subtract from all these perspectives, any sense of temporal continuity — any sense of memory of the moment just past, and expectation of the one about to come. Having done that, describe the same scene.

    “Impossible!” you object. “How can I imagine any such thing?! It is really nothing at all, it is an impossibility, a jumble of stimuli, if anything — this is what you are asking me to imagine! It is completely unintelligible.”

    But that is my point. By this means I am making clear the sense in which perspective is essential for any judgement about what exists — even if what we’re discussing is understood to exist in the absence of an observer, be that an alpine meadow, or the Universe prior to the evolution of h. sapiens. The mind brings an order to any such imaginary scene, even while you attempt to describe it or picture it as it appears to exist independently of the observer.
    The Mind–Created World


    Remember this?
    SO let's go back to your meadow. I stand facing you. A butterfly flutters between us. You say "See the butterfly flutter from left to right!" I reply "Beautiful! But it went from right to left!"

    "Ah," says you, "and from this we see that what is happening in this world is true or false only with reference to the perspective of some observer! For you, it is true that the butterfly went right to left, but for me it is that the butterfly flew left to right!"

    But me being Banno, you know I'm going to disagree. "How can something be true for one of us and not for the other?" I ask, scratching my nose. You carefully explain again how truth, the way things are, is dependent on perspective, and that as a result mind is integral to the whole of reality; how we cannot have the "view from nowhere" required for truth to be independent of some point of view.

    "Oh." says I. Then I sit quietly for a while, arms folded, staring at the ground, while you glory in the vista.

    "If we swapped places, it would be you who says that the butterfly flew right to left, while I would say it flew left to right"

    "Yes", you explain patiently, "The truth is dependent on one's perspective, so if we swap perspectives, we swap truths".

    "But we agree that the butterfly was flying away from the river and toward the mountain", I finally offer.

    "S'pose so", says you, in the hope of shutting me up.

    So on we traipse, over the foothills, through the pass to the valley beyond the mountain; all the while, butterflies flitting past us, heading in the same direction.

    Over a cup of coffee, I return to the topic. "Yesterday, the butterflies were going towards the mountain. Now, they are going away from the mountain. And yet they are going in the same direction. How can that be?"

    "Well," you patiently begin, "both the butterflies and we are heading East, towards the rising sun. Yesterday the mountain was before us, and now it is behind us".

    "Oh. So yesterday the butterfly was heading East, and today it is still heading East, and this is a way of saying which way the butterfly is heading?"

    "Yes", you agree, thinking to yourself that next time you might choose a different companion.

    "Yesterday we disagreed that the butterfly was heading left to right or right to left, and that this was because we each have a different perspective. But even though we had different perspectives, we agreed that for you it was left to right, while for me it was right to left - that if we swapped places, we would also swap perspectives. We agreed that the butterfly was heading towards the mountain. And now, even though the butterfly is heading away from the mountain, we agree that it is heading East. Is that right?" I puzzle.

    "Yes!", your disinterest starting to show.

    "So hasn't it been the case that the Butterfly was always heading East, regardless of our perspective? Isn't this a way of describing the situation that removes the need to give the perspective of the observer? And if that is so, then perspective is not an attribute of the world, but of how we say things about the world. We can rephrase things in ways that do not depend on where we are standing...."

    Taking a breath, I continue "We started with butterflies moving left and right, but found ourselves disagreeing; then we said the butterflies were flying towards the mountain, but after we crossed the pass found that they are flying away from the mountain. Then we said that they are flying East. Each time, our view became broader, and where we were standing became less important. Sure, I can't talk about taking a point of view from nowhere, but it makes sense to try to talk about things in such a way that it doesn't matter were I am standing. Not a point of view from nowhere, but a point of view from anywhere. We can set out some truths in such a general way that we can agree, and it doesn't matter where we are standing. And if we do that, our personal perspective becomes irrelevant."

    "Of course I can say what it is - it's mountains and poppies and butterflies... we agree on this. The thing is, you think as if you started this walk by yourself, and forgot about other people. That's the trouble with idealists - they are all of them closet solipsists."

    "But you've set me another puzzle: the tent might not be where I think I left it. I might turn out to be mistaken about it's location. That'd be a puzzle for someone who understood the word as being created by the mind. If mind creates the world, how could the world ever be different to what the mind supposes - how could one ever be wrong about how things are? In order to be mistaken, there must be a difference between how things are and how one thinks they are - but how could that happen, if everything is in the mind..."

    I sigh. "You know, we have followed this path each time, only to backtrack when the going gets tough. There are three problems - the puzzle of other people, the fact that we are sometimes wrong, and the inevitability of novelty - each of which points to there being meadows and butterflies and other people, despite what you have in mind. I think you know that idealism won't cut it."
    Banno
  • Do (A implies B) and (A implies notB) contradict each other?
    The problem is that modus tollens can be proven syllogistically quite easily, but how do you prove that you may derive ~ρ from ρ→(φ^~φ)?Lionino

    Prove RAA without MT?

    Interesting problem.
  • Do (A implies B) and (A implies notB) contradict each other?
    I have never seen a reductio that does not have multiple assumptions.Leontiskos

    :lol:

    I give in.
  • Do (A implies B) and (A implies notB) contradict each other?
    Nope.

    Straight RAA does not require the "and elimination". It's an additional step when there are multiple assumptions.
  • Do (A implies B) and (A implies notB) contradict each other?
    1. a → (b ∧ ~b)
    2. If b is true (b ∧ ~b) is false. If b is false (b ∧ ~b) is false, so (b ∧ ~b) is false.
    3.~a → ~(b ∧ ~b) - contraposition (1)
    4. ~a - modus ponens (2,3)
    Count Timothy von Icarus

    Modus Ponens is ρ→φ, ρ, ⊢ φ.

    Not seeing it in 4.